34 lines
1.1 KiB
Diff
34 lines
1.1 KiB
Diff
|
--- ssreflect1.3pl4/Make (revision 3823)
|
||
|
|
+++ ssreflect1.3pl4/Make (working copy)
|
||
|
|
@@ -1,18 +1,18 @@
|
||
|
|
## Uncomment for static linking
|
||
|
|
## <static>
|
||
|
|
-#
|
||
|
|
-#-custom "$(COQBIN)coqmktop -opt -o bin/ssrcoq src/ssreflect.cmx" "src/ssreflect.cmx" bin/ssrcoq
|
||
|
|
-#-custom "$(COQBIN)coqmktop -o bin/ssrcoq.byte src/ssreflect.cmo" "src/ssreflect.cmo bin/ssrcoq" bin/ssrcoq.byte
|
||
|
|
-#-custom "$(SSRCOQ) $(COQFLAGS) -compile $*" "%.v $(SSRCOQ)" "%.vo"
|
||
|
|
-#SSRCOQ = bin/ssrcoq
|
||
|
|
-#
|
||
|
|
+
|
||
|
|
+-custom "$(COQBIN)coqmktop -opt -o bin/ssrcoq src/ssreflect.cmx" "src/ssreflect.cmx" bin/ssrcoq
|
||
|
|
+-custom "$(COQBIN)coqmktop -o bin/ssrcoq.byte src/ssreflect.cmo" "src/ssreflect.cmo bin/ssrcoq" bin/ssrcoq.byte
|
||
|
|
+-custom "$(SSRCOQ) $(COQFLAGS) -compile $*" "%.v $(SSRCOQ)" "%.vo"
|
||
|
|
+SSRCOQ = bin/ssrcoq
|
||
|
|
+
|
||
|
|
## </static>
|
||
|
|
|
||
|
|
## Uncomment for dynamic linking
|
||
|
|
## <dynamic>
|
||
|
|
-
|
||
|
|
--I src
|
||
|
|
-
|
||
|
|
+#
|
||
|
|
+#-I src
|
||
|
|
+#
|
||
|
|
## </dynamic>
|
||
|
|
|
||
|
|
## What follows should be left untouched by the final user of ssreflect
|
||
|
|
Common subdirectories: old/src and new/src
|
||
|
|
Common subdirectories: old/test and new/test
|
||
|
|
Common subdirectories: old/theories and new/theories
|