Merge pull request #97 from coq-community/compile-wo-coq-core

Compile without coq-core
coq-community · Jan 7, 2025 · 97da402 · 97da402
2 parents d9ff01f + 9425a57
commit 97da402
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 5 deletions.
diff --git a/Makefile b/Makefile
@@ -8,7 +8,7 @@ clean: Makefile.coq
 _CoqProject:;
 
 Makefile.coq: _CoqProject
-	$(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq
+	$(COQBIN)rocq makefile -f _CoqProject -o Makefile.coq
 
 %: Makefile.coq
 	$(MAKE) -f Makefile.coq $@

diff --git a/README.md b/README.md
@@ -62,6 +62,3 @@ cd bignums
 make   # or make -j <number-of-cores-on-your-machine> 
 make install
 ```
-
-
-
diff --git a/coq-bignums.opam b/coq-bignums.opam
@@ -19,7 +19,8 @@ install: [
 ]
 depends: [
   "ocaml"
-  "coq" {= "dev"}
+  "rocq-core" {= "dev"}
+  "coq-stdlib"
 ]
 
 tags: [
Original file line number	Diff line number	Diff line change
Expand Up		@@ -62,6 +62,3 @@ cd bignums
		make # or make -j <number-of-cores-on-your-machine>
		make install
		```