]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helm_data/configure.in
First files added
[helm.git] / helm / helm_data / configure.in
diff --git a/helm/helm_data/configure.in b/helm/helm_data/configure.in
new file mode 100644 (file)
index 0000000..e4dcc65
--- /dev/null
@@ -0,0 +1,31 @@
+AC_INIT(dtd/cic.dtd)
+
+if test "x$prefix" != xNONE; then
+  RESOLVED_PREFIX=$prefix
+else
+  RESOLVED_PREFIX=$ac_default_prefix
+fi
+
+dnl General
+AC_MSG_CHECKING("for the share/helm/dtd dir")
+RES=""
+AC_CACHE_VAL(helm_cv_HELM_DTDS_DIR,
+  echo "Where should I put the DTDs? Note: your answer must be the entry of value dtd_dir in the configuration.xml file of the helm_configuration package that you should have already installed."
+  read helm_cv_HELM_DTDS_DIR
+  RES="Asked"
+)
+HELM_DTDS_DIR=$helm_cv_HELM_DTDS_DIR
+if test "$RES" != "Asked" ; then
+   HELM_DTDS_DIR=`eval "echo $HELM_DTDS_DIR"`
+   AC_MSG_RESULT($HELM_DTDS_DIR)
+fi
+AC_CACHE_SAVE
+
+AC_MSG_CHECKING("for the share/helm/style dir")
+HELM_STYLES_DIR=$RESOLVED_PREFIX/share/helm/style
+AC_MSG_RESULT($HELM_STYLES_DIR)
+
+AC_SUBST(HELM_DTDS_DIR)
+AC_SUBST(HELM_STYLES_DIR)
+
+AC_OUTPUT([Makefile])