aboutsummaryrefslogtreecommitdiff
path: root/devel/frama-c
diff options
context:
space:
mode:
Diffstat (limited to 'devel/frama-c')
-rw-r--r--devel/frama-c/Makefile23
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" ; \