Makefile revision afc52bfaabee38c4d55cee9f35b1a0028ba3854a
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose### Makefile --- CSP-CASL parser in hets framework
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose## Author: a.m.gimblett@swan.ac.uk
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose## Version: $Id$
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose## Keywords:
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose## X-URL:
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit BoseGHCINCLUDES = ..
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit BoseGHCOPTS = -Wall -fglasgow-exts -package base \
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose -package parsec -package fgl -i$(GHCINCLUDES)
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit BoseBINS = testwrap
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit BoseSOURCES = AS_CspCASL.hs \
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose AS_CspCASL_Process.hs \
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose CspCASL_Keywords.hs \
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose Logic_CspCASL.hs \
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose Parse_CspCASL.hs \
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose Parse_CspCASL_Process.hs \
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose Print_CspCASL.hs \
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose SignCSP.hs \
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose StatAnaCSP.hs \
225d845476b6136be9b77f528ed986bba7a7f732Simo Sorce testwrap.hs
c8119652b17229a5aca9b110365c310a6afdce30Jakub Hrozek
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose.PHONY: test
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bosedefault: test
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Boseall: $(BINS)
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose
1b474ef7011f4bf9ce4aac85dbc9827a9486d5ebStephen Gallagherclean:
1b474ef7011f4bf9ce4aac85dbc9827a9486d5ebStephen Gallagher @find . -name '*~' -exec rm -vf {} ';'
1b474ef7011f4bf9ce4aac85dbc9827a9486d5ebStephen Gallagher @find . -name '*.o' -exec rm -vf {} ';'
c0bca1722d6f9dfb654ad78397be70f79ff39af1Jakub Hrozek @find . -name '*.hi' -exec rm -vf {} ';'
c0bca1722d6f9dfb654ad78397be70f79ff39af1Jakub Hrozek @find . -name '*.der.hs' -exec rm -vf {} ';'
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose @find . -name 'ATC*.hs' -exec rm -vf {} ';'
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose @rm -vf $(BINS)
03abdaa21ecf562b714f204ca42379ff08626f75Simo Sorce
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bosenuke: clean
c0bca1722d6f9dfb654ad78397be70f79ff39af1Jakub Hrozek
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bosetestwrap: $(SOURCES)
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose make -C .. CspCASL/testwrap
cbaba2f47da96c4191971bce86f03afb3f88864aSimo Sorce
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bosetest: testwrap
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose @./testwrap -t test/scratch.testcases
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bosetesti:
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose ghci $(GHCOPTS) testwrap
16ac0d6e148b1e07e579d47de1da7ac541447bd2Sumit Bose