diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2019-03-25 13:56:14 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2019-03-25 13:56:14 +0100 |
commit | 1df887f5a275e4c31096018ff1a8fdfc39bca591 (patch) | |
tree | 6e4f2535bb5ef0cbb057c07b09e732d826c64c1a /powerpc | |
parent | f7a4a67784b97013cd314fb4c50bd94abdb9c55e (diff) | |
download | compcert-kvx-1df887f5a275e4c31096018ff1a8fdfc39bca591.tar.gz compcert-kvx-1df887f5a275e4c31096018ff1a8fdfc39bca591.zip |
Harden configure against weird Menhir installations
As reported in #281, the Menhir packages in Fedora 29 and perhaps in
other distributions can cause `menhir --suggest-menhirLib` to fail
and return an empty path.
This commit detects this situation and aborts configurations.
Also, it hardens the generated Makefile against spaces and special
characters in the path returned by `menhir --suggest-menhirLib`.
Diffstat (limited to 'powerpc')
0 files changed, 0 insertions, 0 deletions