projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a6baedc) | patch
Change configure script to use separate libraries.
authorkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Mon, 13 Feb 2012 15:22:52 +0000 (15:22 +0000)
committerkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Mon, 13 Feb 2012 15:22:52 +0000 (15:22 +0000)
commit9975bb31b2447755c6853875b8d738aed8873859
tree6ffe6bfb0f7ccc4c582dc23d911b574d08a9cc29tree | snapshot
parenta6baedc6c67cb1de0587a779f8bcddf276b0bf4ccommit | diff
Change configure script to use separate libraries.

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/branches/xpathcomp/trace-refactor@1210 3cdefd35-fc62-479d-8e8d-bae585ffb9ca
configure diff | blob | history
utils/conf.ml diff | blob | history
XPath Library based on tree automata.