PACKAGE = mathql
-REQUIRES = helm-urimanager
+# REQUIRES = helm-urimanager
PREDICATES =
INTERFACE_FILES = mQueryTParser.mli mQueryUtil.mli
mQueryTLexer.mll mQueryTParser.mly
EXTRA_OBJECTS_TO_CLEAN = mQueryTParser.ml mQueryTParser.mli \
- mQueryTLexer.ml
+ mQueryTLexer.ml
include ../Makefile.common