Commit 5a3ba0cc authored by Simon Marlow's avatar Simon Marlow
Browse files

small tidyups to thie Makefile

parent 8750fd9d
......@@ -10,20 +10,23 @@ ifeq "$(Windows)" "NO"
SRC_HC_OPTS += -package unix
endif
HS_PROG = timeout
boot :: calibrate.out
all :: calibrate.out
ifeq "$(findstring thr,$(GhcRTSWays))" "thr"
boot :: $(HS_PROG)
HS_PROG = timeout
else
boot :: python-timeout
all :: python-timeout
CLEAN_FILES += timeout
endif
boot :: all
calibrate.out:
rm -f TimeMe.o TimeMe.hi TimeMe
$(PYTHON) calibrate "$(HC)" > $@
CLEAN_FILES += calibrate.out
python-timeout:
cp timeout.py timeout
chmod +x timeout
......
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