X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=depend;h=bd0968afc5d6b830cb5dc871c007f4ce3bad30b1;hb=0c2338bfcdae0df1c68112a10247dc4e68a483ff;hp=8cdff3e82f27260ae4864beb9a32e17da8c2d38d;hpb=09870a49122b3d7048422818dbb0a038513b4d14;p=SXSI%2Fxpathcomp.git diff --git a/depend b/depend index 8cdff3e..bd0968a 100644 --- a/depend +++ b/depend @@ -1,41 +1,46 @@ memory.cmo: memory.cmi memory.cmx: memory.cmi +uid.cmo: uid.cmi +uid.cmx: uid.cmi custom.cmo: sigs.cmi custom.cmx: sigs.cmi -memoizer.cmo: memoizer.cmi -memoizer.cmx: memoizer.cmi -hcons.cmo: hcons.cmi -hcons.cmx: hcons.cmi -ptset.cmo: hcons.cmi ptset.cmi -ptset.cmx: hcons.cmx ptset.cmi -finiteCofinite.cmo: sigs.cmi finiteCofinite.cmi -finiteCofinite.cmx: sigs.cmi finiteCofinite.cmi +hcons.cmo: uid.cmi hcons.cmi +hcons.cmx: uid.cmx hcons.cmi +hlist.cmo: uid.cmi hcons.cmi hlist.cmi +hlist.cmx: uid.cmx hcons.cmx hlist.cmi +ptset.cmo: uid.cmi hcons.cmi ptset.cmi +ptset.cmx: uid.cmx hcons.cmx ptset.cmi +finiteCofinite.cmo: uid.cmi ptset.cmi hcons.cmi finiteCofinite.cmi +finiteCofinite.cmx: uid.cmx ptset.cmx hcons.cmx finiteCofinite.cmi tag.cmo: tag.cmi tag.cmx: tag.cmi tagSet.cmo: tag.cmi ptset.cmi finiteCofinite.cmi tagSet.cmi tagSet.cmx: tag.cmx ptset.cmx finiteCofinite.cmx tagSet.cmi options.cmo: options.cmi options.cmx: options.cmi -tree.cmo: tag.cmi ptset.cmi options.cmi tree.cmi -tree.cmx: tag.cmx ptset.cmx options.cmx tree.cmi -ata.cmo: tree.cmi tagSet.cmi tag.cmi sigs.cmi ptset.cmi hcons.cmi ata.cmi -ata.cmx: tree.cmx tagSet.cmx tag.cmx sigs.cmi ptset.cmx hcons.cmx ata.cmi +tree.cmo: uid.cmi tag.cmi ptset.cmi options.cmi tree.cmi +tree.cmx: uid.cmx tag.cmx ptset.cmx options.cmx tree.cmi +ata.cmo: uid.cmi tree.cmi tagSet.cmi tag.cmi sigs.cmi ptset.cmi hlist.cmi \ + hcons.cmi ata.cmi +ata.cmx: uid.cmx tree.cmx tagSet.cmx tag.cmx sigs.cmi ptset.cmx hlist.cmx \ + hcons.cmx ata.cmi ulexer.cmo: ulexer.cmi ulexer.cmx: ulexer.cmi -xPath.cmo: ulexer.cmi tagSet.cmi tag.cmi ptset.cmi ata.cmi xPath.cmi -xPath.cmx: ulexer.cmx tagSet.cmx tag.cmx ptset.cmx ata.cmx xPath.cmi +xPath.cmo: ulexer.cmi tagSet.cmi tag.cmi ata.cmi xPath.cmi +xPath.cmx: ulexer.cmx tagSet.cmx tag.cmx ata.cmx xPath.cmi main.cmo: xPath.cmi ulexer.cmi tree.cmi tag.cmi options.cmi ata.cmi main.cmx: xPath.cmx ulexer.cmx tree.cmx tag.cmx options.cmx ata.cmx memory.cmi: +uid.cmi: sigs.cmi: -memoizer.cmi: -hcons.cmi: -ptset.cmi: hcons.cmi -finiteCofinite.cmi: sigs.cmi +hcons.cmi: uid.cmi +hlist.cmi: uid.cmi hcons.cmi +ptset.cmi: uid.cmi hcons.cmi +finiteCofinite.cmi: uid.cmi ptset.cmi tag.cmi: tagSet.cmi: tag.cmi ptset.cmi finiteCofinite.cmi options.cmi: tree.cmi: tag.cmi ptset.cmi -ata.cmi: tree.cmi tagSet.cmi tag.cmi sigs.cmi ptset.cmi +ata.cmi: uid.cmi tree.cmi tagSet.cmi tag.cmi sigs.cmi ptset.cmi hlist.cmi ulexer.cmi: -xPath.cmi: tagSet.cmi tag.cmi ptset.cmi ata.cmi +xPath.cmi: tagSet.cmi tag.cmi ata.cmi