Commit 231025f9 authored by POTTIER Francois's avatar POTTIER Francois

A change in [make install]: use tr to filter out \r in the output

of menhir --suggest-ocamlfind, so that the Makefile works when Menhir is compiled as a Windows executable. (Suggested by Jonathan Protzenko.)
parent 1c97c071
2017/01/01:
Makefile fix: filter out '\r' in the output of menhir --suggest-ocamlfind,
so that the Makefile works when Menhir is compiled as a Windows executable.
(Suggested by Jonathan Protzenko.)
2016/12/01:
Updated the Coq back-end for compatibility with Coq 8.6.
(Jacques-Henri Jourdan.)
......
......@@ -169,7 +169,7 @@ install:
# Install the library.
mkdir -p $(libdir)
install -m 644 $(MLYLIB) $(libdir)
@if `$(BUILDDIR)/menhir.$(TARGET) --suggest-ocamlfind` ; then \
@if `$(BUILDDIR)/menhir.$(TARGET) --suggest-ocamlfind | tr -d '\r'` ; then \
echo 'Installing MenhirLib via ocamlfind.' ; \
ocamlfind install menhirLib src/META $(patsubst %,$(BUILDDIR)/%,$(MENHIRLIB)) ; \
else \
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment