AC_INIT(configuration.ml.in)
+PACKAGE=helm_gtk_interface
+MAJOR_VERSION=0
+MINOR_VERSION=0
+MICRO_VERSION=1
+VERSION=$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION
+
if test "x$prefix" != xNONE; then
RESOLVED_PREFIX=$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
dnl MISSING CHECKS:
dnl ocaml, ocaml-findlib, ocaml-netstring, ocaml-pxp, lablgtk_20001129
AC_MSG_RESULT($OCAML_ROOT)
dnl Check for mlminidom
-RES="yes"
AC_CHECK_FILE($OCAML_ROOT/mlminidom/minidom.mli,
+ RES="yes"
MLMINIDOM_LIB_DIR=$OCAML_ROOT/mlminidom,
RES="no"
)
if test $RES = "no"; then
- RES=""
- AC_CACHE_VAL(lablgtkmathview_cv_MLMINIDOM_LIB_DIR,
- echo "In which directory can I find the mlminidom library? (I haven't found it in the usual location $OCAML_ROOT/mlminidom)"
- read lablgtkmathview_cv_MLMINIDOM_LIB_DIR
- RES="Asked"
+ echo
+ echo "It seems that mlminidom isn't installed in the default directory"
+ echo "$OCAML_ROOT/mlminidom. Where can I find it?"
+ echo
+ AC_CACHE_VAL(mmlinterface_cv_MLMINIDOM_LIB_DIR,
+ read mmlinterface_cv_MLMINIDOM_LIB_DIR
)
- MLMINIDOM_LIB_DIR=$lablgtkmathview_cv_MLMINIDOM_LIB_DIR
- if test "$RES" != "Asked"; then
- MLMINIDOM_LIB_DIR=`eval "echo $MLMINIDOM_LIB_DIR"`
- fi
- AC_CACHE_SAVE
+ MLMINIDOM_LIB_DIR=$mmlinterface_cv_MLMINIDOM_LIB_DIR
fi
dnl Check for lablgtk
-RES="yes"
AC_CHECK_FILE($OCAML_ROOT/lablgtk/gtk.ml,
+ RES="yes"
LABLGTK_LIB_DIR=$OCAML_ROOT/lablgtk,
RES="no"
)
if test $RES = "no"; then
- RES=""
+ echo
+ echo "It seems that lablgtk isn't installed in the default directory"
+ echo "$OCAML_ROOT/lablgtk. Where can I find it?"
+ echo
AC_CACHE_VAL(mmlinterface_cv_LABLGTK_LIB_DIR,
- echo "In which directory can I find the lablgtk library? (I haven't found it in the usual location $OCAML_ROOT/lablgtk)"
read mmlinterface_cv_LABLGTK_LIB_DIR
- RES="Asked"
)
LABLGTK_LIB_DIR=$mmlinterface_cv_LABLGTK_LIB_DIR
- if test "$RES" != "Asked"; then
- LABLGTK_LIB_DIR=`eval "echo $LABLGTK_LIB_DIR"`
- fi
- AC_CACHE_SAVE
fi
dnl Check for lablgtkmathview
-RES="yes"
AC_CHECK_FILE($OCAML_ROOT/lablgtkmathview/gtkMathView.ml,
+ RES="yes"
LABLGTKMATHVIEW_LIB_DIR=$OCAML_ROOT/lablgtkmathview,
RES="no"
)
if test $RES = "no"; then
- RES=""
+ echo
+ echo "It seems that lablgtkmathview isn't installed in the default directory"
+ echo "$OCAML_ROOT/lablgtkmathview. Where can I find it?"
+ echo
AC_CACHE_VAL(mmlinterface_cv_LABLGTKMATHVIEW_LIB_DIR,
- echo "In which directory can I find the lablgtkmathview library? (I haven't found it in the usual location $OCAML_ROOT/lablgtkmathview)"
read mmlinterface_cv_LABLGTKMATHVIEW_LIB_DIR
- RES="Asked"
)
LABLGTKMATHVIEW_LIB_DIR=$mmlinterface_cv_LABLGTKMATHVIEW_LIB_DIR
- if test "$RES" != "Asked"; then
- LABLGTKMATHVIEW_LIB_DIR=`eval "echo $LABLGTKMATHVIEW_LIB_DIR"`
- fi
- AC_CACHE_SAVE
fi
-AC_MSG_CHECKING("for the bin dir")
-HELM_BIN_DIR=$RESOLVED_EXEC_PREFIX/bin
-AC_MSG_RESULT($HELM_BIN_DIR)
-
-AC_MSG_CHECKING("for the helm configuration dir")
-RES=""
-AC_CACHE_VAL(helm_cv_HELM_DEFAULT_CONFIGURATION_DIR,
- echo "In which directory can I find configuration.xml (part of the helm_configuration package)?"
- read helm_cv_HELM_DEFAULT_CONFIGURATION_DIR
- RES="Asked"
-)
-HELM_DEFAULT_CONFIGURATION_DIR=$helm_cv_HELM_DEFAULT_CONFIGURATION_DIR
-if test "$RES" != "Asked" ; then
- HELM_DEFAULT_CONFIGURATION_DIR=`eval "echo $HELM_DEFAULT_CONFIGURATION_DIR"`
- AC_MSG_RESULT($HELM_DEFAULT_CONFIGURATION_DIR)
+dnl Check for HELM
+AC_CHECK_PROG(HAVE_HELM_CONFIG, helm-config, yes, no)
+if test $HAVE_HELM_CONFIG = "no"; then
+ AC_MSG_ERROR(Could not find helm-config)
fi
-AC_CACHE_SAVE
-AC_PATH_PROG(PERL_BINARY,perl,no)
-if test $PERL_BINARY = no ; then
- AC_MSG_ERROR(Could not find perl)
-fi
+HELM_DEFAULT_CONFIGURATION_DIR=`helm-config --etc-dir`
+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(HELM_BIN_DIR)
+AC_SUBST(BIN_DIR)
AC_SUBST(HELM_DEFAULT_CONFIGURATION_DIR)
AC_SUBST(PERL_BINARY)
-AC_OUTPUT([Makefile configuration.ml helm_wget], chmod +x helm_wget)
+AC_OUTPUT([
+ Makefile
+ configuration.ml
+ helm_wget
+ helm_gtk_interface.spec
+],
+ chmod +x helm_wget
+)
+++ /dev/null
-Summary: The gtk interface for the library of project HELM
-Name: helm_gtk_interface
-Version: 0.0.1
-Release: 1
-Copyright: GPL
-URL: http://www.cs.unibo.it/helm
-Packager: Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
-Requires: helm_configuration = 0.0.1, helm_data = 0.0.1, helm_http_getter = 0.0.1, helm_xsltd = 0.0.1, ocaml >= 3.00, ocaml-findlib, ocaml-netstring, ocaml-pxp, lablgtk_20001129, lablgtk-20001129_gtkmathview
-Group: Applications/Publishing
-Source: www.cs.unibo.it:/~lpadovan/mml-widget/helm_gtk_interface-0.0.1-1.tar.gz
-%description
-HELM (Hypertextual Electronic Library of Mathematics) is a project aimed
-at the creation of tools for the development and exploitation of a huge
-distributed library of formal mathematical knowledge. This package holds
-a gtk interface to the library.
-For more information see http://www.cs.unibo.it/helm
-
-%prep
-%setup
-
-%build
-cp config.cache.pkg config.cache
-./configure
-
-%install
-make
-make opt
-make install
-
-%files
-%doc AUTHORS COPYING ChangeLog NEWS README
-%attr(755,root,root) /usr/local/bin/mmlinterface
-%attr(755,root,root) /usr/local/bin/mmlinterface.opt
--- /dev/null
+Summary: The gtk interface for the library of project HELM
+Name: @PACKAGE@
+Version: @VERSION@
+Release: 1
+Copyright: GPL
+URL: http://www.cs.unibo.it/helm
+Packager: Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
+Requires: helm_configuration = 0.0.1, helm_data = 0.0.1, helm_http_getter = 0.0.1, helm_xsltd = 0.0.1, ocaml >= 3.00, ocaml-findlib, ocaml-netstring, ocaml-pxp, lablgtk_20001129, lablgtk-20001129_gtkmathview
+Group: Applications/Publishing
+Source: www.cs.unibo.it:/helm/@PACKAGE@-@VERSION@.tar.gz
+%description
+HELM (Hypertextual Electronic Library of Mathematics) is a project aimed
+at the creation of tools for the development and exploitation of a huge
+distributed library of formal mathematical knowledge. This package holds
+a gtk interface to the library.
+For more information see http://www.cs.unibo.it/helm
+
+%prep
+%setup
+
+%build
+cp config.cache.pkg config.cache
+./configure
+make
+
+%install
+make opt
+make install
+
+%files
+%doc AUTHORS COPYING ChangeLog NEWS README
+%attr(755,root,root) /usr/local/bin/mmlinterface
+%attr(755,root,root) /usr/local/bin/mmlinterface.opt
projects / helm.git / commitdiff