logic-TPTP-0.1: Setup.hs

module Main where

import Distribution.Simple
import Distribution.Simple.Program
import Distribution.Simple.LocalBuildInfo
import System.Environment

main = defaultMain
    
--happyArgs = ["--info", "--glr", "--decode"]
-- happyArgs = ["--info","--array","--ghc"]

-- main :: IO ()
-- main = defaultMainWithHooks (simpleUserHooks { confHook = theConfHook })

-- theConfHook a b = do
--   defaultBuildInfo <- confHook simpleUserHooks a b
--   let
--         defaultWithPrograms = withPrograms defaultBuildInfo
--         theWithPrograms = userSpecifyArgs "happy" happyArgs defaultWithPrograms
        
--   return $ defaultBuildInfo { withPrograms = theWithPrograms }