mirror of
https://git.freebsd.org/ports.git
synced 2025-05-22 19:56:53 -04:00
11 lines
345 B
Text
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).
|