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 f83a62566720eaa85406a2570a170d1c036bf9bb..2dab12ddfbd30425c8774e2255fc2880668c8064 100644 (file)
--- 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@