You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
tdeedu/kalzium/configure.in.in

67 lines
1.4 KiB

#MIN_CONFIG(3.3)
ocaml_installed=no
facile_installed=no
eqchem_enabled=no
AC_DEFUN([OCAML_PROG],[
KDE_FIND_PATH(ocamlopt, OCAML, [$bindir],
[
OCAML=''
])
])
AC_DEFUN([FACILE_PROG],[
AC_REQUIRE([OCAML_PROG])
AC_MSG_CHECKING([if the facile constraint solver is installed])
FACILE="`ocamlopt -where`/facile"
if test -d "$FACILE" ; then
eqchem_enabled=yes
AC_MSG_RESULT([yes])
facile_installed=yes
else
eqchem_enabled=no
AC_MSG_RESULT([no])
facile_installed=no
fi
AC_SUBST([FACILE])
])
AC_ARG_ENABLE( ocamlsolver,
[ --disable-ocamlsolver Disable support for the OCaml solver @<:@default=check@:>@]],
[ with_ocamlsolver=$enableval ],
[ with_ocamlsolver=check] )
if test "x$with_ocamlsolver" != xno; then
OCAML_PROG
if test -n "$OCAML"; then
ocaml_installed=yes
FACILE_PROG
fi
AH_TEMPLATE(HAVE_FACILE, facile solver available?)
EQCHEM_SUB=
OCAMLLIB=
EQCHEM_LDADD=
if test "$eqchem_enabled" = "yes"; then
EQCHEM_SUB=solver
OCAMLLIB=`ocamlc -where`
FACILELIB=`ocamlc -where`/facile
EQCHEM_LDADD="-lasmrun -lstr -lnums -lm -ldl solver.o modwrap.o"
AC_DEFINE(HAVE_FACILE, 1)
fi
AC_SUBST(EQCHEM_SUB)
AC_SUBST(OCAMLLIB)
AC_SUBST(FACILELIB)
AC_SUBST(EQCHEM_LDADD)
if test "$eqchem_enabled" = "yes"; then
with_ocamlsolver=yes
fi
fi