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

HC = $(GHC_INPLACE)
MKDEPENDHS = $(GHC_INPLACE)
SRC_HC_OPTS += -threaded

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

12
13
HS_PROG = timeout

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

python-timeout:
	cp timeout.py timeout
	chmod +x timeout
23
24

include $(TOP)/mk/target.mk