Commit 557f0485 authored by POTTIER Francois's avatar POTTIER Francois

Fixed GNUmakefile to use gsed if available.

parent c1c4849e
...@@ -171,6 +171,8 @@ API := src/Convert.mli.html \ ...@@ -171,6 +171,8 @@ API := src/Convert.mli.html \
src/IncrementalEngine.ml.html \ src/IncrementalEngine.ml.html \
src/General.mli.html src/General.mli.html
SED := $(shell if hash gsed 2>/dev/null ; then echo gsed ; else echo sed ; fi)
api: $(API) api: $(API)
export: api export: api
...@@ -182,7 +184,7 @@ export: api ...@@ -182,7 +184,7 @@ export: api
$(RSYNC) $(API) $(TARGET) $(RSYNC) $(API) $(TARGET)
# Mettre jour la page Web de Menhir avec le nouveau numro de version. # Mettre jour la page Web de Menhir avec le nouveau numro de version.
cd $(PAGE) && \ cd $(PAGE) && \
sed --in-place=.bak "s/menhir-[0-9][0-9][0-9][0-9][0-9][0-9][0-9][0-9]/$(PACKAGE)/" menhir.xml && \ $(SED) --in-place=.bak "s/menhir-[0-9][0-9][0-9][0-9][0-9][0-9][0-9][0-9]/$(PACKAGE)/" menhir.xml && \
$(MAKE) export && \ $(MAKE) export && \
cvs commit -m "Updated Menhir's version number." cvs commit -m "Updated Menhir's version number."
......
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