Commit 50fc7b58 authored by POTTIER Francois's avatar POTTIER Francois

Remove inclusion of Makefile.tools in lib/stdlib/Makefile.

parent ebf62fc5
......@@ -9,7 +9,7 @@ include Makefile.common
# Targets.
all: coqlib tools
$(MAKE) -C lib/stdlib
$(MAKE) CFML_MLV=$(CFML)/generator/main.native -C lib/stdlib
coqlib:
$(MAKE) -C lib/coq proof
......
......@@ -5,10 +5,6 @@ CFML := $(shell cd ../.. && pwd)
include $(CFML)/Makefile.common
ifeq ($(findstring $(MAKECMDGOALS),clean),)
include $(CFML)/lib/make/Makefile.tools
endif
##############################################################################
# Compilation.
......@@ -74,6 +70,11 @@ CFML_FLAGS :=
# inter-module dependencies. Every module is allowed to implicitly depend
# on Pervasives.
ifndef CFML_MLV
# This should happen only if "make" is run in lib/stdlib.
CFML_MLV := cfml_mlv
endif
$(PWD)/Pervasives_ml.v $(PWD)/Pervasives.cmj: $(PWD)/Pervasives.ml
$(CFML_MLV) $(CFML_FLAGS) -nostdlib -nopervasives -I . $< || (rm -f $@; exit 1)
......
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