Changed files:
coq-lablgtk2.patch -> 1.2
elif [ "$coqide_spec" = "yes" -a "$COQIDE" = "byte" ]; then
echo "LablGtk2 found, bytecode CoqIde will be used as requested."
COQIDE=byte
elif [ "$coqide_spec" = "yes" -a "$COQIDE" = "byte" ]; then
echo "LablGtk2 found, bytecode CoqIde will be used as requested."
COQIDE=byte
####################################################
if [ ! "$COQIDE" = "no" ]; then
- if grep "class view " "$lablgtkdir/gText.mli" | grep -q "\[>" ; then
####################################################
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
- else
- cp -f ide/undo_lablgtk_lt26.mli ide/undo.mli
- fi