Date: Mon, 13 Jun 2016 20:04:52 +0000 (UTC) From: John Marino <marino@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r416867 - head/math/why3-spark Message-ID: <201606132004.u5DK4qM5063970@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: marino Date: Mon Jun 13 20:04:52 2016 New Revision: 416867 URL: https://svnweb.freebsd.org/changeset/ports/416867 Log: 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. Modified: head/math/why3-spark/Makefile Modified: head/math/why3-spark/Makefile ============================================================================== --- head/math/why3-spark/Makefile Mon Jun 13 19:57:55 2016 (r416866) +++ head/math/why3-spark/Makefile Mon Jun 13 20:04:52 2016 (r416867) @@ -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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201606132004.u5DK4qM5063970>