Commit 01234418 authored by fpottier's avatar fpottier

Updated Makefile with new location of menhir binary. Removed a test entry for...

Updated Makefile with new location of menhir binary. Removed a test entry for the experimental --reduction-graph feature.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@336 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7
parent 86b7f5f8
.PHONY: clean test expected
# Note that there is potential confusion between src/_stage1/menhir
# and src/_stage2/menhir. Here, we use the latter (built by "make
# bootstrap" in the src/ directory). But typing "make" in the src/
# directory re-builds only the former.
SHELL=/bin/bash
SRC=../../src
MENHIR=$(SRC)/menhir --dump --explain --stdlib $(SRC)
MENHIR=$(SRC)/_stage2/menhir.native --dump --explain --stdlib $(SRC)
CAMLC := $(shell if ocamlfind ocamlc -v >/dev/null 2>&1 ; \
then echo ocamlfind ocamlc ; \
elif ocamlc.opt -v >/dev/null 2>&1 ; \
......@@ -71,12 +76,3 @@ expected:
clean:
rm -f *.ml *.mli *.conflicts *.automaton *.cmi *.cmo *.cmx *.o *.s *.result *~ failed_files
# TEMPORARY
cliques:
rm -f *.dot
for i in *.mly ; do \
$(MENHIR) --make-reduction-graphs $$i ; \
done
for i in *.dot ; do \
echo $$i && circo -Tps $$i -o $$i.ps && gv $$i.ps ; \
done
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