Makefile 537 Bytes
Newer Older
1 2 3 4 5 6
TOP = ..
include $(TOP)/mk/boilerplate.mk

HC = $(GHC_INPLACE)
MKDEPENDHS = $(GHC_INPLACE)
SRC_HC_OPTS += -threaded
7
EXCLUDED_SRCS += Calibrate.hs
8

9 10 11 12
ifeq "$(Windows)" "NO"
SRC_HC_OPTS += -package unix
endif

13 14
HS_PROG = timeout

15 16
boot :: calibrate.out

17
ifeq "$(findstring thr,$(GhcRTSWays))" "thr"
18
boot :: $(HS_PROG)
19 20 21 22
else
boot :: python-timeout
endif

23 24 25 26 27
calibrate.out:
	chmod +x calibrate
	rm -f Calibrate.o Calibrate.hi Calibrate
	./calibrate "$(HC)" > $@

28 29 30
python-timeout:
	cp timeout.py timeout
	chmod +x timeout
31 32

include $(TOP)/mk/target.mk