blob: 9a3bbbb13f527822ce81506d4b0b29717325e1ed (
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
36
|
--- zzz/matita-0.5.8/configure 2009-12-01 18:21:00.000000000 -0500
+++ matita-0.5.8/configure 2010-09-07 19:57:29.732139550 -0400
@@ -1895,6 +1895,7 @@
# look for METAS dir
LIBSPATH="`pwd`/components"
+OLDCAMLPATH="$OCAMLPATH"
OCAMLPATH="$LIBSPATH/METAS"
# creating META.*
@@ -1917,7 +1918,7 @@
gdome2 \
http \
lablgtk2 \
-lablgtksourceview2.gtksourceview2 \
+lablgtk2.gtksourceview \
lablgtkmathview \
mysql \
netstring \
@@ -1951,14 +1952,14 @@
$FINDLIB_CREQUIRES \
lablgtk2.glade \
lablgtkmathview \
-lablgtksourceview2.gtksourceview2 \
+lablgtk2.gtksourceview \
helm-xmldiff \
"
for r in $FINDLIB_LIBSREQUIRES $FINDLIB_REQUIRES
do
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $r ocaml library" >&5
$as_echo_n "checking for $r ocaml library... " >&6; }
- if OCAMLPATH=$OCAMLPATH $OCAMLFIND query $r &> /dev/null; then
+ if OCAMLPATH=$OCAMLPATH:$OLDCAMLPATH $OCAMLFIND query $r &> /dev/null; then
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: yes" >&5
$as_echo "yes" >&6; }
else
|