diff options
| author | bf <bf@FreeBSD.org> | 2011-10-21 20:33:56 +0800 |
|---|---|---|
| committer | bf <bf@FreeBSD.org> | 2011-10-21 20:33:56 +0800 |
| commit | 106f2f4f26a19da68032cfda6be70fbd0fe72887 (patch) | |
| tree | c194d2a95a7d8424e2f123a03df4f1f191325e14 | |
| parent | c6372626f33b309d092937b4ef1ec97366030c78 (diff) | |
| download | freebsd-ports-gnome-106f2f4f26a19da68032cfda6be70fbd0fe72887.tar.gz freebsd-ports-gnome-106f2f4f26a19da68032cfda6be70fbd0fe72887.tar.zst freebsd-ports-gnome-106f2f4f26a19da68032cfda6be70fbd0fe72887.zip | |
fix the plist after the recent ocamlgraph update by permitting
the use of external ocamlgraph-1.8 [1]; indent the post-patch
target for clarity
Reported by: pav, johans [1]
| -rw-r--r-- | devel/frama-c/Makefile | 35 |
1 files changed, 19 insertions, 16 deletions
diff --git a/devel/frama-c/Makefile b/devel/frama-c/Makefile index bad5747c2c7f..bcd0a20d609f 100644 --- a/devel/frama-c/Makefile +++ b/devel/frama-c/Makefile @@ -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: |