Fix some mistakes

OCamlPro · Dec 5, 2018 · 9a75345 · 9a75345
1 parent 6b970a9
commit 9a75345
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 58 deletions.
diff --git a/.gitignore b/.gitignore
@@ -4,12 +4,13 @@ META
 
 # Generated source files
 *.merlin
+sources/Makefile.config
 sources/lib/util/config.ml
 
 # Generated installation files
 sources/*.install
 
-# Generated build files
+# Generated build artifacts
 sources/_build
 
 # Generated release files

diff --git a/opam b/opam
diff --git a/sources/Makefile.config b/sources/Makefile.config
diff --git a/sources/alt-ergo.opam b/sources/alt-ergo.opam
@@ -10,12 +10,8 @@ build: [
 ]
 depends: [
   "ocaml" {>="4.04.0"}
-  "camlzip"
-  "dune" { build }
-  "num"
-  "ocplib-simplex" {>= "0.4" }
-  "psmt2-frontend" {>= "0.1" }
-  "zarith"
+  "alt-ergo-lib" { = "2.2.0+" }
+  "alt-ergo-parsers" { = "2.2.0+" }
 ]
 homepage: "http://alt-ergo.ocamlpro.com/"
 dev-repo: "https://github.com/OCamlPro/alt-ergo.git"