From 80264f6226c82b6ae16c92c98cd7835e71a53680 Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Wed, 27 May 2020 21:24:39 +0200 Subject: [PATCH] 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 --- .../files/why3-for-spark-2019-gentoo.patch | 10 ++++++++++ 1 file changed, 10 insertions(+) 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@ -- 2.26.2