diff options
| author | Baptiste Daroussin <bapt@FreeBSD.org> | 2014-06-24 22:48:03 +0000 |
|---|---|---|
| committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2014-06-24 22:48:03 +0000 |
| commit | 8e331726f7cf32a36283ef72afdf72df81486d1b (patch) | |
| tree | 6d9fa19bed63f18cf1b5d5dbf514caf440bbe0af /devel/frama-c | |
| parent | b656631b52b093fd293bbae34f4ab1734769f0f5 (diff) | |
| download | ports-8e331726f7cf32a36283ef72afdf72df81486d1b.tar.gz ports-8e331726f7cf32a36283ef72afdf72df81486d1b.zip | |
Notes
Diffstat (limited to 'devel/frama-c')
| -rw-r--r-- | devel/frama-c/Makefile | 4 |
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> |