Commit 08c35810 authored by POTTIER Francois's avatar POTTIER Francois

Change [Makefile.cfml] to no longer need $(CFML).

parent 25a8f789
......@@ -3,8 +3,6 @@
###############################################################################
# Readme
#
# This makefile assumes $(CFML) is defined.
#
# $(OCAML_INCLUDE) should contain -I directives (with absolute paths).
# Optionally, $(CFML_FLAGS) can be set (e.g. to "-rectypes").
# Optionally, $(ML) can be used to specify the sources files (default: *.ml)
......@@ -27,6 +25,8 @@
# run in a second stage. This means we write fewer Makefiles, they
# are really independent, and dependency computations are simpler.
CFML := $(shell cfmlc -where)
############################################################################
# Verbosity control.
......@@ -58,7 +58,7 @@ MLV := $(patsubst %.ml,%_ml.v,$(ML))
D := $(patsubst %.ml,%.d,$(ML))
OCAMLDEP := $(OCAMLBIN)ocamldep
OCAMLPOST := $(CFML)/lib/make/ocamldep.post
OCAMLPOST := $(CFML)/make/ocamldep.post
###############################################################################
# Targets
......
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