diff options
| author | John Marino <marino@FreeBSD.org> | 2016-06-13 20:04:52 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2016-06-13 20:04:52 +0000 |
| commit | 1e309a9f9c192689bcb5f3a6e0dbdd8309068713 (patch) | |
| tree | 372ef679a01247c50be4d2eab168cf2d419de795 /math | |
| parent | eed16e38c1eac590f24f891a8efacf6e0650fdaf (diff) | |
| download | ports-1e309a9f9c192689bcb5f3a6e0dbdd8309068713.tar.gz ports-1e309a9f9c192689bcb5f3a6e0dbdd8309068713.zip | |
Notes
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 |