Resolve #158.

plclub · Dec 21, 2020 · a713aec · a713aec
1 parent 9eb4b52
commit a713aec
Show file tree

Hide file tree

Showing 30 changed files with 57 additions and 859 deletions.
diff --git a/.github/workflows/hs-to-coq.yml b/.github/workflows/hs-to-coq.yml
@@ -395,6 +395,7 @@ jobs:
           make -j2 -C base
           (cd examples/containers/lib; coq_makefile -f _CoqProject -o Makefile)
           make -j2 -C examples/containers/lib
+          (cd examples/containers/extraction/extracted-src; coq_makefile -f _CoqProject -o Makefile)
           make -j2 -C examples/containers/extraction/extracted-src/
           perl -i examples/containers/extraction/extracted-src/fixcode.pl examples/containers/extraction/extracted-src/*.hs
       - name: Testing containers extraction

diff --git a/examples/containers/Makefile b/examples/containers/Makefile
@@ -69,7 +69,7 @@ vfiles: $(OUT)/edits  $(HS_SPEC)/README.md $(OUT)/README.md $(OUT)/_CoqProject $
 $(OUT)/_CoqProject : Makefile $(OUT)/README.md
 	> $@
 	echo '-Q . ""' >> $@
-	echo '-R ../../../base ""' >> $@
+	echo '-Q ../../../base ""' >> $@
 	echo $(addsuffix .v,$(HANDMOD)) >> $@
 	echo $(addsuffix .v,$(MODULES)) >> $@
 	echo $(addsuffix .v,$(SPECIAL_MODULES)) >> $@