diff options
| author | Brendan Fabeny <bf@FreeBSD.org> | 2013-03-05 20:22:02 +0000 |
|---|---|---|
| committer | Brendan Fabeny <bf@FreeBSD.org> | 2013-03-05 20:22:02 +0000 |
| commit | ddc550ff99131ed2bd4a88a7697d39209bb12846 (patch) | |
| tree | 29b4d5468cf992e8cbc961e010614eb345b72dcb /devel/frama-c | |
| parent | 18eb550f56fe3aafc605e62cc8996ba8626d0c29 (diff) | |
| download | ports-ddc550ff99131ed2bd4a88a7697d39209bb12846.tar.gz ports-ddc550ff99131ed2bd4a88a7697d39209bb12846.zip | |
Notes
Diffstat (limited to 'devel/frama-c')
| -rw-r--r-- | devel/frama-c/Makefile | 23 |
1 files changed, 15 insertions, 8 deletions
diff --git a/devel/frama-c/Makefile b/devel/frama-c/Makefile index c4054490f658..ee402e908a10 100644 --- a/devel/frama-c/Makefile +++ b/devel/frama-c/Makefile @@ -1,14 +1,10 @@ -# New ports collection makefile for: frama-c -# Date created: 25 May 2011 -# Whom: b.f. <bf@FreeBSD.org> -# +# Created by: b.f. <bf@FreeBSD.org> # $FreeBSD$ -# PORTNAME= frama-c DISTVERSIONPREFIX= Nitrogen- DISTVERSION= 20111001 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= devel MASTER_SITES= http://frama-c.com/download/ LOCAL/bf @@ -73,6 +69,10 @@ CONFIGURE_ARGS+= --with-no-plugin PLIST_SUB+= PLUGINS="@comment " .endif +post-extract: + @cd ${WRKSRC}; ${EXTRACT_CMD} ${EXTRACT_BEFORE_ARGS} \ + ocamlgraph.tar.gz ${EXTRACT_AFTER_ARGS} + post-patch: @${MKDIR} ${WRKSRC}/tests/report \ ${WRKSRC}/tests/wp \ @@ -106,11 +106,18 @@ post-patch: -e '\|case $$ALTERGO_VERSION in|{N; s|0\.92\.2|0.94*|;}' \ -e 's|HAS_COQ=$$||' \ ${WRKSRC}/configure + @${REINPLACE_CMD} -Ee 's@(\+|/)(lablgtk2)@\1site-lib/\2@' \ + ${WRKSRC}/Makefile \ + ${WRKSRC}/configure \ + ${WRKSRC}/ocamlgraph/configure \ + ${WRKSRC}/ocamlgraph/view_graph/Makefile \ + ${WRKSRC}/share/Makefile.plugin \ + ${WRKSRC}/src/kernel/dynamic.ml .if defined(WITH_GUI) pre-configure: - @(if [ ! -e ${LOCALBASE}/lib/ocaml/lablgtk2/gtkSourceView2.cmi -o \ - ! -e ${LOCALBASE}/lib/ocaml/lablgtk2/gnomeCanvas.cmi ] ; then \ + @(if [ ! -e ${LOCALBASE}/${OCAML_SITELIBDIR}/lablgtk2/gtkSourceView2.cmi -o \ + ! -e ${LOCALBASE}/${OCAML_SITELIBDIR}/lablgtk2/gnomeCanvas.cmi ] ; then \ ${ECHO_MSG} "==> The WITH_GUI option for ${PKGNAME} requires" ; \ ${ECHO_MSG} "==> x11-toolkits/ocaml-lablgtk2 to be built" ; \ ${ECHO_MSG} "==> WITH_GNOMECANVAS and WITH_GTKSOURCEVIEW2" ; \ |