From: Kim Nguyễn <kn@lri.fr>
Date: Tue, 29 Apr 2014 07:45:26 +0000 (+0200)
Subject: Revert the integration of menhir for the time being.
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=31d45495fda9a110fd348f8b492761c28b434ec9;hp=31d45495fda9a110fd348f8b492761c28b434ec9

Revert the integration of menhir for the time being.

Revert "Cherry pick use of menhir features from branch feature/menhir."
Revert "Further simplify Remakefile. Remove some inefficiency in module dependency checking script."
Revert "Remove passing $NATIVE on the remake command line of every target, since variable contents are propagated."
Revert "Modify configure.in and Remakefile.in to use menhir instead of ocamlyacc."
---