AC_INIT(configuration.ml.in) PACKAGE=helm_gtk_interface MAJOR_VERSION=0 MINOR_VERSION=0 MICRO_VERSION=2 VERSION=$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION DEFAULT_HELM_CONFIGURATION_DIR=/usr/local/etc/helm 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 else RESOLVED_PREFIX=$ac_default_prefix fi if test "x$exec_prefix" != xNONE; then RESOLVED_EXEC_PREFIX=$exec_prefix else RESOLVED_EXEC_PREFIX=$RESOLVED_PREFIX fi dnl The following is the directory where the binary will be installed BIN_DIR=$RESOLVED_EXEC_PREFIX/bin AC_PATH_PROG(WGET_BINARY,wget,no) if test $WGET_BINARY = no; then AC_MSG_WARN(wget is required to update the database) fi AC_PATH_PROG(PERL_BINARY,perl,no) if test $PERL_BINARY = no ; then AC_MSG_ERROR(Could not find perl) fi dnl MISSING CHECKS: dnl ocaml-findlib, ocaml-netstring, ocaml-pxp, ocaml-netclient dnl Check for Ocaml AC_CHECK_PROG(HAVE_OCAMLC, ocamlc, yes, no) if test $HAVE_OCAMLC = "no"; then AC_MSG_ERROR(could not find ocamlc in PATH, please make sure ocaml is installed) fi dnl Check for the Ocaml library dir AC_MSG_CHECKING(for the ocaml library dir) OCAML_ROOT=`ocamlc -v | grep "^Standard" | sed 's/^.*: *//'` AC_MSG_RESULT($OCAML_ROOT) DEFAULT_MLMINIDOM_LIB_DIR=$OCAML_ROOT/mlminidom DEFAULT_LABLGTK_LIB_DIR=$OCAML_ROOT/lablgtk DEFAULT_LABLGTKMATHVIEW_LIB_DIR=$OCAML_ROOT/lablgtkmathview dnl Check for mlminidom DEFAULTS=$USE_DEFAULTS if test $DEFAULTS = auto; then if test -f $DEFAULT_MLMINIDOM_LIB_DIR/minidom.mli; then MLMINIDOM_LIB_DIR=$DEFAULT_MLMINIDOM_LIB_DIR else DEFAULTS=no fi fi if test $DEFAULTS = no; then echo echo "Where can I find the mlminidom library?" echo echo -n "[[$DEFAULT_MLMINIDOM_LIB_DIR]] ? " echo read MLMINIDOM_LIB_DIR if test "x$MLMINIDOM_LIB_DIR" = x; then MLMINIDOM_LIB_DIR=$DEFAULT_MLMINIDOM_LIB_DIR fi elif test $DEFAULTS = yes; then MLMINIDOM_LIB_DIR=$DEFAULT_MLMINIDOM_LIB_DIR fi AC_MSG_CHECKING(for $MLMINIDOM_LIB_DIR/minidom.mli) if test ! -f $MLMINIDOM_LIB_DIR/minidom.mli; then AC_MSG_RESULT(no) AC_MSG_ERROR(please check your installation) fi AC_MSG_RESULT(ok) dnl Check for lablgtk DEFAULTS=$USE_DEFAULTS if test $DEFAULTS = auto; then if test -f $DEFAULT_LABLGTK_LIB_DIR/gtk.ml; then LABLGTK_LIB_DIR=$DEFAULT_LABLGTK_LIB_DIR else DEFAULTS=no fi fi if test $DEFAULTS = no; then echo echo "Where can I find the lablgtk library?" echo echo -n "[[$DEFAULT_LABLGTK_LIB_DIR]] ? " read LABLGTK_LIB_DIR echo if test "x$LABLGTK_LIB_DIR" = x; then LABLGTK_LIB_DIR=$DEFAULT_LABLGTK_LIB_DIR fi elif test $DEFAULTS = yes; then LABLGTK_LIB_DIR=$DEFAULT_LABLGTK_LIB_DIR fi AC_MSG_CHECKING(for $LABLGTK_LIB_DIR/gtk.ml) if test ! -f $LABLGTK_LIB_DIR/gtk.ml; then AC_MSG_RESULT(no) AC_MSG_ERROR(please check your installation) fi AC_MSG_RESULT(ok) dnl Check for lablgtkmathview DEFAULTS=$USE_DEFAULTS if test $DEFAULTS = auto; then if test -f $DEFAULT_LABLGTKMATHVIEW_LIB_DIR/gMathView.ml; then LABLGTKMATHVIEW_LIB_DIR=$DEFAULT_LABLGTKMATHVIEW_LIB_DIR else DEFAULTS=no fi fi if test $DEFAULTS = no; then echo echo "Where can I find the lablgtkmathview library?" echo echo -n "[[$DEFAULT_LABLGTKMATHVIEW_LIB_DIR]] ? " read LABLGTKMATHVIEW_LIB_DIR echo if test "x$LABLGTKMATHVIEW_LIB_DIR" = x; then LABLGTKMATHVIEW_LIB_DIR=$DEFAULT_LABLGTKMATHVIEW_LIB_DIR fi elif test $DEFAULTS = yes; then LABLGTKMATHVIEW_LIB_DIR=$DEFAULT_LABLGTKMATHVIEW_LIB_DIR fi AC_MSG_CHECKING(for $LABLGTKMATHVIEW_LIB_DIR/gMathView.ml) if test ! -f $LABLGTKMATHVIEW_LIB_DIR/gMathView.ml; then AC_MSG_RESULT(no) AC_MSG_ERROR(please check your installation) fi AC_MSG_RESULT(ok) dnl Check for HELM DEFAULTS=$USE_DEFAULTS if test $DEFAULTS = auto; then AC_CHECK_PROG(HAVE_HELM_CONFIG, helm-config, yes, no) if test $HAVE_HELM_CONFIG = yes; then HELM_CONFIGURATION_DIR=`helm-config --etc-dir` else DEFAULTS=no fi fi if test $DEFAULTS = no; then echo echo "\`helm-config' is not installed (or I can't find it in your path)." echo "Please, insert the directory where I can find the configuration" echo "files for HELM (configuration.xml in particular)..." echo echo -n "[[$DEFAULT_HELM_CONFIGURATION_DIR]] ? " read HELM_CONFIGURATION_DIR echo if test "x$HELM_CONFIGURATION_DIR" = "x"; then HELM_CONFIGURATION_DIR=$DEFAULT_HELM_CONFIGURATION_DIR fi elif test $DEFAULTS = yes; then HELM_CONFIGURATION_DIR=$DEFAULT_HELM_CONFIGURATION_DIR fi AC_MSG_CHECKING(for configuration.xml) if test -f $HELM_CONFIGURATION_DIR/configuration.xml; then AC_MSG_RESULT(ok) else AC_MSG_RESULT(no) AC_MSG_ERROR(please check your installation) fi AC_SUBST(PACKAGE) AC_SUBST(VERSION) AC_SUBST(OCAML_ROOT) AC_SUBST(MLMINIDOM_LIB_DIR) AC_SUBST(LABLGTK_LIB_DIR) AC_SUBST(LABLGTKMATHVIEW_LIB_DIR) AC_SUBST(BIN_DIR) AC_SUBST(HELM_CONFIGURATION_DIR) AC_SUBST(PERL_BINARY) AC_OUTPUT([ Makefile configuration.ml helm_wget helm_gtk_interface.spec ], chmod +x helm_wget )