- updated to 8.3pl1
authorJan Rękorajski <baggins@pld-linux.org>
Thu, 7 Apr 2011 21:41:07 +0000 (21:41 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    coq-lablgtk2.patch -> 1.2

coq-lablgtk2.patch

index dcfc39774becd53bdd4f90e8ec70b88e829915ad..e198ec3858aeb56db6d0d03dc240d846958b6f46 100644 (file)
      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
This page took 0.047489 seconds and 4 git commands to generate.