]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/configure.ac
* disable-shared doens't bother ocaml
[helm.git] / helm / DEVEL / mathml_editor / configure.ac
index 2ea4dfb15b522723787c00285aa1c62c0876efbe..17b35b57ea81075acfc6b646b10d250503f6a40c 100644 (file)
@@ -225,6 +225,7 @@ else
   OCAMLMKLIB=ocamlmklib
   AC_SUBST(OCAMLMKLIB)
 fi
+AM_CONDITIONAL(HAVE_SHAREDLIBS_COND, test x$enable_shared = xyes)
 
 AC_MSG_CHECKING(for gdome2 ocaml binding)
 ocamlfind query gdome2 ||