diff options
| -rw-r--r-- | autoconf/configure.ac | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/autoconf/configure.ac b/autoconf/configure.ac index a966a09618..b6f23a381c 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -589,9 +589,9 @@ AC_PATH_PROG(POD2MAN, [pod2man]) AC_PATH_PROG(RUNTEST, [runtest]) DJ_AC_PATH_TCLSH AC_PATH_PROG(ZIP, [zip]) -AC_PATH_PROG(OCAMLC, [ocamlc]) -AC_PATH_PROG(OCAMLOPT, [ocamlopt]) -AC_PATH_PROG(OCAMLDEP, [ocamldep]) +AC_PATH_PROGS(OCAMLC, [ocamlc.opt ocamlc]) +AC_PATH_PROGS(OCAMLOPT, [ocamlopt.opt ocamlopt]) +AC_PATH_PROGS(OCAMLDEP, [ocamldep.opt ocamldep]) dnl Determine if the linker supports the -R option. AC_LINK_USE_R |