SHELL = /bin/sh

CC = gcc
CFDEF = -O3 -ansi -Wall -Wstrict-prototypes -Wmissing-prototypes \
	-Winline -Wpointer-arith -Wshadow

CFLAGS = $(CFDEF)

EXE = ari4 verify1 verify2 verify3

all:	$(EXE)

ari4:	arith4.o
	$(CC) $(CFLAGS) -o $@ arith4.o -lgmp -lm

verify1:	verify1.hs
	ghc --make verify1.hs

verify2:	verify2.hs
	ghc --make verify2.hs

verify3:	verify3.hs
	ghc --make verify3.hs

clean:
	rm -f $(EXE) *.o *.hi