diff options
author | Valentin Robert <valentin.robert.42@gmail.com> | 2017-05-18 16:43:38 -0700 |
---|---|---|
committer | Valentin Robert <valentin.robert.42@gmail.com> | 2017-05-18 16:43:38 -0700 |
commit | eaef55f69976f84dc16297f9f011984eb20c8b26 (patch) | |
tree | 123f5e1ae845fa13cd9c983892b3005056dd73a0 /pkgs/applications/editors/emacs-modes/proofgeneral/pg.patch | |
parent | fc2caec7565bb536b6208d1e9eaba6b674c1f69a (diff) | |
download | nixlib-eaef55f69976f84dc16297f9f011984eb20c8b26.tar nixlib-eaef55f69976f84dc16297f9f011984eb20c8b26.tar.gz nixlib-eaef55f69976f84dc16297f9f011984eb20c8b26.tar.bz2 nixlib-eaef55f69976f84dc16297f9f011984eb20c8b26.tar.lz nixlib-eaef55f69976f84dc16297f9f011984eb20c8b26.tar.xz nixlib-eaef55f69976f84dc16297f9f011984eb20c8b26.tar.zst nixlib-eaef55f69976f84dc16297f9f011984eb20c8b26.zip |
proofgeneral_HEAD: fix for files removed upstream
Diffstat (limited to 'pkgs/applications/editors/emacs-modes/proofgeneral/pg.patch')
-rw-r--r-- | pkgs/applications/editors/emacs-modes/proofgeneral/pg.patch | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/pkgs/applications/editors/emacs-modes/proofgeneral/pg.patch b/pkgs/applications/editors/emacs-modes/proofgeneral/pg.patch deleted file mode 100644 index 704e4b6c8c7a..000000000000 --- a/pkgs/applications/editors/emacs-modes/proofgeneral/pg.patch +++ /dev/null @@ -1,16 +0,0 @@ -diff -r c7d8bfff4c0a bin/proofgeneral ---- a/bin/proofgeneral Sat Sep 27 02:25:15 2014 +0100 -+++ b/bin/proofgeneral Sat Sep 27 02:28:16 2014 +0100 -@@ -73,11 +73,7 @@ - - # Try to find Proof General directory - if [ -z "$PGHOME" ] || [ ! -d "$PGHOME" ]; then -- # default relative to this script, otherwise PGHOMEDEFAULT -- MYDIR="`readlink --canonicalize "$0" | sed -ne 's,/bin/proofgeneral$,,p'`" -- if [ -d "$MYDIR/generic" ]; then -- PGHOME="$MYDIR" -- elif [ -d "$PGHOMEDEFAULT" ]; then -+ if [ -d "$PGHOMEDEFAULT" ]; then - PGHOME="$PGHOMEDEFAULT" - else - echo "Cannot find the Proof General lisp files: Set PGHOME or use --pghome." |