aboutsummaryrefslogtreecommitdiff
path: root/devel/frama-c
diff options
context:
space:
mode:
authorBaptiste Daroussin <bapt@FreeBSD.org>2014-06-24 22:48:03 +0000
committerBaptiste Daroussin <bapt@FreeBSD.org>2014-06-24 22:48:03 +0000
commit8e331726f7cf32a36283ef72afdf72df81486d1b (patch)
tree6d9fa19bed63f18cf1b5d5dbf514caf440bbe0af /devel/frama-c
parentb656631b52b093fd293bbae34f4ab1734769f0f5 (diff)
downloadports-8e331726f7cf32a36283ef72afdf72df81486d1b.tar.gz
ports-8e331726f7cf32a36283ef72afdf72df81486d1b.zip
Notes
Diffstat (limited to 'devel/frama-c')
-rw-r--r--devel/frama-c/Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/frama-c/Makefile b/devel/frama-c/Makefile
index 54cea4b17942..e0730f0573d7 100644
--- a/devel/frama-c/Makefile
+++ b/devel/frama-c/Makefile
@@ -76,7 +76,7 @@ CONFIGURE_ARGS+= --with-no-plugin
post-patch:
@cd ${WRKSRC}/tests; ${MKDIR} aorai report wp wp_acsl wp_bts \
wp_engine wp_hoare wp_plugin wp_runtime wp_store wp_typed
- @${REINPLACE_CMD} -e 's|@make |@${GMAKE} |' \
+ @${REINPLACE_CMD} -e 's|@make |@${MAKE_CMD} |' \
${WRKSRC}/src/aorai/Makefile.in
@${REINPLACE_CMD} \
-e 's|$$(CP)|${INSTALL_DATA}|' \
@@ -122,6 +122,6 @@ post-install:
check regression-test test: build
@cd ${WRKSRC}; ${SETENV} ${MAKE_ENV:NCPP=*} \
CPP="${CPP} -C -I${WRKSRC}/share/libc -I." \
- ${GMAKE} ${MAKE_ARGS} oracles fulltests
+ ${MAKE_CMD} ${MAKE_ARGS} oracles fulltests
.include <bsd.port.mk>