blob: 36fa223dd0d0aa40e257a759b480d745a619905c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- configure.orig 2010-01-15 14:55:24.866388457 +0100
+++ configure 2010-01-15 14:56:11.795951770 +0100
@@ -2450,7 +2450,7 @@
test -z "$as_dir" && as_dir=.
for ac_exec_ext in '' $ac_executable_extensions; do
if { test -f "$as_dir/$ac_word$ac_exec_ext" && $as_test_x "$as_dir/$ac_word$ac_exec_ext"; }; then
- ac_cv_prog_CAMLP4O="camlp4o"
+ ac_cv_prog_CAMLP4O="camlp4 pa_o.cmo pa_op.cmo pr_dump.cmo"
$as_echo "$as_me:$LINENO: found $as_dir/$ac_word$ac_exec_ext" >&5
break 2
fi
|
