diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-10-18 11:10:32 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-10-18 11:10:32 +0200 |
commit | ab6a906f09514d1ed81fb0970fb7151021407062 (patch) | |
tree | 627bef91884922ca0eb040ad9101b9026e2b89be /flocq/Prop | |
parent | 22efd958aef1d4372a905158befa5394dec3c604 (diff) | |
download | compcert-ab6a906f09514d1ed81fb0970fb7151021407062.tar.gz compcert-ab6a906f09514d1ed81fb0970fb7151021407062.zip |
Query menhir for location of menhir lib in config.
Since the menhir version required supports the --suggest-menhirLib
flag we can query it already in the configure script simplifying
the Makefile.menhir
Diffstat (limited to 'flocq/Prop')
0 files changed, 0 insertions, 0 deletions