From: Alfredo Tupone <tupone@gentoo.org>
Date: Wed, 27 May 2020 19:24:39 +0000 (+0200)
Subject: sci-mathematics/why3-for-spark: use CC
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=80264f6226c82b6ae16c92c98cd7835e71a53680;p=gentoo.git

sci-mathematics/why3-for-spark: use CC

Closes: https://bugs.gentoo.org/725598
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
---

diff --git a/sci-mathematics/why3-for-spark/files/why3-for-spark-2019-gentoo.patch b/sci-mathematics/why3-for-spark/files/why3-for-spark-2019-gentoo.patch
index f83a62566720..2dab12ddfbd3 100644
--- a/sci-mathematics/why3-for-spark/files/why3-for-spark-2019-gentoo.patch
+++ b/sci-mathematics/why3-for-spark/files/why3-for-spark-2019-gentoo.patch
@@ -12,3 +12,13 @@
  
  let rec file_concat l =
    match l with
+--- a/Makefile.in	2020-05-27 21:19:08.736241502 +0200
++++ b/Makefile.in	2020-05-27 21:19:14.042156954 +0200
+@@ -50,7 +50,6 @@
+ OCAMLINSTALLLIB  = $(DESTDIR)@OCAMLINSTALLLIB@
+ OCAMLBEST = @OCAMLBEST@
+ OCAMLVERSION = @OCAMLVERSION@
+-CC        = gcc
+ COQC      = @COQC@
+ COQDEP    = @COQDEP@
+ FRAMAC_LIBDIR = $(DESTDIR)@FRAMAC_LIBDIR@