add DESTDIR install to prospero

2024-05-27 20:18:02 +02:00
parent 48c34d8fdb
commit 211e8efbc2
41 changed files with 2367 additions and 28 deletions
--- a/prospero/lib/pfs/Makefile.in
+++ b/prospero/lib/pfs/Makefile.in
@@ -238,8 +238,8 @@ SPECIAL_OTHERTARGETS = $(PFS_LIB)

 install:
 # We currently don't install this library
-#	cp ${PFS_LIB} ${P_BINARIES}/${PFS_LIB}
-#	$(RANLIB) ${P_BINARIES}/${PFS_LIB}
+#	cp ${PFS_LIB} ${DISTDIR}/${P_BINARIES}/${PFS_LIB}
+#	$(RANLIB) ${DISTDIR}/${P_BINARIES}/${PFS_LIB}

 ${PFS_LIB}: ${OBJECTS}
 	rm -f ${PFS_LIB}