3 AC_CHECK_PROG(HAVE_OCAMLC, ocamlc, yes, no)
4 if test $HAVE_OCAMLC = "no"; then
5 AC_MSG_ERROR(could not find ocamlc in PATH, please make sure ocaml is installed)
8 AC_CHECK_PROG(HAVE_OCAMLFIND, ocamlfind, yes, no)
9 if test $HAVE_OCAMLFIND = "no"; then
10 AC_MSG_ERROR(could not find ocamlfind in PATH, please make sure findlib is installed)
13 AC_ARG_WITH(term-editor,
14 AS_HELP_STRING([--with-term-editor=(tex|textual)],
15 [choose term editor (default is tex)]),
16 [TERM_EDITOR=$withval], [TERM_EDITOR=tex])
17 if test $TERM_EDITOR = "tex"; then
18 CHOSEN_TERM_EDITOR="include TexTermEditor"
20 if test $TERM_EDITOR = "textual"; then
21 CHOSEN_TERM_EDITOR="include TermEditor"
23 AC_MSG_ERROR(unknwon term editor $TERM_EDITOR)
27 AC_ARG_WITH(term-parser,
28 AS_HELP_STRING([--with-term-parser=(cscTex|cscTextual|new)],
29 [choose term parser (default is new)]),
30 [TERM_PARSER=$withval], [TERM_PARSER=new])
31 if test $TERM_PARSER = "cscTex"; then
32 CHOSEN_TERM_PARSER="include CSCTexDisambiguatingParser"
34 if test $TERM_PARSER = "cscTextual"; then
35 CHOSEN_TERM_PARSER="include CSCTextualDisambiguatingParser"
37 if test $TERM_PARSER = "new"; then
38 CHOSEN_TERM_PARSER="include AndreaAndZackDisambiguatingParser"
40 AC_MSG_ERROR(unknwon term parser $TERM_PARSER)
45 AC_ARG_WITH(transformer,
46 AS_HELP_STRING([--with-transformer=(xslt|ocaml)],
47 [choose mathml transformer (default is ocaml)]),
48 [TRANSFORMER=$withval], [TRANSFORMER=ocaml])
49 if test $TRANSFORMER = "xslt"; then
50 CHOSEN_TRANSFORMER="include ApplyStylesheets"
52 if test $TRANSFORMER = "ocaml"; then
53 CHOSEN_TRANSFORMER="include ApplyTransformation"
55 AC_MSG_ERROR(unknwon transformer $TRANSFORMER)
59 AC_MSG_CHECKING("where to install the library")
60 OCAMLFIND_DEST_DIR="/public/sacerdot/prova"
61 AC_MSG_RESULT($OCAMLFIND_DEST_DIR)
63 AC_MSG_CHECKING("where to install the META files")
64 OCAMLFIND_META_DIR="/public/sacerdot/prova/META"
65 AC_MSG_RESULT($OCAMLFIND_META_DIR)
67 AC_SUBST(OCAMLFIND_DEST_DIR)
68 AC_SUBST(OCAMLFIND_META_DIR)
69 AC_SUBST(CHOSEN_TERM_EDITOR)
70 AC_SUBST(CHOSEN_TERM_PARSER)
71 AC_SUBST(CHOSEN_TRANSFORMER)
76 ../gTopLevel/chosenTransformer.ml
77 ../gTopLevel/chosenTermEditor.ml
78 ../gTopLevel/disambiguatingParser.ml