diff options
| author | marino <marino@FreeBSD.org> | 2016-06-14 04:04:52 +0800 |
|---|---|---|
| committer | marino <marino@FreeBSD.org> | 2016-06-14 04:04:52 +0800 |
| commit | f88e2967f4c6045871ef286d0e14273765014382 (patch) | |
| tree | 372ef679a01247c50be4d2eab168cf2d419de795 /math | |
| parent | 85020590b2fc4462c348d0e6dc8fc9dc8f44eefb (diff) | |
| download | freebsd-ports-gnome-f88e2967f4c6045871ef286d0e14273765014382.tar.gz freebsd-ports-gnome-f88e2967f4c6045871ef286d0e14273765014382.tar.zst freebsd-ports-gnome-f88e2967f4c6045871ef286d0e14273765014382.zip | |
math/why3-spark: Try to fix build on F10
CC was defined twice in the makefile; once by the ${CC} variable
and later redefined to "gcc". FreeBSD 10 doesn't like that.
Diffstat (limited to 'math')
| -rw-r--r-- | math/why3-spark/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/why3-spark/Makefile b/math/why3-spark/Makefile index 3637889aac61..ba724d54f640 100644 --- a/math/why3-spark/Makefile +++ b/math/why3-spark/Makefile @@ -45,7 +45,7 @@ post-patch: @${REINPLACE_CMD} -e 's|/bin/bash|/bin/sh|g' \ ${WRKSRC}/src/util/sysutil.ml @${REINPLACE_CMD} -e '/cp -f share\/Make/d' \ - ${WRKSRC}/Makefile.in + -e '/gcc/d' ${WRKSRC}/Makefile.in post-install: ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/*why3 |