PREDICATES =
-INTERFACE_FILES = mQueryUtil.mli
+INTERFACE_FILES = mQueryUtil.mli listAvs.mli avsUtil.mli
-IMPLEMENTATION_FILES = mathQL.ml mQueryUtil.ml
+IMPLEMENTATION_FILES = mQueryUtil.ml avs.ml listAvs.ml mathQL.ml avsUtil.ml
-EXTRA_OBJECTS_TO_INSTALL = mathQL.ml mathQL.cmi
+EXTRA_OBJECTS_TO_INSTALL = avs.ml avs.cmi mathQL.ml mathQL.cmi
EXTRA_OBJECTS_TO_CLEAN =