Cross Reference: Makefile
xref
: /
hets
/
CspCASL
/
Makefile
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
Makefile revision d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7
342
N/A
### Makefile --- CSP-CASL parser in hets framework
2037
N/A
342
N/A
## Author: a.m.gimblett@swan.ac.uk
342
N/A
## Version: $Id$
342
N/A
## Keywords:
342
N/A
## X-URL:
342
N/A
342
N/A
GHCINCLUDES
= ..:../
ghc
:../
Common
:../
CASL
342
N/A
342
N/A
GHCOPTS
= --
make
-
fglasgow
-
exts
-
Wall
-i
$(
GHCINCLUDES
)
342
N/A
342
N/A
BINS
=
c3po
print
342
N/A
342
N/A
SOURCES
=
Main.hs
AS_CSP_CASL.hs
CCKeywords.hs
CCLexer.hs
\
342
N/A
CCToken.hs
Parse_hugo.hs
342
N/A
342
N/A
.
PHONY
:
test
342
N/A
1472
N/A
default
:
c3po
1472
N/A
1472
N/A
all
:
$(
BINS
)
342
N/A
342
N/A
clean
:
342
N/A
@
find
. -
name
'*~'
-
exec
rm
-
vf
{}
';'
1879
N/A
@
find
. -
name
'*.o'
-
exec
rm
-
vf
{}
';'
1879
N/A
@
find
. -
name
'*.hi'
-
exec
rm
-
vf
{}
';'
1879
N/A
@
find
. -
name
'*
.der.hs
'
-
exec
rm
-
vf
{}
';'
2037
N/A
@
find
. -
name
'ATC*.hs'
-
exec
rm
-
vf
{}
';'
1879
N/A
@
rm
-
vf
$(
BINS
)
1879
N/A
342
N/A
342
N/A
c3po
:
$(
SOURCES
)
1311
N/A
ghc
$(
GHCOPTS
)
-o
c3po
Main.hs
#
MixfixParser.hs
1311
N/A
342
N/A
print
:
print_csp.hs
1944
N/A
ghc
$(
GHCOPTS
)
-o
print
print_csp.hs
1944
N/A
1944
N/A
test
:
c3po
1944
N/A
./
c3po
test
/
amg.csp-casl
1944
N/A
# ./c3po test/*.csp-casl
1944
N/A
1944
N/A
### Makefile ends here
1944
N/A