1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-07-17 17:29:23 -04:00
ports/math/coq/files/patch-Makefile.install

11 lines
345 B
Text

--- 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).