From 52bf79cb7744fba507ed24053ff6c74d4759ab81 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 10 Sep 2002 14:14:03 +0000
Subject: [PATCH] new mathql interpreter

---
 helm/ocaml/mathql_interpreter/.depend  | 40 ++------------------------
 helm/ocaml/mathql_interpreter/Makefile | 12 ++++----
 2 files changed, 7 insertions(+), 45 deletions(-)

diff --git a/helm/ocaml/mathql_interpreter/.depend b/helm/ocaml/mathql_interpreter/.depend
index fd3aadd14..462e69e87 100644
--- a/helm/ocaml/mathql_interpreter/.depend
+++ b/helm/ocaml/mathql_interpreter/.depend
@@ -1,38 +1,2 @@
-diff.cmi: mathql_semantics.cmo 
-sortedby.cmi: mathql_semantics.cmo 
-select.cmi: mathql_semantics.cmo 
-intersect.cmi: mathql_semantics.cmo 
-union.cmi: mathql_semantics.cmo 
-pattern.cmi: mathql_semantics.cmo 
-use.cmi: mathql_semantics.cmo 
-letin.cmi: mathql_semantics.cmo 
-dbconn.cmo: dbconn.cmi 
-dbconn.cmx: dbconn.cmi 
-eval.cmo: eval.cmi 
-eval.cmx: eval.cmi 
-utility.cmo: dbconn.cmi utility.cmi 
-utility.cmx: dbconn.cmx utility.cmi 
-func.cmo: dbconn.cmi utility.cmi func.cmi 
-func.cmx: dbconn.cmx utility.cmx func.cmi 
-diff.cmo: mathql_semantics.cmo diff.cmi 
-diff.cmx: mathql_semantics.cmx diff.cmi 
-sortedby.cmo: func.cmi mathql_semantics.cmo utility.cmi sortedby.cmi 
-sortedby.cmx: func.cmx mathql_semantics.cmx utility.cmx sortedby.cmi 
-select.cmo: func.cmi mathql_semantics.cmo utility.cmi select.cmi 
-select.cmx: func.cmx mathql_semantics.cmx utility.cmx select.cmi 
-intersect.cmo: mathql_semantics.cmo intersect.cmi 
-intersect.cmx: mathql_semantics.cmx intersect.cmi 
-union.cmo: mathql_semantics.cmo union.cmi 
-union.cmx: mathql_semantics.cmx union.cmi 
-pattern.cmo: dbconn.cmi eval.cmi mathql_semantics.cmo utility.cmi pattern.cmi 
-pattern.cmx: dbconn.cmx eval.cmx mathql_semantics.cmx utility.cmx pattern.cmi 
-use.cmo: dbconn.cmi mathql_semantics.cmo utility.cmi use.cmi 
-use.cmx: dbconn.cmx mathql_semantics.cmx utility.cmx use.cmi 
-letin.cmo: letin.cmi 
-letin.cmx: letin.cmi 
-mqint.cmo: dbconn.cmi diff.cmi eval.cmi intersect.cmi letin.cmi \
-    mathql_semantics.cmo pattern.cmi select.cmi sortedby.cmi union.cmi \
-    use.cmi utility.cmi mqint.cmi 
-mqint.cmx: dbconn.cmx diff.cmx eval.cmx intersect.cmx letin.cmx \
-    mathql_semantics.cmx pattern.cmx select.cmx sortedby.cmx union.cmx \
-    use.cmx utility.cmx mqint.cmi 
+mqint.cmo: mqint.cmi 
+mqint.cmx: mqint.cmi 
diff --git a/helm/ocaml/mathql_interpreter/Makefile b/helm/ocaml/mathql_interpreter/Makefile
index 290258d17..a85693fe8 100644
--- a/helm/ocaml/mathql_interpreter/Makefile
+++ b/helm/ocaml/mathql_interpreter/Makefile
@@ -2,16 +2,14 @@ PACKAGE = mathql_interpreter
 REQUIRES = helm-urimanager postgres unix helm-mathql
 PREDICATES =
 
-INTERFACE_FILES = dbconn.mli eval.mli utility.mli func.mli diff.mli \
-	          sortedby.mli select.mli intersect.mli union.mli \
-		  pattern.mli use.mli letin.mli mqint.mli
+INTERFACE_FILES = mqint.mli
 
-IMPLEMENTATION_FILES = mathql_semantics.ml \
-                       $(INTERFACE_FILES:%.mli=%.ml)
+IMPLEMENTATION_FILES = mqint.ml
 
-EXTRA_OBJECTS_TO_INSTALL = mathql_semantics.ml mathql_semantics.cmi
+# $(INTERFACE_FILES:%.mli=%.ml)
 
-EXTRA_OBJECTS_TO_CLEAN =
+EXTRA_OBJECTS_TO_INSTALL = 
 
+EXTRA_OBJECTS_TO_CLEAN =
 
 include ../Makefile.common
-- 
2.39.2