helm/gTopLevel/configure.ac

   1 AC_INIT(gTopLevel.ml)
   2
   3 AC_ARG_WITH(term-editor,
   4               AS_HELP_STRING([--with-term-editor=(tex|textual)],
   5                              [choose term editor (default is tex)]),
   6               [TERM_EDITOR=$withval], [TERM_EDITOR=textual])
   7 if test $TERM_EDITOR = "tex"; then
   8   CHOSEN_TERM_EDITOR="include TexTermEditor"
   9 else
  10   if test $TERM_EDITOR = "textual"; then
  11     CHOSEN_TERM_EDITOR="include TermEditor"
  12   else
  13     AC_MSG_ERROR(unknwon term editor $TERM_EDITOR)
  14   fi
  15 fi
  16
  17 AC_ARG_WITH(term-parser,
  18               AS_HELP_STRING([--with-term-parser=(cscTex|cscTextual|new)],
  19                              [choose term parser (default is new)]),
  20               [TERM_PARSER=$withval], [TERM_PARSER=new])
  21 if test $TERM_PARSER = "cscTex"; then
  22   CHOSEN_TERM_PARSER="include CSCTexDisambiguatingParser"
  23 else
  24   if test $TERM_PARSER = "cscTextual"; then
  25     CHOSEN_TERM_PARSER="include CSCTextualDisambiguatingParser"
  26   else
  27     if test $TERM_PARSER = "new"; then
  28       CHOSEN_TERM_PARSER="include AndreaAndZackDisambiguatingParser"
  29     else
  30       AC_MSG_ERROR(unknwon term parser $TERM_PARSER)
  31     fi
  32   fi
  33 fi
  34
  35 AC_ARG_WITH(transformer,
  36               AS_HELP_STRING([--with-transformer=(xslt|ocaml)],
  37                              [choose mathml transformer (default is ocaml)]),
  38               [TRANSFORMER=$withval], [TRANSFORMER=ocaml])
  39 if test $TRANSFORMER = "xslt"; then
  40   CHOSEN_TRANSFORMER="include ApplyStylesheets"
  41 else
  42   if test $TRANSFORMER = "ocaml"; then
  43     CHOSEN_TRANSFORMER="include ApplyTransformation"
  44   else
  45     AC_MSG_ERROR(unknwon transformer $TRANSFORMER)
  46   fi
  47 fi
  48
  49 AC_SUBST(CHOSEN_TERM_EDITOR)
  50 AC_SUBST(CHOSEN_TERM_PARSER)
  51 AC_SUBST(CHOSEN_TRANSFORMER)
  52
  53 AC_OUTPUT([
  54   chosenTransformer.ml
  55   chosenTermEditor.ml
  56   disambiguatingParser.ml
  57 ])
  58