commit: 80264f6226c82b6ae16c92c98cd7835e71a53680 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Wed May 27 19:24:39 2020 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Wed May 27 19:24:39 2020 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=80264f62
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 <AT> gentoo.org> .../why3-for-spark/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 f83a6256672..2dab12ddfbd 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@
