Skip to content

Commit

Permalink
[win ci] More debug
Browse files Browse the repository at this point in the history
  • Loading branch information
@ejgallego
ejgallego committed Aug 31, 2024
1 parent 58dee25 commit be5f29d
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
4 changes: 2 additions & 2 deletions Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -53,7 +53,7 @@ vendor/coq:
vendor/coq/config/coq_config.ml: vendor/coq
EPATH=$(shell pwd) \
&& cd vendor/coq \
&& ./configure -no-ask -prefix "$$EPATH/_build/install/default/" \
&& ./configure -debug -no-ask -prefix "$$EPATH/_build/install/default/" \
-libdir "$$EPATH/_build/install/default/lib/coq" \
-native-compiler no \
&& cp theories/dune.disabled theories/dune \
Expand All @@ -66,7 +66,7 @@ vendor/coq/config/coq_config.ml: vendor/coq
winconfig:
EPATH=$(shell cygpath -am .) \
&& cd vendor/coq \
&& ./configure -no-ask -prefix "$$EPATH\\_build\\install\\default\\" \
&& ./configure -debug -no-ask -prefix "$$EPATH\\_build\\install\\default\\" \
-libdir "$$EPATH\\_build\\install\\default\\lib\\coq\\" \
-native-compiler no \
&& cp theories/dune.disabled theories/dune \
Expand Down
2 changes: 1 addition & 1 deletion vendor/coq
Submodule coq updated 17 files
+1 −0 .gitlab-ci.yml
+14 −39 checker/validate.ml
+6 −6 dev/bench/bench.sh
+52 −4 dev/bench/render_results.ml
+0 −5 doc/changelog/02-specification-language/19092-master+fix18951-anomaly-derive-admitted.rst
+17 −25 plugins/derive/derive.ml
+1 −2 plugins/derive/derive.mli
+2 −3 plugins/derive/g_derive.mlg
+0 −7 test-suite/bugs/bug_19234.v
+0 −10 test-suite/success/Derive.v
+27 −104 theories/Logic/ClassicalFacts.v
+8 −4 tools/configure/configure.ml
+1 −1 tools/configure/util.ml
+40 −26 vernac/declare.ml
+1 −1 vernac/declare.mli
+16 −19 vernac/vernacentries.ml
+0 −19 vernac/vernacentries.mli

0 comments on commit be5f29d

Please sign in to comment.