### Makefile --- CSP-CASL parser in hets framework

## Author: a.m.gimblett@swan.ac.uk
## Version: $Id$
## Keywords: 
## X-URL: 

GHCINCLUDES	=	..

GHCOPTS		=	-Wall -fglasgow-exts -package base \
			-package parsec -package fgl -i$(GHCINCLUDES)

BINS		=	testwrap

SOURCES		=	AS_CspCASL.hs \
			AS_CspCASL_Process.hs \
			CspCASL_Keywords.hs \
			Logic_CspCASL.hs \
			Parse_CspCASL.hs \
			Parse_CspCASL_Process.hs \
			Print_CspCASL.hs \
			SignCSP.hs \
			StatAnaCSP.hs \
			testwrap.hs

.PHONY:		test

default:	test

all:		$(BINS)

clean:
		@find . -name '*~' -exec rm -vf {} ';'
		@find . -name '*.o' -exec rm -vf {} ';'
		@find . -name '*.hi' -exec rm -vf {} ';'
		@find . -name '*.der.hs' -exec rm -vf {} ';'
		@find . -name 'ATC*.hs' -exec rm -vf {} ';'
		@rm -vf $(BINS)

nuke:		clean

testwrap:	$(SOURCES)
		$(MAKE) -C .. CspCASL/testwrap

ccparse:	ccparse.hs $(SOURCES) Print_CspCASL_Isabelle.hs
		$(MAKE) -C .. CspCASL/ccparse

test:		testwrap
		./testwrap -d test/simple.testcases

testi:
		ghci $(GHCOPTS) testwrap