]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/configure.ac
* first draft of the formal specification
[helm.git] / helm / DEVEL / mathml_editor / configure.ac
index 624973c887f23b0a41ee15e4a64a525a38598682..f39a5f93f59f011282ddfac1b65eb644799ee495 100644 (file)
@@ -35,7 +35,7 @@ AC_ARG_WITH(gmetadom-prefix,
        GMETADOM_PREFIX=$withval
 )
 
-AC_CONFIG_HEADERS([config.h])
+dnl AC_CONFIG_HEADERS([config.h])
 AM_CONFIG_HEADER(config.h)
 
 AH_TOP([
@@ -88,9 +88,9 @@ AC_SUBST(LDFLAGS)
 
 AM_PROG_LIBTOOL
 
-PKG_CHECK_MODULES(GLIB2, glib-2.0)
-AC_SUBST(GLIB2_CFLAGS)
-AC_SUBST(GLIB2_LIBS)
+dnl PKG_CHECK_MODULES(GLIB2, glib-2.0)
+dnl AC_SUBST(GLIB2_CFLAGS)
+dnl AC_SUBST(GLIB2_LIBS)
 
 GMETADOM_CONFIG="gmetadom-config"
 GMETADOM_MIN_VERSION=0.1.0
@@ -249,6 +249,7 @@ AC_SUBST(OCAML_INCLUDE_DIR)
 AC_CONFIG_FILES([
  Makefile 
  src/Makefile
+ src/config.dirs
  test/Makefile
  textomml/Makefile
  textomml/config.dirs