diff options
| author | Hiroki Sato <hrs@FreeBSD.org> | 2016-12-31 23:05:08 +0000 |
|---|---|---|
| committer | Hiroki Sato <hrs@FreeBSD.org> | 2016-12-31 23:05:08 +0000 |
| commit | bb3308956b09d7b69c40fc82364b700656887f9c (patch) | |
| tree | 0a7da9077f46fb59152cd8e0aae414c7a4db165e /math/coq/files/patch-Makefile.install | |
| parent | Fix variable substitution for jsoncpp.pc (diff) | |
Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.
Notes
Notes:
svn path=/head/; revision=430173
Diffstat (limited to 'math/coq/files/patch-Makefile.install')
| -rw-r--r-- | math/coq/files/patch-Makefile.install | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/math/coq/files/patch-Makefile.install b/math/coq/files/patch-Makefile.install new file mode 100644 index 000000000000..6597b7133aa0 --- /dev/null +++ b/math/coq/files/patch-Makefile.install @@ -0,0 +1,11 @@ +--- Makefile.install.orig 2016-12-08 15:13:52 UTC ++++ Makefile.install +@@ -29,7 +29,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). |