# Makefile for helf
# see src/Makefile

helf = helf +RTS -K16M -sstderr -RTS
time = time
# time = gtime -v

.PHONY : test examples current default helf

default :
	make -C src

bench :
	$(time) $(helf) examples/ltal/w32_sig_semant.elf

current : helf
	$(helf) test/succeed/y.elf

helf :
	make -C src helf

test :
	@echo "======================================================================"
	@echo "===================== Suite of successfull tests ====================="
	@echo "======================================================================"
	make -C test/succeed
	@echo "======================================================================"
	@echo "======================= Suite of failing tests ======================="
	@echo "======================================================================"
	make -C test/fail

clean :
	-make -C src clean
	make -C test/fail clean

# EOF