Makefile.common 829 Bytes
Newer Older
1 2 3 4 5 6 7
##############################################################################
# Certain custom settings can be defined in settings.sh.

# To specify the location of the Coq binaries, define COQBIN (with a
# trailing slash), e.g. COQBIN=/var/tmp/coq/bin/.
# If COQBIN is undefined, then "coqc" is used.

POTTIER Francois's avatar
POTTIER Francois committed
8 9
# This assumes that $(CFML) points to the CFML root directory.

10 11
-include $(CFML)/settings.sh

charguer's avatar
charguer committed
12 13 14
export COQBIN
export COQFLAGS
export INCLUDE_TLC_AS_DEPENDENCIES
15

16 17
############################################################################
# We assume that TLC has been installed.
18
# (Note: this definition can be overriden from outside.)
19

charguer's avatar
charguer committed
20 21 22
ifndef TLC
	TLC := $(shell $(COQBIN)coqc -where)/user-contrib/TLC
endif
23 24 25 26 27

ifeq ($(wildcard $(TLC)),)
  $(error $(TLC) does not exist. \
          Please install TLC first)
endif
28 29

export TLC