Merge branch 'local-ocamlbuild' into local-trunk
authorkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Fri, 9 Sep 2011 15:43:02 +0000 (15:43 +0000)
committerkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Fri, 9 Sep 2011 15:43:02 +0000 (15:43 +0000)
commit4b52da1a20a4fe031930bb96d2ca46bec06dc529
tree80f48a35ada2eff69012d67c9072e34defdce965
parenta223af3254fb51c279cfbccdc18c59484fdca74e
Merge branch 'local-ocamlbuild' into local-trunk

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1113 3cdefd35-fc62-479d-8e8d-bae585ffb9ca
150 files changed:
.gitignore
Makefile [deleted file]
OCamlDriver.cpp [deleted file]
Utils.h [deleted file]
XMLDocShredder.cpp [deleted file]
XMLDocShredder.h [deleted file]
ata.ml [deleted file]
ata.mli [deleted file]
benchmark/Makefile [deleted file]
benchmark/benchmark.ml [deleted file]
benchmark/benchmark.mli [deleted file]
benchmark/config.ml.in [deleted file]
benchmark/depend [deleted file]
benchmark/main.ml [deleted file]
build [new file with mode: 0755]
configure [new file with mode: 0755]
custom.ml [deleted file]
debug.ml [deleted file]
depend [deleted file]
finiteCofinite.ml [deleted file]
finiteCofinite.mli [deleted file]
hcons.ml [deleted file]
hcons.mli [deleted file]
hlist.ml [deleted file]
hlist.mli [deleted file]
html_trace.ml [deleted file]
include/debug.ml [new file with mode: 0644]
include/utils.ml [new file with mode: 0644]
include/utils32.ml [new file with mode: 0644]
include/utils64.ml [new file with mode: 0644]
main.ml [deleted file]
memory.ml [deleted file]
memory.mli [deleted file]
myTimeXMLTree.cpp [deleted file]
myocamlbuild.ml [new file with mode: 0644]
myocamlbuild_config.ml.in [new file with mode: 0644]
options.ml [deleted file]
options.mli [deleted file]
ptset.ml [deleted file]
ptset.mli [deleted file]
results.c [deleted file]
results.h [deleted file]
sigs.mli [deleted file]
src/OCamlDriver.cpp [new file with mode: 0644]
src/Utils.h [new file with mode: 0644]
src/XMLDocShredder.cpp [new file with mode: 0644]
src/XMLDocShredder.h [new file with mode: 0644]
src/ata.ml [new file with mode: 0644]
src/ata.mli [new file with mode: 0644]
src/cache.ml [new file with mode: 0644]
src/cache.mli [new file with mode: 0644]
src/compile.ml [new file with mode: 0644]
src/compile.mli [new file with mode: 0644]
src/custom.ml [new file with mode: 0644]
src/finiteCofinite.ml [new file with mode: 0644]
src/finiteCofinite.mli [new file with mode: 0644]
src/formula.ml [new file with mode: 0644]
src/formula.mli [new file with mode: 0644]
src/hcons.ml [new file with mode: 0644]
src/hcons.mli [new file with mode: 0644]
src/hlist.ml [new file with mode: 0644]
src/hlist.mli [new file with mode: 0644]
src/l2JIT.ml [new file with mode: 0644]
src/l2JIT.mli [new file with mode: 0644]
src/libcamlshredder.clib [new file with mode: 0644]
src/main.ml [new file with mode: 0644]
src/memory.ml [new file with mode: 0644]
src/memory.mli [new file with mode: 0644]
src/node.ml [new file with mode: 0644]
src/node.mli [new file with mode: 0644]
src/nodeSet.ml [new file with mode: 0644]
src/nodeSet.mli [new file with mode: 0644]
src/ocaml.ml [new file with mode: 0644]
src/ocaml.mli [new file with mode: 0644]
src/options.ml [new file with mode: 0644]
src/options.mli [new file with mode: 0644]
src/pretty.ml [new file with mode: 0644]
src/pretty.mli [new file with mode: 0644]
src/profile.ml [new file with mode: 0644]
src/profile.mli [new file with mode: 0644]
src/ptset.ml [new file with mode: 0644]
src/ptset.mli [new file with mode: 0644]
src/resJIT.ml [new file with mode: 0644]
src/resJIT.mli [new file with mode: 0644]
src/results.c [new file with mode: 0644]
src/results.h [new file with mode: 0644]
src/runtime.ml [new file with mode: 0644]
src/runtime.mli [new file with mode: 0644]
src/sigs.mli [new file with mode: 0644]
src/state.ml [new file with mode: 0644]
src/state.mli [new file with mode: 0644]
src/stateSet.ml [new file with mode: 0644]
src/stateSet.mli [new file with mode: 0644]
src/tag.ml [new file with mode: 0644]
src/tag.mli [new file with mode: 0644]
src/tagSet.ml [new file with mode: 0644]
src/tagSet.mli [new file with mode: 0644]
src/transition.ml [new file with mode: 0644]
src/transition.mli [new file with mode: 0644]
src/translist.ml [new file with mode: 0644]
src/tree.ml [new file with mode: 0644]
src/tree.mli [new file with mode: 0644]
src/uid.ml [new file with mode: 0644]
src/uid.mli [new file with mode: 0644]
src/ulexer.ml [new file with mode: 0644]
src/ulexer.mli [new file with mode: 0644]
src/xPath.ml [new file with mode: 0644]
src/xPath.mli [new file with mode: 0644]
sxsi_test.ml [deleted file]
tag.ml [deleted file]
tag.mli [deleted file]
tagSet.ml [deleted file]
tagSet.mli [deleted file]
tests/mini.xml [new file with mode: 0644]
tests/non_regression_tests/medline.srx [new symlink]
tests/non_regression_tests/medline.xml.queries [new file with mode: 0644]
tests/non_regression_tests/monet.sh [new file with mode: 0755]
tests/non_regression_tests/old/xmark_01.04.xml_monet.log [new file with mode: 0644]
tests/non_regression_tests/old/xmark_01.04.xml_qizx.log [new file with mode: 0644]
tests/non_regression_tests/old/xmark_01.04.xml_sxsi.log [new file with mode: 0644]
tests/non_regression_tests/old/xmark_10.xml_monet.log [new file with mode: 0644]
tests/non_regression_tests/old/xmark_10.xml_qizx.log [new file with mode: 0644]
tests/non_regression_tests/old/xmark_10.xml_sxsi.log [new file with mode: 0644]
tests/non_regression_tests/qizx.sh [new file with mode: 0755]
tests/non_regression_tests/rotate.sh [new file with mode: 0755]
tests/non_regression_tests/sxsi.sh [new file with mode: 0755]
tests/non_regression_tests/test.list [new file with mode: 0644]
tests/non_regression_tests/test.sh [new file with mode: 0755]
tests/non_regression_tests/xmark_01.04.srx [new symlink]
tests/non_regression_tests/xmark_01.04.xml.queries [new symlink]
tests/non_regression_tests/xmark_10.srx [new symlink]
tests/non_regression_tests/xmark_10.xml.queries [new symlink]
tests/test1.xml [new file with mode: 0644]
tests/test2.xml [new file with mode: 0644]
tests/test3.xml [new file with mode: 0644]
tests/xmark_small.xml [new file with mode: 0644]
timeSXSI.cpp [deleted file]
timeXMLTree.cpp [deleted file]
tree.ml [deleted file]
tree.mli [deleted file]
uid.ml [deleted file]
uid.mli [deleted file]
ulexer.ml [deleted file]
ulexer.mli [deleted file]
unit_test.ml [deleted file]
utils.ml [deleted file]
utils/alarm.ml [new file with mode: 0644]
utils/conf.ml [new file with mode: 0644]
xPath.ml [deleted file]
xPath.mli [deleted file]