diff options
| -rwxr-xr-x | configure | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -639,10 +639,9 @@ if [ "$coqide_spec" = "yes" -a "$COQIDE" = "no" ]; then else case $lablgtkdir_spec in no) - if lablgtkdirtmp="$(ocamlfind query lablgtk2.sourceview2 2> /dev/null)"; then - # Beware of the final \r in Win32 - # Do not pipe this tr -d above, otherwise the exit code is lost - lablgtkdirtmp="$(echo $lablgtkdirtmp | tr -d '\r')" + # Beware of the final \r in Win32 + lablgtkdirtmp="$(ocamlfind query lablgtk2.sourceview2 2> /dev/null | tr -d '\r')" + if [ "$labgtkdirtmp" != "" ]; then if [ ! -f "$lablgtkdirtmp/gSourceView2.cmi" ]; then echo "Incomplete Lablgtk2 found by ocamlfind (gSourceView2.cmi not found)." elif [ ! -f "$lablgtkdirtmp/glib.mli" ]; then |