diff options
| -rw-r--r-- | misc/pipe/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/misc/pipe/Makefile b/misc/pipe/Makefile index a81cb82..74cb0a2 100644 --- a/misc/pipe/Makefile +++ b/misc/pipe/Makefile @@ -33,7 +33,10 @@ PORTDOCS= javadoc license manual do-install: ${INSTALL_SCRIPT} ${WRKDIR}/pipe.sh ${PREFIX}/bin/pipe @${MKDIR} ${DATADIR} - ${CP} -R ${WRKSRC}/bin/ ${DATADIR} + cd ${WRKSRC}/bin && \ + ${FIND} . -type d -exec ${MKDIR} ${DATADIR}/{} \; + cd ${WRKSRC}/bin && \ + ${FIND} . -type f -exec ${INSTALL_DATA} {} ${DATADIR}/{} \; ${LN} -s ${DATADIR}/petri-nets ${DATADIR}/Example\ nets @${FIND} ${DATADIR} ! -type d | \ ${SED} 's,^${PREFIX}/,,' >> ${TMPPLIST} |
