packages: coq/coq-lablgtk2.patch - updated to 8.3pl1

baggins baggins at pld-linux.org
Thu Apr 7 23:41:12 CEST 2011


Author: baggins                      Date: Thu Apr  7 21:41:12 2011 GMT
Module: packages                      Tag: HEAD
---- Log message:
- updated to 8.3pl1

---- Files affected:
packages/coq:
   coq-lablgtk2.patch (1.1 -> 1.2) 

---- Diffs:

================================================================
Index: packages/coq/coq-lablgtk2.patch
diff -u packages/coq/coq-lablgtk2.patch:1.1 packages/coq/coq-lablgtk2.patch:1.2
--- packages/coq/coq-lablgtk2.patch:1.1	Mon Feb 16 14:06:42 2009
+++ packages/coq/coq-lablgtk2.patch	Thu Apr  7 23:41:07 2011
@@ -27,12 +27,16 @@
      elif [ "$coqide_spec" = "yes" -a "$COQIDE" = "byte" ]; then 
  	echo "LablGtk2 found, bytecode CoqIde will be used as requested."
  	COQIDE=byte
-@@ -855,11 +852,7 @@
+@@ -855,15 +852,7 @@
  ####################################################
  
  if [ ! "$COQIDE" = "no" ]; then 
 -    if grep "class view " "$lablgtkdir/gText.mli" | grep -q "\[>" ; then
- 	cp -f ide/undo_lablgtk_ge26.mli ide/undo.mli
+-       if grep -q "?accepts_tab:bool" "$lablgtkdir/gText.mli" ; then
+         cp -f ide/undo_lablgtk_ge212.mli ide/undo.mli
+-       else
+-	cp -f ide/undo_lablgtk_ge26.mli ide/undo.mli
+-       fi
 -    else
 -	cp -f ide/undo_lablgtk_lt26.mli ide/undo.mli
 -    fi
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/coq/coq-lablgtk2.patch?r1=1.1&r2=1.2&f=u



More information about the pld-cvs-commit mailing list