Makefile revision 29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett### Makefile --- CSP-CASL parser in hets framework
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett## Author: a.m.gimblett@swan.ac.uk
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett## Version: $Id$
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett## Keywords:
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett## X-URL:
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy GimblettGHCINCLUDES = ..
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett
29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4Andy GimblettGHCOPTS = -Wall -fglasgow-exts -package base -package parsec -package fgl -i$(GHCINCLUDES)
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy GimblettBINS = testwrap
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy GimblettSOURCES = AS_CspCASL.hs \
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy Gimblett AS_CspCASL_Process.hs \
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy Gimblett CspCASL_Keywords.hs \
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy Gimblett Logic_CspCASL.hs \
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy Gimblett Parse_CspCASL.hs \
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy Gimblett Parse_CspCASL_Process.hs \
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy Gimblett Print_CspCASL.hs \
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy Gimblett SignCSP.hs \
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy Gimblett StatAnaCSP.hs \
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy Gimblett testwrap.hs
d64c27888613a81c9634cd939dd05618175465efAndy Gimblett
d64c27888613a81c9634cd939dd05618175465efAndy Gimblett.PHONY: test
d64c27888613a81c9634cd939dd05618175465efAndy Gimblett
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy Gimblettdefault: test
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblettall: $(BINS)
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblettclean:
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett @find . -name '*~' -exec rm -vf {} ';'
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett @find . -name '*.o' -exec rm -vf {} ';'
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett @find . -name '*.hi' -exec rm -vf {} ';'
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett @find . -name '*.der.hs' -exec rm -vf {} ';'
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett @find . -name 'ATC*.hs' -exec rm -vf {} ';'
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett @rm -vf $(BINS)
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy Gimblettnuke: clean
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy Gimbletttestwrap: $(SOURCES)
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy Gimblett gmake -C .. CspCASL/testwrap
c4b2418421546a337f83332fe0db04742dcd735dAndy Gimblett
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy Gimbletttest: testwrap
29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4Andy Gimblett @./testwrap -c test/tcs3.cspcasl
29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4Andy Gimblett
29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4Andy Gimbletttesti:
29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4Andy Gimblett ghci $(GHCOPTS) testwrap