Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Makefile: introduce the CMPBYT variable

master
Sébastien Hinderer 2020-06-05 23:08:58 +02:00
parent d9dc10ef0b
commit 1c158f4227
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
Makefile
View File

@ -152,10 +152,13 @@ core:
$(MAKE) coreall
# Check if fixpoint reached
CMPBYT := $(CAMLRUN) tools/cmpbyt
.PHONY: compare
compare:
@if $(CAMLRUN) tools/cmpbyt boot/ocamlc ocamlc \
&& $(CAMLRUN) tools/cmpbyt boot/ocamllex lex/ocamllex; \
@if $(CMPBYT) boot/ocamlc ocamlc \
&& $(CMPBYT) boot/ocamllex lex/ocamllex; \
then echo "Fixpoint reached, bootstrap succeeded."; \
else \
echo "Fixpoint not reached, try one more bootstrapping cycle."; \