From 1e309a9f9c192689bcb5f3a6e0dbdd8309068713 Mon Sep 17 00:00:00 2001
From: John Marino <marino@FreeBSD.org>
Date: Mon, 13 Jun 2016 20:04:52 +0000
Subject: 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.
---
 math/why3-spark/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'math')

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
-- 
cgit v1.2.3