blob: 767d2114a6d8b8b491ae4fcb69c145cfbd8b09fa (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
--- configure.orig Tue Jun 1 09:27:55 2004
+++ configure Tue Jun 1 09:28:03 2004
@@ -2652,19 +2652,19 @@
fi;
echo "$as_me:$LINENO: checking lablGL directory" >&5
echo $ECHO_N "checking lablGL directory... $ECHO_C" >&6
-TMPF=conftest.ml
-cat > $TMPF << EOF
-open Gl
-EOF
-_LABLGLDIR=$LABLGLDIR
-unset LABLGLDIR
-for dir in $_LABLGLDIR +lablGL ; do
- if $OCAMLC -c -I $dir $TMPF >& /dev/null ; then
- LABLGLDIR="$dir"
- break
- fi
-done
-rm -f $TMPF
+#TMPF=conftest.ml
+#cat > $TMPF << EOF
+#open Gl
+#EOF
+#_LABLGLDIR=$LABLGLDIR
+#unset LABLGLDIR
+#for dir in $_LABLGLDIR +lablGL ; do
+# if $OCAMLC -c -I $dir $TMPF >& /dev/null ; then
+# LABLGLDIR="$dir"
+# break
+# fi
+#done
+#rm -f $TMPF
if test -n $LABLGLDIR ; then
echo "$as_me:$LINENO: result: $LABLGLDIR" >&5
echo "${ECHO_T}$LABLGLDIR" >&6
|
