From ce599e4f9f94b4eb00c1b5edb85bce5431ab3df2 Mon Sep 17 00:00:00 2001 From: toma Date: Wed, 25 Nov 2009 17:56:58 +0000 Subject: Copy the KDE 3.5 branch to branches/trinity for new KDE 3.5 features. BUG:215923 git-svn-id: svn://anonsvn.kde.org/home/kde/branches/trinity/kdeedu@1054174 283d02a7-25f6-0310-bc7c-ecb5cbfe19da --- kalzium/configure.in.in | 66 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 66 insertions(+) create mode 100644 kalzium/configure.in.in (limited to 'kalzium/configure.in.in') 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 -- cgit v1.2.1