projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f6d5eeb) | patch
Modify configure.in and Remakefile.in to use menhir instead of ocamlyacc.
authorKim Nguyễn <kn@lri.fr>
Mon, 3 Mar 2014 16:00:05 +0000 (17:00 +0100)
committerKim Nguyễn <kn@lri.fr>
Mon, 3 Mar 2014 16:05:43 +0000 (17:05 +0100)
commit91d60f0cf46661abde8df94fead3688ec43a2db9
tree571b1a8afbe8543155aab454c693150184682042tree | snapshot
parentf6d5eeb99225f4160bfaa8411467fe88379a5211commit | diff
Modify configure.in and Remakefile.in to use menhir instead of ocamlyacc.
(This only modify the build process, not the parser itself, so the parser is
still a plain ocamlyacc file).
Remakefile.in diff | blob | history
configure.in diff | blob | history
Tree Automata TOOlkit