X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fconfiguration%2Fconfigure.in;h=03c923e9d4d89a9ec7f5231a288094db40e67cc2;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=b8a7cffd72af866666a6bbe197e9f7f9afe8694d;hpb=3cd06261fd37ec1e59df01d8a636050d155333b3;p=helm.git diff --git a/helm/configuration/configure.in b/helm/configuration/configure.in index b8a7cffd7..03c923e9d 100644 --- a/helm/configuration/configure.in +++ b/helm/configuration/configure.in @@ -1,4 +1,22 @@ -AC_INIT(etc/configuration.xml) +AC_INIT(etc/configuration.xml.in) + +PACKAGE=helm_configuration + +HELM_MAJOR_VERSION=0 +HELM_MINOR_VERSION=0 +HELM_MICRO_VERSION=2 +HELM_VERSION=$HELM_MAJOR_VERSION.$HELM_MINOR_VERSION.$HELM_MICRO_VERSION +VERSION=$HELM_VERSION + +DEFAULT_HELM_VAR_DIR=/var/local/helm +DEFAULT_HELM_TMP_DIR=/tmp + +AC_ARG_ENABLE( + defaults, + [ --enable-defaults[=ARG] if yes then use defaults (don't ask user) [default=auto]], + USE_DEFAULTS=$enableval, + USE_DEFAULTS=auto +) if test "x$prefix" != xNONE; then RESOLVED_PREFIX=$prefix @@ -13,40 +31,156 @@ else fi dnl General +HELM_BIN_DIR=$RESOLVED_EXEC_PREFIX/bin HELM_LIB_DIR=$RESOLVED_EXEC_PREFIX/lib/helm HELM_ETC_DIR=$RESOLVED_PREFIX/etc/helm +HELM_SHARE_DIR=$RESOLVED_PREFIX/share/helm + +dnl Checking for the variable directory +if test $USE_DEFAULTS != yes; then + echo + echo "Now you have to choose a suitable directory for variable files." + echo "Normally, this directory would be something like /var/local/helm, you" + echo "have to be sure that the directory (and the subdirectories in it)" + echo "is world-writable." + echo + echo -n "[[$DEFAULT_HELM_VAR_DIR]] ? " + read HELM_VAR_DIR + echo + if test x$HELM_VAR_DIR = x; then + HELM_VAR_DIR="/var/local/helm" + fi +else + HELM_VAR_DIR=$DEFAULT_HELM_VAR_DIR +fi + +AC_MSG_CHECKING(for HELM variable dir) +AC_MSG_RESULT($HELM_VAR_DIR) -dnl Only for GtkMathview XML configuration -HELM_DICTIONARY_PATH=/projects/helm/V7/phd/local/etc/helm/helm-dictionary.xml -GTKMATHVIEW_DICTIONARY_PATH=/projects/helm/local/share/gtkmathview/dictionary.xml -HELM_FONT_CONFIGURATION_PATH=/projects/helm/V7/phd/local/etc/helm/helm-font-configuration.xml -GTKMATHVIEW_FONT_CONFIGURATION_PATH=/projects/helm/local/share/gtkmathview/font-configuration.xml -HELM_T1_CONFIG_FILE=/projects/helm/local/share/gtkmathview/t1.config +dnl Checking for the /tmp directory +DEFAULTS=$USE_DEFAULTS +if test $DEFAULTS = auto; then + if test -d $DEFAULT_HELM_TMP_DIR ; then + HELM_TMP_DIR=$DEFAULT_HELM_TMP_DIR + else + DEFAULTS=no + fi +fi + +if test $DEFAULTS = no; then + echo + echo "Please, tell me the name of a directory which can be used to store" + echo "temporary files (normally it is something like /tmp)" + echo + echo -n "[[$DEFAULT_HELM_TMP_DIR]]" + read HELM_TMP_DIR + echo + if test x$HELM_TMP_DIR = x; then + HELM_TMP_DIR=$DEFAULT_HELM_TMP_DIR + fi +else + HELM_TMP_DIR=$DEFAULT_HELM_TMP_DIR +fi + +AC_MSG_CHECKING(for $HELM_TMP_DIR) +if test ! -d $HELM_TMP_DIR; then + AC_MSG_RESULT(no) + AC_MSG_ERROR(please check your installation) +fi +AC_MSG_RESULT(ok) + +dnl Checks for GtkMathView +AC_CHECK_PROG(HAVE_GTKMATHVIEW_CONFIG, gtkmathview-config, yes, no) +if test $HAVE_GTKMATHVIEW_CONFIG = no; then + AC_MSG_ERROR(Could not find gtkmathview-config) +fi +GTKMATHVIEW_PREFIX=`gtkmathview-config --prefix` + +AC_CACHE_CHECK( + for dictionary.xml, + helm_cv_GTKMATHVIEW_DICTIONARY_PATH, + helm_cv_GTKMATHVIEW_DICTIONARY_PATH=$GTKMATHVIEW_PREFIX/share/gtkmathview/dictionary.xml + if test ! -f $helm_cv_GTKMATHVIEW_DICTIONARY_PATH; then + read helm_cv_GTKMATHVIEW_DICTIONARY_PATH + fi +) +GTKMATHVIEW_DICTIONARY_PATH=$helm_cv_GTKMATHVIEW_DICTIONARY_PATH + +AC_CACHE_CHECK( + for font-configuration.xml, + helm_cv_GTKMATHVIEW_FONT_CONFIGURATION_PATH, + helm_cv_GTKMATHVIEW_FONT_CONFIGURATION_PATH=$GTKMATHVIEW_PREFIX/share/gtkmathview/font-configuration.xml + if test ! -f $helm_cv_GTKMATHVIEW_FONT_CONFIGURATION_PATH; then + read helm_cv_GTKMATHVIEW_FONT_CONFIGURATION_PATH + fi +) +GTKMATHVIEW_FONT_CONFIGURATION_PATH=$helm_cv_GTKMATHVIEW_FONT_CONFIGURATION_PATH + +AC_CACHE_CHECK( + for t1lib configuration file, + helm_cv_GTKMATHVIEW_T1_CONFIG_FILE, + helm_cv_GTKMATHVIEW_T1_CONFIG_FILE=$GTKMATHVIEW_PREFIX/share/gtkmathview/t1.config + if test ! -f $helm_cv_GTKMATHVIEW_T1_CONFIG_FILE; then + read GTKMATHVIEW_T1_CONFIG_FILE + fi +) +GTKMATHVIEW_T1_CONFIG_FILE=$helm_cv_GTKMATHVIEW_T1_CONFIG_FILE + +HELM_DICTIONARY_PATH=$HELM_ETC_DIR/helm-dictionary.xml +HELM_FONT_CONFIGURATION_PATH=$HELM_ETC_DIR/helm-font-configuration.xml dnl Only for HELM XML configuration -CONFIGURATION_HELM_DIR=/home/pauillac/coq3/sacerdot/HELM/V6.2/examples -CONFIGURATION_DTD_DIR=/home/pauillac/coq3/sacerdot/HELM/dtd -CONFIGURATION_SERVERS_FILE=/home/pauillac/coq3/sacerdot/HELM/V6.2/servers.txt -CONFIGURATION_URIS_DBM=/home/pauillac/coq3/sacerdot/HELM/V6.2/urls_of_uris -CONFIGURATION_TMPDIR=/tmp -CONFIGURATION_GETTER_URL=http://localhost:8081/get?uri= +HELM_LIBRARY_DIR=$HELM_VAR_DIR/library +HELM_SERVERS_FILE=$HELM_VAR_DIR/servers.txt +HELM_URIS_DBM=$HELM_VAR_DIR/urls_of_uris.db +dnl CSC: FIXME: getters should download the DTDs +HELM_DTD_DIR=$HELM_SHARE_DIR/dtd +HELM_STYLE_DIR=$HELM_SHARE_DIR/style + +dnl HELM prefixes +AC_SUBST(RESOLVED_PREFIX) +AC_SUBST(RESOLVED_EXEC_PREFIX) + +dnl HELM version +AC_SUBST(PACKAGE) +AC_SUBST(VERSION) + +dnl HELM directories +AC_SUBST(HELM_BIN_DIR) AC_SUBST(HELM_LIB_DIR) AC_SUBST(HELM_ETC_DIR) +AC_SUBST(HELM_SHARE_DIR) +AC_SUBST(HELM_VAR_DIR) +AC_SUBST(HELM_TMP_DIR) + +dnl HELM download directory +AC_SUBST(HELM_LIBRARY_DIR) + +dnl HELM servers +AC_SUBST(HELM_SERVERS_FILE) + +dnl HELM URIS data-base +AC_SUBST(HELM_URIS_DBM) + +dnl HELM DTDs +AC_SUBST(HELM_DTD_DIR) + +dnl HELM stylesheets +AC_SUBST(HELM_STYLE_DIR) + +dnl HELM customized GtkMathView configuration AC_SUBST(HELM_DICTIONARY_PATH) -AC_SUBST(GTKMATHVIEW_DICTIONARY_PATH) AC_SUBST(HELM_FONT_CONFIGURATION_PATH) +AC_SUBST(GTKMATHVIEW_DICTIONARY_PATH) AC_SUBST(GTKMATHVIEW_FONT_CONFIGURATION_PATH) -AC_SUBST(HELM_T1_CONFIG_FILE) -AC_SUBST(CONFIGURATION_HELM_DIR) -AC_SUBST(CONFIGURATION_DTD_DIR) -AC_SUBST(CONFIGURATION_SERVERS_FILE) -AC_SUBST(CONFIGURATION_URIS_DBM) -AC_SUBST(CONFIGURATION_TMPDIR) -AC_SUBST(CONFIGURATION_GETTER_URL) +AC_SUBST(GTKMATHVIEW_T1_CONFIG_FILE) AC_OUTPUT( -[Makefile - lib/configuration.pl - etc/helm-math-engine-configuration.xml -]) +[ Makefile + helm-config + lib/configuration.pl + etc/helm-math-engine-configuration.xml + etc/configuration.xml + helm_configuration.spec +], chmod +x helm-config)