diff options
Diffstat (limited to 'math/why3-gpl/files')
| -rw-r--r-- | math/why3-gpl/files/patch-Makefile.in | 10 | ||||
| -rw-r--r-- | math/why3-gpl/files/patch-src_tools_cpulimit.c | 10 |
2 files changed, 20 insertions, 0 deletions
diff --git a/math/why3-gpl/files/patch-Makefile.in b/math/why3-gpl/files/patch-Makefile.in new file mode 100644 index 000000000000..6d87243ab3a5 --- /dev/null +++ b/math/why3-gpl/files/patch-Makefile.in @@ -0,0 +1,10 @@ +--- Makefile.in.orig 2014-04-03 10:14:03.000000000 +0000 ++++ Makefile.in +@@ -46,7 +46,6 @@ OCAMLLIB = @OCAMLLIB@ + OCAMLINSTALLLIB = $(DESTDIR)@OCAMLINSTALLLIB@ + OCAMLBEST = @OCAMLBEST@ + OCAMLVERSION = @OCAMLVERSION@ +-CC = gcc + COQC = @COQC@ + COQDEP = @COQDEP@ + CAMLP5O = @CAMLP5O@ diff --git a/math/why3-gpl/files/patch-src_tools_cpulimit.c b/math/why3-gpl/files/patch-src_tools_cpulimit.c new file mode 100644 index 000000000000..5c905ece014a --- /dev/null +++ b/math/why3-gpl/files/patch-src_tools_cpulimit.c @@ -0,0 +1,10 @@ +--- src/tools/cpulimit.c.orig 2014-03-14 15:01:03.000000000 +0000 ++++ src/tools/cpulimit.c +@@ -18,6 +18,7 @@ + #include <stdlib.h> + #include <unistd.h> + #include <errno.h> ++#include <signal.h> + #include <string.h> + #include <sys/wait.h> + |