···

       
18
       
 
       
           -e "s|^\(\(DEST_\)\?PREFIX\)=.*$|\1=$out|g ; \

     

       
19
       
 
       
               s|/sbin/install-info|install-info|g"

     

       
20
       
 
       


     

       
21
       
-
       


     

       
22
       
-
       
       sed -i "bin/proofgeneral" -e's/which/type -p/g'

     

       
23
       
-
       


     

       
24
       
 
       
       # @image{ProofGeneral} fails, so remove it.

     

       
25
       
 
       
       sed -i '94d' doc/PG-adapting.texi

     

       
26
       
 
       
       sed -i '96d' doc/ProofGeneral.texi

     

       
27
       
 
       
    '';

     

       
28
       
-
       


     

       
29
       
-
       
  patches = [ ./pg.patch ];

     

       
30
       
 
       


     

       
31
       
 
       
  preBuild = ''

     

       
32
       
 
       
    make clean;

     

···

       
18
       
 
       
           -e "s|^\(\(DEST_\)\?PREFIX\)=.*$|\1=$out|g ; \

     

       
19
       
 
       
               s|/sbin/install-info|install-info|g"

     

       
20
       
 
       


     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
21
       
 
       
       # @image{ProofGeneral} fails, so remove it.

     

       
22
       
 
       
       sed -i '94d' doc/PG-adapting.texi

     

       
23
       
 
       
       sed -i '96d' doc/ProofGeneral.texi

     

       
24
       
 
       
    '';

     

       
0
       
 
       

     

       
0
       
 
       

     

       
25
       
 
       


     

       
26
       
 
       
  preBuild = ''

     

       
27
       
 
       
    make clean;

     

···

       
1
       
-
       
diff -r c7d8bfff4c0a bin/proofgeneral

     

       
2
       
-
       
--- a/bin/proofgeneral	Sat Sep 27 02:25:15 2014 +0100

     

       
3
       
-
       
+++ b/bin/proofgeneral	Sat Sep 27 02:28:16 2014 +0100

     

       
4
       
-
       
@@ -73,11 +73,7 @@

     

       
5
       
-
       
 

     

       
6
       
-
       
 # Try to find Proof General directory

     

       
7
       
-
       
 if [ -z "$PGHOME" ] || [ ! -d "$PGHOME" ]; then

     

       
8
       
-
       
-    # default relative to this script, otherwise PGHOMEDEFAULT

     

       
9
       
-
       
-    MYDIR="`readlink --canonicalize "$0" | sed -ne 's,/bin/proofgeneral$,,p'`"

     

       
10
       
-
       
-    if [ -d "$MYDIR/generic" ]; then

     

       
11
       
-
       
-	PGHOME="$MYDIR"

     

       
12
       
-
       
-    elif [ -d "$PGHOMEDEFAULT" ]; then

     

       
13
       
-
       
+    if [ -d "$PGHOMEDEFAULT" ]; then

     

       
14
       
-
       
 	PGHOME="$PGHOMEDEFAULT"

     

       
15
       
-
       
     else

     

       
16
       
-
       
 	echo "Cannot find the Proof General lisp files: Set PGHOME or use --pghome."

     

···

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0