diff options
Diffstat (limited to 'math/why3/files')
| -rw-r--r-- | math/why3/files/patch-configure | 11 | ||||
| -rw-r--r-- | math/why3/files/patch-src_tools_cpulimit.c | 10 |
2 files changed, 0 insertions, 21 deletions
diff --git a/math/why3/files/patch-configure b/math/why3/files/patch-configure deleted file mode 100644 index a77a48d32137..000000000000 --- a/math/why3/files/patch-configure +++ /dev/null @@ -1,11 +0,0 @@ ---- configure.orig 2014-03-14 15:01:05 UTC -+++ configure -@@ -3427,7 +3427,7 @@ fi - - #if ocamlfind is used it gives the install path for ocaml library - if test "$USEOCAMLFIND" = yes; then -- OCAMLINSTALLLIB=$(ocamlfind printconf destdir) -+ OCAMLINSTALLLIB=$(ocamlfind printconf destdir | sed 's/:.*//') - else - OCAMLINSTALLLIB=$OCAMLLIB - fi diff --git a/math/why3/files/patch-src_tools_cpulimit.c b/math/why3/files/patch-src_tools_cpulimit.c deleted file mode 100644 index 5c905ece014a..000000000000 --- a/math/why3/files/patch-src_tools_cpulimit.c +++ /dev/null @@ -1,10 +0,0 @@ ---- 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> - |