]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtkmathview/configure.in
updated the binding so that it works well with lablgtk-1.00,
[helm.git] / helm / DEVEL / lablgtkmathview / configure.in
1 AC_INIT(gMathView.ml)
2
3 LABLGTKMATHVIEW_MAJOR_VERSION=0
4 LABLGTKMATHVIEW_MINOR_VERSION=2
5 LABLGTKMATHVIEW_MICRO_VERSION=2
6 LABLGTKMATHVIEW_VERSION=$LABLGTKMATHVIEW_MAJOR_VERSION.$LABLGTKMATHVIEW_MINOR_VERSION.$LABLGTKMATHVIEW_MICRO_VERSION
7
8 AC_CHECK_PROG(HAVE_GTKMATHVIEW, gtkmathview-config, yes, no)
9 if test $HAVE_GTKMATHVIEW = "no"; then
10   AC_MSG_ERROR(could not find gtkmathview configuration script, please make sure gtkmathview is installed)
11 fi
12
13 AC_CHECK_PROG(HAVE_OCAMLC, ocamlc, yes, no)
14 if test $HAVE_OCAMLC = "no"; then
15   AC_MSG_ERROR(could not find ocamlc in PATH, please make sure ocaml is installed)
16 fi
17
18 AC_MSG_CHECKING(for the ocaml library dir)
19 OCAML_LIB_DIR=`ocamlc -v | grep "^Standard" | sed 's/^.*: *//'`
20 AC_MSG_RESULT($OCAML_LIB_DIR)
21
22 AC_CHECK_FILE($OCAML_LIB_DIR/lablgtk/gtk.ml,
23   RES="yes"
24   LABLGTK_LIB_DIR=$OCAML_LIB_DIR/lablgtk,
25   RES="no"
26 )
27
28 if test $RES = "no"; then
29   RES=""
30   AC_CACHE_VAL(lablgtkmathview_cv_LABLGTK_LIB_DIR,
31     echo "In which directory can I find the lablgtk library? (I haven't found it in the usual location $OCAML_LIB_DIR/lablgtk)"
32     read lablgtkmathview_cv_LABLGTK_LIB_DIR
33     RES="Asked"
34   )
35   LABLGTK_LIB_DIR=$lablgtkmathview_cv_LABLGTK_LIB_DIR
36   if test "$RES" != "Asked"; then
37     LABLGTK_LIB_DIR=`eval "echo $LABLGTK_LIB_DIR"`
38   fi
39   AC_CACHE_SAVE
40 fi
41
42 AC_CHECK_FILE($OCAML_LIB_DIR/mlminidom/minidom.mli,
43   RES="yes"
44   MLMINIDOM_LIB_DIR=$OCAML_LIB_DIR/mlminidom,
45   RES="no"
46 )
47
48 if test $RES = "no"; then
49   RES=""
50   AC_CACHE_VAL(lablgtkmathview_cv_MLMINIDOM_LIB_DIR,
51     echo "In which directory can I find the mlminidom library? (I haven't found it in the usual location $OCAML_LIB_DIR/mlminidom)"
52     read lablgtkmathview_cv_MLMINIDOM_LIB_DIR
53     RES="Asked"
54   )
55   MLMINIDOM_LIB_DIR=$lablgtkmathview_cv_MLMINIDOM_LIB_DIR
56   if test "$RES" != "Asked"; then
57     MLMINIDOM_LIB_DIR=`eval "echo $MLMINIDOM_LIB_DIR"`
58   fi
59   AC_CACHE_SAVE
60 fi
61
62 AC_SUBST(LABLGTKMATHVIEW_VERSION)
63 AC_SUBST(OCAML_LIB_DIR)
64 AC_SUBST(LABLGTK_LIB_DIR)
65 AC_SUBST(MLMINIDOM_LIB_DIR)
66
67 AC_OUTPUT([
68   Makefile
69   test/Makefile
70 ])