svn commit: r416867 - head/math/why3-spark

[John Marino]

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