]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/gdome_xslt/configure.ac
* patches for ocaml compilation
[helm.git] / helm / DEVEL / gdome_xslt / configure.ac
index bc8ab38b2f4e9458f84c7cc675191f3860f6cf1b..3b247dab73188cdd312117c134715b00f9fcf514 100644 (file)
@@ -7,6 +7,30 @@ VERSION=0.0.3
 VERSION_INFO=`echo $VERSION | awk -F. '{ printf "%d:%d:%d", $1+$2, $3, $2 }'`
 AC_SUBST(VERSION_INFO)
 
+AC_ARG_WITH(
+        gmetadom-prefix,
+        [  --with-gmetadom-prefix=PFX prefix dir where gmetadom is installed],
+        [
+                with_gmetadom_prefix=yes
+                GMETADOM_PREFIX=$withval
+        ],
+        [
+                with_gmetadom_prefix=no
+        ]
+)
+
+AC_ARG_WITH(
+        gdome-prefix,
+        [  --with-gdome-prefix=PFX prefix dir where gdome is installed],
+        [
+                with_gdome_prefix=yes
+                GDOME_PREFIX=$withval
+        ],
+        [
+                with_gdome_prefix=no
+        ]
+)
+
 AC_PROG_CC
 AC_PROG_CXX
 AC_PROG_INSTALL
@@ -23,8 +47,8 @@ then
        if ${GDOME_PREFIX}/bin/$GDOME_CONFIG --version > /dev/null 2>&1
        then
                GDOME_CONFIG=${GDOME_PREFIX}/bin/$GDOME_CONFIG
-        elif ! $GDOME_CONFIG --version > /dev/null 2>&1
-        then
+       elif ! $GDOME_CONFIG --version > /dev/null 2>&1
+       then
                AC_MSG_ERROR(Could not find Gdome2 anywhere (see config.log for details).)
        fi
 fi
@@ -134,11 +158,11 @@ AC_CONFIG_FILES([
   C++/gdome_xslt/Makefile
   C++/test/Makefile
   C++/Makefile
-  C++/gdome_xslt_cpp_smart-config
   ocaml/Makefile
+  ocaml/gdome_xslt/META
   ocaml/gdome_xslt/Makefile
   ocaml/test/Makefile
-  test_files/Makefile
-  debian/Makefile])
-AC_CONFIG_COMMANDS([default],[[chmod +x C++/gdome_xslt_cpp_smart-config]],[[]])
+  gdome_xslt_cpp_smart-config
+  test_files/Makefile])
+AC_CONFIG_COMMANDS([default],[[chmod +x gdome_xslt_cpp_smart-config]],[[]])
 AC_OUTPUT