mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-18 08:02:48 +00:00
Code Issues Releases Activity

fix the plist after the recent ocamlgraph update by permitting

Browse Source 
the use of external ocamlgraph-1.8 [1]; indent the post-patch
target for clarity

Reported by:	pav, johans [1]
This commit is contained in:
Brendan Fabeny 2011-10-21 12:33:56 +00:00
parent 2195690bfe
commit 4dac6d0fec
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=284056
1 changed files with 19 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

35
devel/frama-c/Makefile
View File

@ -56,26 +56,29 @@ PLIST_SUB+= PLUGINS="@comment "
post-patch:
@${MKDIR} ${WRKSRC}/tests/occurrence
@${REINPLACE_CMD} -e 's|@make |@${GMAKE} |' \
${WRKSRC}/src/aorai/Makefile.in
${WRKSRC}/src/aorai/Makefile.in
@${GREP} -le 'make ' -r ${WRKSRC}/tests | ${XARGS} ${REINPLACE_CMD} \
-e 's|make |${GMAKE} |'
-e 's|make |${GMAKE} |'
@${REINPLACE_CMD} \
-e 's|$$(CP)|${INSTALL_DATA}|' \
-e 's|add_prefix|addprefix|' \
${WRKSRC}/share/Makefile.plugin
-e 's|$$(CP)|${INSTALL_DATA}|' \
-e 's|add_prefix|addprefix|' \
${WRKSRC}/share/Makefile.plugin
@${REINPLACE_CMD} \
-e '\|$$(CP) $$(TARGETS|s|$$(CP)|${INSTALL_DATA}|' \
-e '\|$$(CP) frama-c|s|$$(CP)|${INSTALL_SCRIPT}|' \
${WRKSRC}/share/Makefile.dynamic
-e '\|$$(CP) $$(TARGETS|s|$$(CP)|${INSTALL_DATA}|' \
-e '\|$$(CP) frama-c|s|$$(CP)|${INSTALL_SCRIPT}|' \
${WRKSRC}/share/Makefile.dynamic
@${REINPLACE_CMD} -e '\|^# Installation|,\|^# File headers|{ \
\|$$(CP).*bin|s|$$(CP)|${INSTALL_SCRIPT}|; \
\|$$(CP) -R doc/manuals $$(FRAMAC_DATADIR)| \
s||${MKDIR} $$(FRAMAC_DATADIR)/manuals ; \
${INSTALL_DATA} doc/manuals/* $$(FRAMAC_DATADIR)/manuals|; \
\|$$(CP).*man|s|$$(CP)\( -R\)*|${INSTALL_MAN}|; \
\|$$(CP).*share|s|$$(CP)\( -R\)*|${INSTALL_DATA}|; \
s|$$(CP)|${INSTALL_DATA}|; }' \
${WRKSRC}/Makefile
\|$$(CP).*bin|s|$$(CP)|${INSTALL_SCRIPT}|; \
\|$$(CP) -R doc/manuals $$(FRAMAC_DATADIR)| \
s||${MKDIR} $$(FRAMAC_DATADIR)/manuals ; \
${INSTALL_DATA} doc/manuals/* $$(FRAMAC_DATADIR)/manuals|; \
\|$$(CP).*man|s|$$(CP)\( -R\)*|${INSTALL_MAN}|; \
\|$$(CP).*share|s|$$(CP)\( -R\)*|${INSTALL_DATA}|; \
s|$$(CP)|${INSTALL_DATA}|; }' \
${WRKSRC}/Makefile
@${REINPLACE_CMD} -e '\|case $$OCAMLGRAPH_VERSION in| \
{N; s|1\.7|1.[78]*|;}' \
${WRKSRC}/configure
.if defined(WITH_GUI)
pre-configure: