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
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettGHCOPTS = -Wall -fglasgow-exts -package base \
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblett -package parsec -package fgl -i$(GHCINCLUDES)
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy GimblettBINS = testwrap
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy GimblettSOURCES = AS_CspCASL.hs \
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblett AS_CspCASL_Process.hs \
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblett CspCASL_Keywords.hs \
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblett Logic_CspCASL.hs \
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblett Parse_CspCASL.hs \
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblett Parse_CspCASL_Process.hs \
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblett Print_CspCASL.hs \
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblett SignCSP.hs \
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblett StatAnaCSP.hs \
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblett testwrap.hs
d64c27888613a81c9634cd939dd05618175465efAndy Gimblett
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblett.PHONY: test
d64c27888613a81c9634cd939dd05618175465efAndy Gimblett
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblettdefault: test
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblettall: $(BINS)
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblettclean:
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblett @find . -name '*~' -exec rm -vf {} ';'
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblett @find . -name '*.o' -exec rm -vf {} ';'
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblett @find . -name '*.hi' -exec rm -vf {} ';'
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblett @find . -name '*.der.hs' -exec rm -vf {} ';'
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblett @find . -name 'ATC*.hs' -exec rm -vf {} ';'
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblett @rm -vf $(BINS)
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblettnuke: clean
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimbletttestwrap: $(SOURCES)
1ac35b084d7e57853f66169d2ca5532977fc403aJens Elkner $(MAKE) -C .. CspCASL/testwrap
c4b2418421546a337f83332fe0db04742dcd735dAndy Gimblett
c01168f53431b6ad785bf8a8b12bd3a60b93b9b4Andy Gimblettccparse: ccparse.hs $(SOURCES) Print_CspCASL_Isabelle.hs
1ac35b084d7e57853f66169d2ca5532977fc403aJens Elkner $(MAKE) -C .. CspCASL/ccparse
c01168f53431b6ad785bf8a8b12bd3a60b93b9b4Andy Gimblett
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimbletttest: testwrap
adce8375991a372444ab995895442dca6faf9677Andy Gimblett ./testwrap -d test/simple.testcases
29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4Andy Gimblett
29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4Andy Gimbletttesti:
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy Gimblett ghci $(GHCOPTS) testwrap