mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-21 00:25:50 +00:00
Code Issues Releases Activity

devel/frama-c: Re-stage to correct -print-libpath

Browse Source 
The approach to staging had a bug.  frama-c -print-libpath returned
a path to /wrkdirs (the standard work directory in poudriere).  Improve
staging so frama-c knows where its installed.
This commit is contained in:
John Marino 2014-06-03 13:37:05 +00:00
parent 8e0ea88f23
commit d73358a815
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=356360
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
devel/frama-c/Makefile
View File

@ -4,6 +4,7 @@
PORTNAME= frama-c
DISTVERSIONPREFIX= Neon-
DISTVERSION= 20140301
PORTREVISION= 1
CATEGORIES= devel
MASTER_SITES= http://frama-c.com/download/ LOCAL/bf
@ -18,8 +19,8 @@ RUN_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml-oc
USES= gmake
USE_OCAML= yes
GNU_CONFIGURE= yes
CONFIGURE_ARGS+= --with-cpp="${FRAMAC_DEFAULT_CPP}"
MAKE_ENV+= FRAMAC_LIBDIR="${STAGEDIR}${PREFIX}/lib/frama-c"
CONFIGURE_ARGS+=--with-cpp="${FRAMAC_DEFAULT_CPP}"
MAKE_ENV+= FRAMAC_LIBDIR="${PREFIX}/lib/frama-c"
OPTIONS_DEFINE= ALTERGO COQ GUI PLUGINS
OPTIONS_DEFAULT=ALTERGO GUI PLUGINS
@ -86,6 +87,8 @@ post-patch:
-e '\|$$(CP) frama-c|s|$$(CP)|${INSTALL_SCRIPT}|' \
${WRKSRC}/share/Makefile.dynamic
@${REINPLACE_CMD} -e '\|^# Installation|,\|^# File headers|{ \
\|_LIBDIR|s|(FRAMAC_LIBDIR)|(DESTDIR)$$(FRAMAC_LIBDIR)|; \
\|_PLUGINDIR|s|(FRAMAC_PLUGINDIR)|(DESTDIR)$$(FRAMAC_PLUGINDIR)|; \
\|$$(CP).*bin|s|$$(CP)|${INSTALL_SCRIPT}|; \
\|$$(CP).*man/|s|$$(CP)|${INSTALL_MAN}|; \
s|$$(CP)|${INSTALL_DATA}|; }' \