Makefile revision d16796d2e67b21942cb8869a2bd7727b0c49f602
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mance### Makefile --- CSP-CASL parser in hets framework
81ec673ac5ab1493568d9ef7798b752ab8ee0e61Felix Gabriel Mance## Author: a.m.gimblett@swan.ac.uk
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mance## Version: $Id$
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceGHCOPTS = --make -fglasgow-exts -Wall -i$(GHCINCLUDES)
5d801400993c9671010d244646936d8fd435638cChristian MaederSOURCES = Main.hs AS_CSP_CASL.hs CCKeywords.hs CCLexer.hs \
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel Mance @find . -name '*.der.hs' -exec rm -vf {} ';'
863fa65ac095659c6da1cde7fe7b839f1e7f60f9Felix Gabriel Mance @find . -name 'ATC*.hs' -exec rm -vf {} ';'
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel Mance ghc $(GHCOPTS) -o c3po Main.hs #MixfixParser.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mance# ./c3po test/*.csp-casl
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel Mance### Makefile ends here