aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEnrico2017-10-20 10:14:15 +0200
committerGitHub2017-10-20 10:14:15 +0200
commit78bfdccb61c4ec4bd0efd01c26e68a530b85e890 (patch)
treecfaa764e0b060e230a5d049d8038f7daf5217b95
parent8c2fca1bff01f78720b946fa42492a52ba60ea6f (diff)
parente888516870ef592d0f7da74f8138e478d6114b05 (diff)
Merge pull request #140 from RalfJung/make
fix building with make flags
Diffstat
-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 11:49:11 +0000