diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-12-05 16:53:27 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-12-05 16:53:27 +0000 |
| commit | f4a28c94aabfdef6011294db3d36860dcb5badb3 (patch) | |
| tree | 73dbd3e3ed549f90be0803cde9bb09553e94af1c /transfer | |
| parent | 56e9e45171c306f8b539722d3653dafc339212ce (diff) | |
Renamed transfer compiler and interpreter.
Diffstat (limited to 'transfer')
| -rw-r--r-- | transfer/Makefile | 9 | ||||
| -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) |
