mathql_interpreter: natile-galax package removed from Makefie and META

mathql_generator  : MQueryLevels2.ml patched (namespaces removed from sorts)

diff --git a/helm/ocaml/META.helm-mathql_interpreter.src b/helm/ocaml/META.helm-mathql_interpreter.src
index 1806188c36d676dce6fa65c8e03aabaf27fdfa34..24a19295683931053baa5c25e586d1f62f12b3d3 100644 (file)
--- a/helm/ocaml/META.helm-mathql_interpreter.src
+++ b/helm/ocaml/META.helm-mathql_interpreter.src
@@ -1,4 +1,5 @@
-requires="helm-cic helm-cic_textual_parser postgres natile-galax helm-mathql"
+requires="helm-cic helm-cic_textual_parser postgres helm-mathql"
+#natile-galax 
 version="1.3"
 archive(byte)="mathql_interpreter.cma"
 archive(native)="mathql_interpreter.cmxa"

diff --git a/helm/ocaml/mathql_generator/mQueryLevels2.ml b/helm/ocaml/mathql_generator/mQueryLevels2.ml
index 968d2a35e8d6439c65c0549bc35d7f58c372f383..d9e9e5359276095df3633f055abe48c507daaa6b 100644 (file)
--- a/helm/ocaml/mathql_generator/mQueryLevels2.ml
+++ b/helm/ocaml/mathql_generator/mQueryLevels2.ml
@@ -87,12 +87,9 @@ let get_constraints term =
          | Branch _ ->
             let s' =
              match s with
-                Cic.Prop ->
-                 "http://www.cs.unibo.it/helm/schemas/schema-helm#Prop"
-              | Cic.Set ->
-                 "http://www.cs.unibo.it/helm/schemas/schema-helm#Set"
-              | Cic.Type ->
-                 "http://www.cs.unibo.it/helm/schemas/schema-helm#Type"
+                Cic.Prop -> "Prop"
+              | Cic.Set -> "Set"
+              | Cic.Type -> "Type"
             in
              let kind',depth = !!kind in
               (match depth with

diff --git a/helm/ocaml/mathql_interpreter/Makefile b/helm/ocaml/mathql_interpreter/Makefile
index 929f149e1c7d65964a1be2af441bcb5f8eb16366..18fcd5512029218e9b916d5714c8e15e3fcb340e 100644 (file)
--- a/helm/ocaml/mathql_interpreter/Makefile
+++ b/helm/ocaml/mathql_interpreter/Makefile
@@ -1,6 +1,6 @@
 PACKAGE = mathql_interpreter
-REQUIRES = helm-cic helm-cic_textual_parser \
-          postgres natile-galax helm-mathql
+REQUIRES = helm-cic helm-cic_textual_parser helm-mathql postgres
+#natile-galax 
 
 PREDICATES =