ocaml 3.09 transition

[helm.git] / helm / gTopLevel / configure.ac

diff --git a/helm/gTopLevel/configure.ac b/helm/gTopLevel/configure.ac
index 2cddc9dbed4004cdcb28b09eba877e14c09bcdd2..27d1ac8df601b30f112d106cb36f7b91607b64fa 100644 (file)
--- a/helm/gTopLevel/configure.ac
+++ b/helm/gTopLevel/configure.ac
@@ -60,20 +60,6 @@ else
   fi
 fi
 
-AC_ARG_WITH(transformer,
-             AS_HELP_STRING([--with-transformer=(xslt|ocaml)],
-                            [choose mathml transformer (default is ocaml)]),
-             [TRANSFORMER=$withval], [TRANSFORMER=ocaml])
-if test $TRANSFORMER = "xslt"; then
-  CHOSEN_TRANSFORMER="include ApplyStylesheets"
-else
-  if test $TRANSFORMER = "ocaml"; then
-    CHOSEN_TRANSFORMER="include ApplyTransformation"
-  else
-    AC_MSG_ERROR(unknwon transformer $TRANSFORMER)
-  fi
-fi
-
 if test $TERM_EDITOR = "tex"; then
   CHOSEN_TERM_EDITOR="include TexTermEditor"
 else
@@ -87,10 +73,8 @@ fi
 AC_SUBST(OCAMLFIND)
 AC_SUBST(CHOSEN_TERM_EDITOR)
 AC_SUBST(CHOSEN_TERM_PARSER)
-AC_SUBST(CHOSEN_TRANSFORMER)
 
 AC_OUTPUT([
-  chosenTransformer.ml
   chosenTermEditor.ml
   disambiguatingParser.ml
   Makefile