Makefile revision 8d97ef4f234681b11bb5924bd4d03adef858d2d2
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder### Makefile --- CSP-CASL parser in hets framework
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder## Author: a.m.gimblett@swan.ac.uk
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder## Version: $Id$
d16796d2e67b21942cb8869a2bd7727b0c49f602Christian Maeder## Keywords:
d16796d2e67b21942cb8869a2bd7727b0c49f602Christian Maeder## X-URL:
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder
d16796d2e67b21942cb8869a2bd7727b0c49f602Christian MaederGHCINCLUDES = ..:../ghc:../Common:../CASL
d16796d2e67b21942cb8869a2bd7727b0c49f602Christian Maeder
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian MaederGHCOPTS = --make -fglasgow-exts -Wall -i$(GHCINCLUDES)
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian MaederBINS = c3po print
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder
SOURCES = Main.hs AS_CSP_CASL.hs CCKeywords.hs CCLexer.hs \
CCToken.hs Parse_hugo.hs
.PHONY: test
default: c3po
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)
c3po: $(SOURCES)
ghc $(GHCOPTS) -o c3po Main.hs #MixfixParser.hs
print: print_csp.hs
ghc $(GHCOPTS) -o print print_csp.hs
test: c3po
./c3po test/amg.csp-casl
# ./c3po test/*.csp-casl
### Makefile ends here