diff options
| author | Baptiste Daroussin <bapt@FreeBSD.org> | 2021-02-04 09:58:33 +0000 |
|---|---|---|
| committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2021-02-04 09:58:33 +0000 |
| commit | ca0ad1e463e3db9e0c9909109eb7d5460a5b8394 (patch) | |
| tree | da71485eeabe576d6b7f122f5ef0368dc9dbc0b5 /math/why3/files/patch-configure | |
| parent | Please welcome LibreOffice suite 7.1.0 release! (diff) | |
Remove math/why3
This port depends on deprecated gnome2 only libraries, the port is unmaintained for
a while and very outdated.
Diffstat (limited to 'math/why3/files/patch-configure')
| -rw-r--r-- | math/why3/files/patch-configure | 11 |
1 files changed, 0 insertions, 11 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 |