diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2020-05-27 21:24:39 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2020-05-27 21:24:39 +0200 |
| commit | 80264f6226c82b6ae16c92c98cd7835e71a53680 (patch) | |
| tree | 2008321c2a307c299792d6240bd06513e3eaf2d4 /sci-mathematics/why3-for-spark | |
| parent | kernel-2.eclass: avoid lexicographical compare on versions, bug #705246 (diff) | |
| download | gentoo-80264f6226c82b6ae16c92c98cd7835e71a53680.tar.gz gentoo-80264f6226c82b6ae16c92c98cd7835e71a53680.tar.bz2 gentoo-80264f6226c82b6ae16c92c98cd7835e71a53680.zip | |
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>
Diffstat (limited to 'sci-mathematics/why3-for-spark')
| -rw-r--r-- | sci-mathematics/why3-for-spark/files/why3-for-spark-2019-gentoo.patch | 10 |
1 files changed, 10 insertions, 0 deletions
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@ |