Commit 701baac2 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Define ML as $(wildcard *.ml) unconditionally, to fix unknown problem.

parent ee37c5b6
......@@ -2,24 +2,24 @@
###############################################################################
# Readme
#
#
# This makefile assumes $(CFML) is defined.
#
# Optionally, $(OCAML_FLAGS) can be set (e.g. to "-rectypes").
# Optionally, $(ML) can be used to specified the sources files (default: *.ml)
#
#
# For each %.ml file in $(ML), we create:
# - the files %.d (dependency files)
# - the files %.cmj (type information; .cmi files in disguise)
# - the files %_ml.v (characteristic formulae)
# - the files %_ml.vo (compiled characteristic formulae)
#
#
# Idea number 1:
# Because the CFML generator produces the files %_ml.v and %.cmj at
# the same time (in just one invocation), it is not necessary to
# tell "make" about both of these files. We adopt the convention
# that only the .cmj file is used as a target. This seems to help.
#
#
# Idea number 2:
# This Makefile deals only with the generation of %_ml.v and %.cmj.
# Running Coq on %_ml.v is the job of another Makefile, which is
......@@ -30,13 +30,12 @@
# Parameters
ifndef OCAML_FLAGS
OCAML_FLAGS :=
OCAML_FLAGS :=
# e.g. -rectypes
endif
ifndef ML
ML := $(wildcard *.ml)
endif
# TEMPORARY fixme (setting from outside is ignored if present)
ML := $(wildcard *.ml)
###############################################################################
# Definitions
......
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