diff options
Diffstat (limited to 'debian/patches/use-env-in-coq-config.dpatch')
| -rwxr-xr-x | debian/patches/use-env-in-coq-config.dpatch | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/debian/patches/use-env-in-coq-config.dpatch b/debian/patches/use-env-in-coq-config.dpatch deleted file mode 100755 index 1f01315f..00000000 --- a/debian/patches/use-env-in-coq-config.dpatch +++ /dev/null @@ -1,24 +0,0 @@ -#! /bin/sh /usr/share/dpatch/dpatch-run -## use-env-in-coq-config.dpatch by Stephane Glondu <steph@glondu.net> -## -## All lines beginning with `## DP:' are a description of the patch. -## DP: Use environment variables by default in coq_config.ml - -@DPATCH@ -diff --git a/configure b/configure -index 2747ee2..a57b996 100755 ---- a/configure -+++ b/configure -@@ -862,9 +862,9 @@ cat << END_OF_COQ_CONFIG > $mlconfig_file - (* DO NOT EDIT THIS FILE: automatically generated by ../configure *) - - let local = $local --let bindir = "$ESCBINDIR" --let coqlib = "$ESCLIBDIR" --let coqtop = "$ESCCOQTOP" -+let bindir = try Sys.getenv "COQBIN" with Not_found -> "$ESCBINDIR" -+let coqlib = try Sys.getenv "COQLIB" with Not_found -> "$ESCLIBDIR" -+let coqtop = try Sys.getenv "COQTOP" with Not_found -> "$ESCCOQTOP" - let camldir = "$ESCCAMLDIR" - let camllib = "$ESCCAMLLIB" - let camlp4 = "$CAMLP4" |