Commit dce56da2 authored by POTTIER Francois's avatar POTTIER Francois

Renamed some targets.

parent 50fc7b58
.PHONY: all coqlib tools demos doc clean install
.PHONY: all coqlib generator examples doc clean install
CFML := $(shell pwd)
TOOLS := $(CFML)/lib/tools
include Makefile.common
##############################################################################
# Targets.
all: coqlib tools
all: coqlib generator
$(MAKE) CFML_MLV=$(CFML)/generator/main.native -C lib/stdlib
coqlib:
$(MAKE) -C lib/coq proof
tools:
generator:
$(MAKE) -C generator
ln -sf $(CFML)/generator/main.native $(TOOLS)/cfml_mlv
ln -sf $(CFML)/generator/makecmj.native $(TOOLS)/cfml_cmj
ln -sf $(CFML)/generator/myocamldep.native $(TOOLS)/cfml_dep
demos: all
examples: all
$(MAKE) -C examples
##############################################################################
......@@ -40,7 +36,6 @@ clean:
$(MAKE) -C lib/coq $@
$(MAKE) -C lib/stdlib $@
$(MAKE) -C generator $@
rm -rf $(TOOLS)/cfml_mlv $(TOOLS)/cfml_cmj $(TOOLS)/cfml_dep
rm -f $(DOC)
##############################################################################
......
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