X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=Makefile;h=75a39221b689bf261df0858dbbd351e9429cd6df;hb=eebef30070a951d852ce5811b289d8131a5300eb;hp=63c78f5a63e2bbdc853415e01a5dd7224fdd4378;hpb=c10ce35cd399aff15a49f3b24a31b38cb2191da0;p=SXSI%2Fxpathcomp.git

diff --git a/Makefile b/Makefile
index 63c78f5..75a3922 100644
--- a/Makefile
+++ b/Makefile
@@ -2,8 +2,8 @@ DEBUG=false
 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)