Makefile revision 38ff7f7a0181fa2e7c8c0f9ca7ecf6dc6120128a
b3df7e69d4d6066fdfae0a8a2f3b4a161eaaf540Robert Savu### Makefile --- CSP-CASL parser in hets framework
b3df7e69d4d6066fdfae0a8a2f3b4a161eaaf540Robert Savu
b3df7e69d4d6066fdfae0a8a2f3b4a161eaaf540Robert Savu## Author: a.m.gimblett@swan.ac.uk
b3df7e69d4d6066fdfae0a8a2f3b4a161eaaf540Robert Savu## Version: $Id$
b3df7e69d4d6066fdfae0a8a2f3b4a161eaaf540Robert Savu## Keywords:
b3df7e69d4d6066fdfae0a8a2f3b4a161eaaf540Robert Savu## X-URL:
b3df7e69d4d6066fdfae0a8a2f3b4a161eaaf540Robert Savu
b3df7e69d4d6066fdfae0a8a2f3b4a161eaaf540Robert SavuGHCINCLUDES = ..:../ghc:../Common:../CASL
b3df7e69d4d6066fdfae0a8a2f3b4a161eaaf540Robert Savu
b3df7e69d4d6066fdfae0a8a2f3b4a161eaaf540Robert SavuGHCOPTS = --make -fglasgow-exts -Wall -i$(GHCINCLUDES)
b3df7e69d4d6066fdfae0a8a2f3b4a161eaaf540Robert Savu
b3df7e69d4d6066fdfae0a8a2f3b4a161eaaf540Robert SavuBINS = c3po print
b3df7e69d4d6066fdfae0a8a2f3b4a161eaaf540Robert Savu
b3df7e69d4d6066fdfae0a8a2f3b4a161eaaf540Robert Savudefault: c3po
b3df7e69d4d6066fdfae0a8a2f3b4a161eaaf540Robert Savu
239330cd665aac95fcf9cf95449594c96667cbc2Robert Savuall: $(BINS)
69b1e90bbb27ce2dd365628c07c0f03a3ae97b26Robert Savu
ad2e68e571352b6759441733df697e075ceed341Robert Savuclean:
0a03acf9fa28e6ff00f4d7c9c6acbae64cf09c56Ewaryst Schulz @find . -name '*~' -exec rm -vf {} ';'
0a03acf9fa28e6ff00f4d7c9c6acbae64cf09c56Ewaryst Schulz @find . -name '*.o' -exec rm -vf {} ';'
239330cd665aac95fcf9cf95449594c96667cbc2Robert Savu @find . -name '*.hi' -exec rm -vf {} ';'
239330cd665aac95fcf9cf95449594c96667cbc2Robert Savu @find . -name '*.der.hs' -exec rm -vf {} ';'
37dd4c99dbe470cce3fe0d89a011186f080e8910Robert Savu @find . -name 'ATC*.hs' -exec rm -vf {} ';'
37dd4c99dbe470cce3fe0d89a011186f080e8910Robert Savu @rm -vf $(BINS)
37dd4c99dbe470cce3fe0d89a011186f080e8910Robert Savu
37dd4c99dbe470cce3fe0d89a011186f080e8910Robert Savu
0a03acf9fa28e6ff00f4d7c9c6acbae64cf09c56Ewaryst Schulzc3po: Main.hs
b3df7e69d4d6066fdfae0a8a2f3b4a161eaaf540Robert Savu ghc $(GHCOPTS) -o c3po Main.hs #MixfixParser.hs
b3df7e69d4d6066fdfae0a8a2f3b4a161eaaf540Robert Savu
0a03acf9fa28e6ff00f4d7c9c6acbae64cf09c56Ewaryst Schulzprint: print_csp.hs
ad306df140215d8fb88d14bbb7d685011e0f770bRobert Savu ghc $(GHCOPTS) -o print print_csp.hs
b3df7e69d4d6066fdfae0a8a2f3b4a161eaaf540Robert Savu
b3df7e69d4d6066fdfae0a8a2f3b4a161eaaf540Robert Savutest: c3po
0a03acf9fa28e6ff00f4d7c9c6acbae64cf09c56Ewaryst Schulz ./c3po test/*.csp-casl
ad2e68e571352b6759441733df697e075ceed341Robert Savu
ad2e68e571352b6759441733df697e075ceed341Robert Savu### Makefile ends here
239330cd665aac95fcf9cf95449594c96667cbc2Robert Savu