Cross Reference: /hets/CspCASL/Makefile

	Makefile revision c3053d57f642ca507cdf79512e604437c4546cb9
fdbad18e66c0e293f94694458d47df305f050c71Christian Maeder### Makefile --- CSP-CASL parser in hets framework
fdbad18e66c0e293f94694458d47df305f050c71Christian Maeder
fdbad18e66c0e293f94694458d47df305f050c71Christian Maeder## Author: a.m.gimblett@swan.ac.uk
fdbad18e66c0e293f94694458d47df305f050c71Christian Maeder## Version: $Id$
5214cf3742dc626a7efc5ec851db09bf0ff1f579Christian Maeder## Keywords:
e973af819c2fb17f426944c8c4cfa00de5cd81a1Christian Maeder## X-URL:
b96b500ba4430269d97a08f07de87838278e9c5dChristian Maeder
96f7c7a07f939807a52234fde508fac35bd3405bChristian MaederGHCINCLUDES =   ..:../ghc:../Common:../CASL
e973af819c2fb17f426944c8c4cfa00de5cd81a1Christian Maeder
5214cf3742dc626a7efc5ec851db09bf0ff1f579Christian MaederGHCOPTS     =   --make -fglasgow-exts -Wall -i$(GHCINCLUDES)
5214cf3742dc626a7efc5ec851db09bf0ff1f579Christian Maeder
5214cf3742dc626a7efc5ec851db09bf0ff1f579Christian MaederBINS        =   c3po print

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