depend on coq-stdlib on 8.20

gares · gares · commit 3ca4a86da12e · 2025-02-10T09:47:15.000+01:00
diff --git a/Makefile b/Makefile
@@ -1,4 +1,4 @@
-dune = dune $(1) $(DUNE_$(1)_FLAGS)
+dune = dune $(1) $(DUNE_$(1)_FLAGS) --stop-on-first-error
 
 all: theories-stdlib/dune
 	$(call dune,build)
diff --git a/coq-elpi.opam b/coq-elpi.opam
@@ -18,7 +18,7 @@ depends: [
   "dune" {>= "3.13"}
   "ocaml" {>= "4.10.0"}
   "elpi" {>= "2.0.7" & < "2.1.0~"}
-  ("coq" {>= "8.20+rc1" & < "8.21~"}
+  ("coq-core" {>= "8.20+rc1" & < "8.21~"} & "coq-stdlib"
   | "rocq-core" {>= "9.0+rc1" & < "9.1~"} & "coq-core")
   "ppx_optcomp"
   "ocaml-lsp-server" {with-dev-setup}

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-dune = dune $(1) $(DUNE_$(1)_FLAGS)`
	`1`	`+dune = dune $(1) $(DUNE_$(1)_FLAGS) --stop-on-first-error`
`2`	`2`
`3`	`3`	`all: theories-stdlib/dune`
`4`	`4`	`$(call dune,build)`