From c6d966bbc276fb0d3bb36ef2945c7bfa31a5ff1b Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 19 Apr 2004 12:12:16 +0000
Subject: [PATCH] added Makefile.in

---
 helm/gTopLevel/{Makefile => Makefile.in} |  8 ++++----
 helm/gTopLevel/configure.ac              | 11 +++++++++++
 2 files changed, 15 insertions(+), 4 deletions(-)
 rename helm/gTopLevel/{Makefile => Makefile.in} (98%)

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile.in
similarity index 98%
rename from helm/gTopLevel/Makefile
rename to helm/gTopLevel/Makefile.in
index ebf8eeda5..402813f91 100644
--- a/helm/gTopLevel/Makefile
+++ b/helm/gTopLevel/Makefile.in
@@ -1,4 +1,5 @@
 BIN_DIR = /usr/local/bin
+
 TEST_REQUIRES = \
 	helm-registry \
 	helm-mathql_interpreter \
@@ -10,10 +11,9 @@ TEST_REQUIRES = \
 	helm-tex_cic_textual_parser \
 	mathml-editor \
 	lablgtkmathview
-REQUIRES = \
-	$(TEST_REQUIRES) \
-	gdome2-xslt \
-	hbugs-client
+
+REQUIRES = $(TEST_REQUIRES) gdome2-xslt helm-hbugs
+
 PREDICATES = "gnome,init,glade"
 OCAMLOPTIONS = \
 	-package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o -thread
diff --git a/helm/gTopLevel/configure.ac b/helm/gTopLevel/configure.ac
index aaa661e0a..fa5e40341 100644
--- a/helm/gTopLevel/configure.ac
+++ b/helm/gTopLevel/configure.ac
@@ -46,6 +46,16 @@ else
   fi
 fi
 
+if test $TERM_EDITOR = "tex"; then
+  CHOSEN_TERM_EDITOR="include TexTermEditor"
+else
+  if test $TERM_EDITOR = "textual"; then
+    CHOSEN_TERM_EDITOR="include TermEditor"
+  else
+    AC_MSG_ERROR(unknwon term editor $TERM_EDITOR)
+  fi
+fi
+
 AC_SUBST(CHOSEN_TERM_EDITOR)
 AC_SUBST(CHOSEN_TERM_PARSER)
 AC_SUBST(CHOSEN_TRANSFORMER)
@@ -54,5 +64,6 @@ AC_OUTPUT([
   chosenTransformer.ml
   chosenTermEditor.ml
   disambiguatingParser.ml
+  Makefile
 ])
 
-- 
2.39.2