Makefile revision bf7d1ec09971b005fff4133bb8b6964ab7d264e7
4305N/A### Makefile --- CSP-CASL parser in hets framework
4305N/A
4305N/A## Author: a.m.gimblett@swan.ac.uk
4305N/A## Version: $Id$
4305N/A## Keywords:
4305N/A## 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
test: testwrap
@./testwrap -c test/tcs3.cspcasl
testi:
ghci $(GHCOPTS) testwrap