summaryrefslogtreecommitdiff
path: root/transfer/Makefile
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-26 21:05:01 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-26 21:05:01 +0000
commitfb1d9b7d2c3c8261fc5a2ce3698e6749458b207a (patch)
tree466adc81f2c6ac803d20804863927c076e2b243a /transfer/Makefile
parent33eb6d899fef48f2d38a92bc0fab66ff585be553 (diff)
removed transfer from gf3
Diffstat (limited to 'transfer/Makefile')
-rw-r--r--transfer/Makefile51
1 files changed, 0 insertions, 51 deletions
diff --git a/transfer/Makefile b/transfer/Makefile
deleted file mode 100644
index 1ef8da644..000000000
--- a/transfer/Makefile
+++ /dev/null
@@ -1,51 +0,0 @@
-SRCDIR=../src
-
-GHC=ghc
-GHCFLAGS=-i$(SRCDIR)
-GHCOPTFLAGS=-O2
-
-
-.PHONY: all bnfc bnfctest doc docclean clean bnfcclean distclean
-
-all: GHCFLAGS += $(GHCOPTFLAGS)
-all:
- $(GHC) $(GHCFLAGS) --make -o trci trci.hs
- $(GHC) $(GHCFLAGS) --make -o transferc transferc.hs
-
-bnfc: bnfcclean
- cd $(SRCDIR) && bnfc -gadt -d -p Transfer Transfer/Core/Core.cf
- perl -i -pe 's/^import Transfer.Core.ErrM/import Transfer.ErrM/' $(SRCDIR)/Transfer/Core/*.{hs,x,y}
- -rm -f $(SRCDIR)/Transfer/Core/ErrM.hs
- cd $(SRCDIR) && alex -g Transfer/Core/Lex.x
- cd $(SRCDIR) && happy -gca Transfer/Core/Par.y
- cd $(SRCDIR) && bnfc -gadt -d -p Transfer Transfer/Syntax/Syntax.cf
- perl -i -pe 's/^import Transfer.Syntax.ErrM/import Transfer.ErrM/' $(SRCDIR)/Transfer/Syntax/*.{hs,x,y}
- -rm -f $(SRCDIR)/Transfer/Syntax/ErrM.hs
- cd $(SRCDIR) && alex -g Transfer/Syntax/Lex.x
- cd $(SRCDIR) && happy -gca Transfer/Syntax/Par.y
-
-bnfctest:
- ghc $(GHCFLAGS) --make $(SRCDIR)/Transfer/Core/Test.hs -o test_core
- ghc $(GHCFLAGS) --make $(SRCDIR)/Transfer/Syntax/Test.hs -o test_syntax
- ghc $(GHCFLAGS) --make $(SRCDIR)/Transfer/Syntax/ResolveLayout.hs -o test_layout
-
-doc:
- (cd $(SRCDIR)/Transfer/Core/; latex Doc.tex; dvips Doc.dvi -o Doc.ps)
- (cd $(SRCDIR)/Transfer/Syntax/; latex Doc.tex; dvips Doc.dvi -o Doc.ps)
-
-docclean:
- -rm -f $(SRCDIR)/Transfer/Core/*.{log,aux,dvi,ps}
- -rm -f $(SRCDIR)/Transfer/Syntax/*.{log,aux,dvi,ps}
-
-clean:
- -rm -f *.o *.hi
- find $(SRCDIR)/Transfer -name '*.o' -o -name '*.hi' | xargs rm -f
- -rm -f trci
- -rm -f transferc
- -rm -f test_core test_syntax test_layout
-
-bnfcclean:
- -rm -f $(SRCDIR)/Transfer/Core/{Doc,Lex,Par,Layout,Skel,Print,Test,Abs}.*
- -rm -f $(SRCDIR)/Transfer/Syntax/{Doc,Lex,Par,Layout,Skel,Print,Test,Abs}.*
-
-distclean: clean bnfcclean