mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-17 08:49:31 -06:00
c7b016c07d
This changes lots of stuff, let me know if it broke anything. Comments: - We use a local hacked version of GetOpt that allows long forms of commands to start with a single dash. This breaks other parts of GetOpt. For example, arguments to short options now require a =, and does not allo pace after the option character. - The new command parsing is currently only used for the program command line, pragmas and the arguments for the 'i' shell command. - I made a quick hack for the options for showTerm, which currently makes it impossible to use the print style flags for cc. This will be replaced by a facility for parsing command-specific options. - The verbosity handling is broken in some places. I will fix that in a later patch.
52 lines
1.5 KiB
Haskell
52 lines
1.5 KiB
Haskell
module GFC (mainGFC) where
|
|
-- module Main where
|
|
|
|
import GF.Compile
|
|
import GF.GFCC.PrintGFCC
|
|
import GF.GFCC.CId
|
|
import GF.GFCC.DataGFCC
|
|
import GF.GFCC.Raw.ParGFCCRaw
|
|
import GF.GFCC.Raw.ConvertGFCC
|
|
import GF.Infra.UseIO
|
|
import GF.Infra.Option
|
|
import GF.GFCC.API
|
|
import GF.Data.ErrM
|
|
|
|
import Data.Maybe
|
|
import System.FilePath
|
|
|
|
|
|
mainGFC :: Options -> [FilePath] -> IOE ()
|
|
mainGFC opts fs =
|
|
do gr <- batchCompile opts fs
|
|
let cnc = justModuleName (last fs)
|
|
if flag optStopAfterPhase opts == Compile
|
|
then return ()
|
|
else do gfcc <- link opts cnc gr
|
|
writeOutputs opts gfcc
|
|
|
|
writeOutputs :: Options -> GFCC -> IOE ()
|
|
writeOutputs opts gfcc = mapM_ (\fmt -> writeOutput opts fmt gfcc) (flag optOutputFormats opts)
|
|
|
|
writeOutput :: Options -> OutputFormat-> GFCC -> IOE ()
|
|
writeOutput opts fmt gfcc =
|
|
do let path = outputFilePath opts fmt (prCId (absname gfcc))
|
|
s = prGFCC fmt gfcc
|
|
writeOutputFile path s
|
|
|
|
outputFilePath :: Options -> OutputFormat -> String -> FilePath
|
|
outputFilePath opts fmt name0 = addDir name <.> fmtExtension fmt
|
|
where name = fromMaybe name0 (moduleFlag optName opts)
|
|
addDir = maybe id (</>) (flag optOutputDir opts)
|
|
|
|
fmtExtension :: OutputFormat -> String
|
|
fmtExtension FmtGFCC = "gfcc"
|
|
fmtExtension FmtJavaScript = "js"
|
|
fmtExtension FmtHaskell = "hs"
|
|
fmtExtension FmtHaskellGADT = "hs"
|
|
|
|
writeOutputFile :: FilePath -> String -> IOE ()
|
|
writeOutputFile outfile output = ioeIO $
|
|
do writeFile outfile output
|
|
putStrLn $ "wrote file " ++ outfile
|