summaryrefslogtreecommitdiff
path: root/transfer
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2005-12-05 16:53:27 +0000
committerbringert <bringert@cs.chalmers.se>2005-12-05 16:53:27 +0000
commitf4a28c94aabfdef6011294db3d36860dcb5badb3 (patch)
tree73dbd3e3ed549f90be0803cde9bb09553e94af1c /transfer
parent56e9e45171c306f8b539722d3653dafc339212ce (diff)
Renamed transfer compiler and interpreter.
Diffstat (limited to 'transfer')
-rw-r--r--transfer/Makefile9
-rw-r--r--transfer/transferc.hs (renamed from transfer/compile_to_core.hs)2
-rw-r--r--transfer/trci.hs (renamed from transfer/run_core.hs)2
3 files changed, 6 insertions, 7 deletions
diff --git a/transfer/Makefile b/transfer/Makefile
index 5c2e68362..b4bee8ce8 100644
--- a/transfer/Makefile
+++ b/transfer/Makefile
@@ -7,8 +7,8 @@ GHCFLAGS=-i$(SRCDIR)
.PHONY: all bnfc bnfctest doc docclean clean bnfcclean distclean
all:
- $(GHC) $(GHCFLAGS) --make -o run_core run_core.hs
- $(GHC) $(GHCFLAGS) --make -o compile_to_core compile_to_core.hs
+ $(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
@@ -38,8 +38,8 @@ docclean:
clean:
-rm -f *.o *.hi
find $(SRCDIR)/Transfer -name '*.o' -o -name '*.hi' | xargs rm -f
- -rm -f run_core
- -rm -f compile_to_core
+ -rm -f trci
+ -rm -f transferc
-rm -f test_core test_syntax test_layout
bnfcclean:
@@ -47,4 +47,3 @@ bnfcclean:
-rm -f $(SRCDIR)/Transfer/Syntax/{Doc,Lex,Par,Layout,Skel,Print,Test,Abs}.*
distclean: clean bnfcclean
-
diff --git a/transfer/compile_to_core.hs b/transfer/transferc.hs
index b35d906d0..a363ff75c 100644
--- a/transfer/compile_to_core.hs
+++ b/transfer/transferc.hs
@@ -22,4 +22,4 @@ main = do
cf <- compileFile path f
putStrLn $ "Wrote " ++ cf
return ()
- _ -> die "Usage: compile_to_core [-i<path> [-i<path> ... ]] <file>"
+ _ -> die "Usage: transferc [-i<path> [-i<path> ... ]] <file>"
diff --git a/transfer/run_core.hs b/transfer/trci.hs
index 0bb7f1aa8..3cfd02bd6 100644
--- a/transfer/run_core.hs
+++ b/transfer/trci.hs
@@ -28,7 +28,7 @@ main = do args <- getArgs
let (flags,files) = partition ("-" `isPrefixOf`) args
env <- case files of
[f] -> loadFile f
- _ -> fail "Usage: run_core [-i] <file>"
+ _ -> fail "Usage: trci [-i] <file>"
when ("-v" `elem` flags) $ do
putStrLn "Top-level environment:"
putStrLn (prEnv env)