From: Jan Rękorajski <baggins@pld-linux.org>
Date: Thu, 7 Apr 2011 21:41:07 +0000 (+0000)
Subject: - updated to 8.3pl1
X-Git-Tag: auto/th/coq-8_3pl1-1~12
X-Git-Url: https://git.pld-linux.org/?p=packages%2Fcoq.git;a=commitdiff_plain;h=1c1094bcafbacd90cd65d435d71b1b1dd2135d2e

- updated to 8.3pl1

Changed files:
    coq-lablgtk2.patch -> 1.2
---

diff --git a/coq-lablgtk2.patch b/coq-lablgtk2.patch
index dcfc397..e198ec3 100644
--- a/coq-lablgtk2.patch
+++ b/coq-lablgtk2.patch
@@ -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