diff options
Diffstat (limited to 'kalzium/configure.in.in')
-rw-r--r-- | kalzium/configure.in.in | 66 |
1 files changed, 66 insertions, 0 deletions
diff --git a/kalzium/configure.in.in b/kalzium/configure.in.in new file mode 100644 index 00000000..757485ad --- /dev/null +++ b/kalzium/configure.in.in @@ -0,0 +1,66 @@ +#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 |