forked from GitHub/gf-core
8d6e61a8df
Some C run-time functionality is now available in the GF shell, by starting GF with 'gf -cshell' or 'gf -crun'. Only limited functionality is available when running the shell in these modes: - You can only import .pgf files, not source files. - The -retain flag can not be used and the commands that require it to work are not available. - Only 18 of the 40 commands available in the usual shell have been implemented. The 'linearize' and 'parse' commands are the only ones that call the C run-time system, and they support only a limited set of options and flags. Use the 'help' commmands for details. - A new command 'generate_all', that calls PGF2.generateAll, has been added. Unfortuntaly, using it causes 'segmentation fault'. This is implemented by adding two new modules: GF.Command.Commands2 and GF.Interactive2. They are copied and modified versions of GF.Command.Commands and GF.Interactive, respectively. Code for unimplemented commands and other code that has not been adapted to the C run-time system has been left in place, but commented out, pending further work.
64 lines
2.2 KiB
Haskell
64 lines
2.2 KiB
Haskell
-- | GF main program (grammar compiler, interactive shell, http server)
|
|
{-# LANGUAGE CPP #-}
|
|
module GF.Main where
|
|
import GF.Compiler
|
|
import qualified GF.Interactive as GFI1
|
|
#ifdef C_RUNTIME
|
|
import qualified GF.Interactive2 as GFI2
|
|
#endif
|
|
import GF.Data.ErrM
|
|
import GF.Infra.Option
|
|
import GF.Infra.UseIO
|
|
import GF.Infra.BuildInfo (buildInfo)
|
|
import Paths_gf
|
|
|
|
import Data.Version
|
|
import System.Directory
|
|
import System.Environment (getArgs)
|
|
import System.Exit
|
|
import GF.System.Console (setConsoleEncoding)
|
|
|
|
-- | Run the GF main program, taking arguments from the command line.
|
|
-- (It calls 'setConsoleEncoding' and 'getOptions', then 'mainOpts'.)
|
|
-- Run @gf --help@ for usage info.
|
|
main :: IO ()
|
|
main = do
|
|
setConsoleEncoding
|
|
uncurry mainOpts =<< getOptions
|
|
|
|
-- | Get and parse GF command line arguments. Fix relative paths.
|
|
-- Calls 'getArgs' and 'parseOptions'.
|
|
getOptions = do
|
|
args <- getArgs
|
|
case parseOptions args of
|
|
Ok (opts,files) -> do curr_dir <- getCurrentDirectory
|
|
lib_dir <- getLibraryDirectory opts
|
|
return (fixRelativeLibPaths curr_dir lib_dir opts, files)
|
|
Bad err -> do ePutStrLn err
|
|
ePutStrLn "You may want to try --help."
|
|
exitFailure
|
|
|
|
|
|
-- | Run the GF main program with the given options and files. Depending on
|
|
-- the options it invokes 'mainGFC', 'mainGFI', 'mainRunGFI', 'mainServerGFI',
|
|
-- or it just prints version/usage info.
|
|
mainOpts :: Options -> [FilePath] -> IO ()
|
|
mainOpts opts files =
|
|
case flag optMode opts of
|
|
ModeVersion -> putStrLn $ "Grammatical Framework (GF) version " ++ showVersion version ++ "\n" ++ buildInfo
|
|
ModeHelp -> putStrLn helpMessage
|
|
ModeServer port -> GFI1.mainServerGFI opts port files
|
|
ModeCompiler -> mainGFC opts files
|
|
ModeInteractive -> GFI1.mainGFI opts files
|
|
ModeRun -> GFI1.mainRunGFI opts files
|
|
#ifdef C_RUNTIME
|
|
ModeInteractive2 -> GFI2.mainGFI opts files
|
|
ModeRun2 -> GFI2.mainRunGFI opts files
|
|
#else
|
|
ModeInteractive2 -> noCruntime
|
|
ModeRun2 -> noCruntime
|
|
where
|
|
noCruntime = do ePutStrLn "GF configured without C run-time support"
|
|
exitFailure
|
|
#endif
|