aboutsummaryrefslogtreecommitdiff
path: root/mathcomp
diff options
context:
space:
mode:
authorRalf Jung2017-10-10 13:23:30 +0200
committerRalf Jung2017-10-10 13:23:30 +0200
commite888516870ef592d0f7da74f8138e478d6114b05 (patch)
tree292b547465a51ae6d6e6ac5edb12b25bb30ea18f /mathcomp
parent5466772ab7a59081aed4bcf990bef74e9bd48965 (diff)
fix building with make flags
Fixes #139
Diffstat (limited to 'mathcomp')
-rw-r--r--mathcomp/Makefile4
-rw-r--r--mathcomp/algebra/Makefile4
-rw-r--r--mathcomp/all/Makefile4
-rw-r--r--mathcomp/attic/Makefile4
-rw-r--r--mathcomp/character/Makefile4
-rw-r--r--mathcomp/field/Makefile4
-rw-r--r--mathcomp/fingroup/Makefile4
-rw-r--r--mathcomp/odd_order/Makefile4
-rw-r--r--mathcomp/real_closed/Makefile4
-rw-r--r--mathcomp/solvable/Makefile4
-rw-r--r--mathcomp/ssreflect/Makefile4
-rw-r--r--mathcomp/ssrtest/Makefile4
12 files changed, 24 insertions, 24 deletions
diff --git a/mathcomp/Makefile b/mathcomp/Makefile
index e05ce80..f6e06b4 100644
--- a/mathcomp/Makefile
+++ b/mathcomp/Makefile
@@ -23,11 +23,11 @@ MAKEFLAGS+=-B
%:
$(H)[ -e Makefile.coq ] || $(call coqmakefile,ssreflect)
# Override COQDEP to find only the "right" copy .ml files
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq $* \
COQDEP='$(COQDEP) -exclude-dir plugin -c'
clean:
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq clean
$(H)rm -f Makefile.coq
diff --git a/mathcomp/algebra/Makefile b/mathcomp/algebra/Makefile
index 8f03823..ad0cab5 100644
--- a/mathcomp/algebra/Makefile
+++ b/mathcomp/algebra/Makefile
@@ -30,13 +30,13 @@ MAKEFLAGS+=-B
%:
$(H)[ -e Makefile.coq ] || $(COQBIN)/coq_makefile -f Make -o Makefile.coq
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq $* \
COQDEP='$(COQDEP) -c'
.PHONY: clean
clean:
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq clean
$(H)rm -f Makefile.coq
diff --git a/mathcomp/all/Makefile b/mathcomp/all/Makefile
index e872352..a58be7b 100644
--- a/mathcomp/all/Makefile
+++ b/mathcomp/all/Makefile
@@ -11,12 +11,12 @@ MAKEFLAGS+=-B
%:
$(H)[ -e Makefile.coq ] || $(COQBIN)/coq_makefile -f Make -o Makefile.coq
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq $*
.PHONY: clean
clean:
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq clean
$(H)rm -f Makefile.coq
diff --git a/mathcomp/attic/Makefile b/mathcomp/attic/Makefile
index e872352..a58be7b 100644
--- a/mathcomp/attic/Makefile
+++ b/mathcomp/attic/Makefile
@@ -11,12 +11,12 @@ MAKEFLAGS+=-B
%:
$(H)[ -e Makefile.coq ] || $(COQBIN)/coq_makefile -f Make -o Makefile.coq
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq $*
.PHONY: clean
clean:
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq clean
$(H)rm -f Makefile.coq
diff --git a/mathcomp/character/Makefile b/mathcomp/character/Makefile
index 8f03823..ad0cab5 100644
--- a/mathcomp/character/Makefile
+++ b/mathcomp/character/Makefile
@@ -30,13 +30,13 @@ MAKEFLAGS+=-B
%:
$(H)[ -e Makefile.coq ] || $(COQBIN)/coq_makefile -f Make -o Makefile.coq
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq $* \
COQDEP='$(COQDEP) -c'
.PHONY: clean
clean:
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq clean
$(H)rm -f Makefile.coq
diff --git a/mathcomp/field/Makefile b/mathcomp/field/Makefile
index 8f03823..ad0cab5 100644
--- a/mathcomp/field/Makefile
+++ b/mathcomp/field/Makefile
@@ -30,13 +30,13 @@ MAKEFLAGS+=-B
%:
$(H)[ -e Makefile.coq ] || $(COQBIN)/coq_makefile -f Make -o Makefile.coq
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq $* \
COQDEP='$(COQDEP) -c'
.PHONY: clean
clean:
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq clean
$(H)rm -f Makefile.coq
diff --git a/mathcomp/fingroup/Makefile b/mathcomp/fingroup/Makefile
index 8f03823..ad0cab5 100644
--- a/mathcomp/fingroup/Makefile
+++ b/mathcomp/fingroup/Makefile
@@ -30,13 +30,13 @@ MAKEFLAGS+=-B
%:
$(H)[ -e Makefile.coq ] || $(COQBIN)/coq_makefile -f Make -o Makefile.coq
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq $* \
COQDEP='$(COQDEP) -c'
.PHONY: clean
clean:
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq clean
$(H)rm -f Makefile.coq
diff --git a/mathcomp/odd_order/Makefile b/mathcomp/odd_order/Makefile
index 8f03823..ad0cab5 100644
--- a/mathcomp/odd_order/Makefile
+++ b/mathcomp/odd_order/Makefile
@@ -30,13 +30,13 @@ MAKEFLAGS+=-B
%:
$(H)[ -e Makefile.coq ] || $(COQBIN)/coq_makefile -f Make -o Makefile.coq
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq $* \
COQDEP='$(COQDEP) -c'
.PHONY: clean
clean:
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq clean
$(H)rm -f Makefile.coq
diff --git a/mathcomp/real_closed/Makefile b/mathcomp/real_closed/Makefile
index 8f03823..ad0cab5 100644
--- a/mathcomp/real_closed/Makefile
+++ b/mathcomp/real_closed/Makefile
@@ -30,13 +30,13 @@ MAKEFLAGS+=-B
%:
$(H)[ -e Makefile.coq ] || $(COQBIN)/coq_makefile -f Make -o Makefile.coq
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq $* \
COQDEP='$(COQDEP) -c'
.PHONY: clean
clean:
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq clean
$(H)rm -f Makefile.coq
diff --git a/mathcomp/solvable/Makefile b/mathcomp/solvable/Makefile
index 8f03823..ad0cab5 100644
--- a/mathcomp/solvable/Makefile
+++ b/mathcomp/solvable/Makefile
@@ -30,13 +30,13 @@ MAKEFLAGS+=-B
%:
$(H)[ -e Makefile.coq ] || $(COQBIN)/coq_makefile -f Make -o Makefile.coq
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq $* \
COQDEP='$(COQDEP) -c'
.PHONY: clean
clean:
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq clean
$(H)rm -f Makefile.coq
diff --git a/mathcomp/ssreflect/Makefile b/mathcomp/ssreflect/Makefile
index c588920..b1dd21e 100644
--- a/mathcomp/ssreflect/Makefile
+++ b/mathcomp/ssreflect/Makefile
@@ -23,11 +23,11 @@ MAKEFLAGS+=-B
%:
$(H)[ -e Makefile.coq ] || $(call coqmakefile,.)
# Override COQDEP to find only the "right" copy .ml files
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq $* \
COQDEP='$(COQDEP) -exclude-dir plugin -c'
clean:
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq clean
$(H)rm -f Makefile.coq
diff --git a/mathcomp/ssrtest/Makefile b/mathcomp/ssrtest/Makefile
index 8f03823..ad0cab5 100644
--- a/mathcomp/ssrtest/Makefile
+++ b/mathcomp/ssrtest/Makefile
@@ -30,13 +30,13 @@ MAKEFLAGS+=-B
%:
$(H)[ -e Makefile.coq ] || $(COQBIN)/coq_makefile -f Make -o Makefile.coq
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq $* \
COQDEP='$(COQDEP) -c'
.PHONY: clean
clean:
- $(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+ $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
-f Makefile.coq clean
$(H)rm -f Makefile.coq
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:21:19 +0000