21 lines
1.1 KiB
Diff
21 lines
1.1 KiB
Diff
--- ssreflect1.4-coq8.4/Make (revision 3823)
|
|
+++ ssreflect1.4-coq8.4/Make (working copy)
|
|
@@ -1,10 +1,10 @@
|
|
-### Uncomment for static linking
|
|
-##
|
|
-#-custom "$(COQBIN)coqmktop -coqlib `$(COQBIN)coqtop -where` -opt -o bin/ssrcoq src/ssrmatching.cmx src/ssreflect.cmx" "src/ssrmatching.cmx src/ssreflect.cmx" bin/ssrcoq
|
|
-#-custom "$(COQBIN)coqmktop -coqlib `$(COQBIN)coqtop -where` -o bin/ssrcoq.byte src/ssrmatching.cmo src/ssreflect.cmo" "src/ssrmatching.cmo src/ssreflect.cmo" bin/ssrcoq.byte
|
|
-#-custom "$(SSRCOQ) $(COQFLAGS) -compile $*" "%.v $(SSRCOQ)" "%.vo"
|
|
-#SSRCOQ = bin/ssrcoq
|
|
-##
|
|
+## Uncomment for static linking
|
|
+#
|
|
+-custom "$(COQBIN)coqmktop -coqlib `$(COQBIN)coqtop -where` -opt -o bin/ssrcoq src/ssrmatching.cmx src/ssreflect.cmx" "src/ssrmatching.cmx src/ssreflect.cmx" bin/ssrcoq
|
|
+-custom "$(COQBIN)coqmktop -coqlib `$(COQBIN)coqtop -where` -o bin/ssrcoq.byte src/ssrmatching.cmo src/ssreflect.cmo" "src/ssrmatching.cmo src/ssreflect.cmo" bin/ssrcoq.byte
|
|
+-custom "$(SSRCOQ) $(COQFLAGS) -compile $*" "%.v $(SSRCOQ)" "%.vo"
|
|
+SSRCOQ = bin/ssrcoq
|
|
+#
|
|
|
|
## What follows should be left untouched by the final user of ssreflect
|
|
-R theories Ssreflect
|
|
|