diff options
| author | Hiroki Sato <hrs@FreeBSD.org> | 2016-12-31 14:32:50 +0000 |
|---|---|---|
| committer | Hiroki Sato <hrs@FreeBSD.org> | 2016-12-31 14:32:50 +0000 |
| commit | 2f6eb8612ddabe88c5c87367c6c41a0e568de131 (patch) | |
| tree | b40984db179ef964ad31fc3c3af5ffd32a111a29 /math/coq/files/patch-Makefile.build | |
| parent | - Fix build on FreeBSD 9 (diff) | |
Update to 8.5.
Diffstat (limited to 'math/coq/files/patch-Makefile.build')
| -rw-r--r-- | math/coq/files/patch-Makefile.build | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/math/coq/files/patch-Makefile.build b/math/coq/files/patch-Makefile.build new file mode 100644 index 000000000000..c8767447f442 --- /dev/null +++ b/math/coq/files/patch-Makefile.build @@ -0,0 +1,29 @@ +--- Makefile.build.orig 2016-01-20 16:52:18 UTC ++++ Makefile.build +@@ -56,7 +56,7 @@ CURDEPS:=$(addsuffix .d, $(CURFILES)) + + # Variables meant to be modifiable via the command-line of make + +-VERBOSE= ++VERBOSE=1 + NO_RECOMPILE_ML4= + NO_RECALC_DEPS= + READABLE_ML4= # non-empty means .ml of .ml4 will be ascii instead of binary +@@ -82,7 +82,7 @@ STDTIME=/usr/bin/time -f "$* (user: %U m + TIMER=$(if $(TIMED), $(STDTIME), $(TIMECMD)) + + COQOPTS=$(COQ_XML) $(VM) $(NATIVECOMPUTE) +-BOOTCOQC=$(TIMER) $(COQTOPEXE) -boot $(COQOPTS) -compile ++BOOTCOQC=$(TIMER) env CAML_LD_LIBRARY_PATH=$${PWD}/kernel/byterun $(COQTOPEXE) -boot $(COQOPTS) -compile + + # The SHOW and HIDE variables control whether make will echo complete commands + # or only abbreviated versions. +@@ -704,7 +704,7 @@ install-doc-no: + .PHONY: install install-doc-all install-doc-no + + #These variables are intended to be set by the caller to make +-#COQINSTALLPREFIX= ++COQINSTALLPREFIX=${DESTDIR} + #OLDROOT= + + # Can be changed for a local installation (to make packages). |