You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
gentoo-overlay/sci-mathematics/why3-for-spark/files/why3-for-spark-2020-gentoo....

11 lines
332 B

--- 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@