PROFILE=true
VERBOSE=false
-MLSRCS = memory.ml tag.ml tagSet.ml tree.ml automaton.ml ulexer.ml xPath.ml main.ml
-MLISRCS = memory.mli automaton.mli tag.mli tagSet.mli tree.mli ulexer.mli xPath.mli
+MLSRCS = memory.ml tag.ml tagSet.ml options.ml tree.ml automaton.ml ulexer.ml xPath.ml main.ml
+MLISRCS = memory.mli options.mli automaton.mli tag.mli tagSet.mli tree.mli ulexer.mli xPath.mli
MLOBJS = $(MLSRCS:.ml=.cmx)
MLCINT = $(MLISRCS:.mli=.cmi)