Makefile 212 Bytes
Newer Older
1
2
3
4
5
6
7
8
9

NEMS_SRCS= Makefile

all: normalise_errmsg

boot:
	@echo "Make boot is not needed here"

normalise_errmsg: $(NEMS_SRCS)
10
	ghc-5.00.2 --make Main -o normalise_errmsg
11
12
13
14

clean:
	/bin/rm -f normalise_errmsg *.o *.hi