Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

78 lines (66 sloc) 2.871 kB
import Distribution.Simple
import Distribution.Simple.InstallDirs as I
import Distribution.Simple.LocalBuildInfo as L
import qualified Distribution.Simple.Setup as S
import qualified Distribution.Simple.Program as P
import Distribution.PackageDescription
import System.Exit
import System.FilePath ((</>))
import System.Process
-- After Idris is built, we need to check and install the prelude and other libs
make verbosity = P.runProgramInvocation verbosity . P.simpleProgramInvocation "make"
cleanStdLib verbosity
= make verbosity [ "-C", "lib", "clean" ]
installStdLib pkg local verbosity copy
= do let dirs = L.absoluteInstallDirs pkg local copy
let idir = datadir dirs
let icmd = ".." </> buildDir local </> "idris" </> "idris"
putStrLn $ "Installing libraries in " ++ idir
make verbosity
[ "-C", "lib", "install"
, "TARGET=" ++ idir
, "IDRIS=" ++ icmd
]
putStrLn $ "Installing run time system in " ++ idir ++ "/rts"
make verbosity
[ "-C", "rts", "install"
, "TARGET=" ++ idir ++ "/rts"
, "IDRIS=" ++ icmd
]
-- This is a hack. I don't know how to tell cabal that a data file needs
-- installing but shouldn't be in the distribution. And it won't make the
-- distribution if it's not there, so instead I just delete
-- the file after configure.
removeLibIdris local verbosity
= do let icmd = ".." </> buildDir local </> "idris" </> "idris"
make verbosity
[ "-C", "rts", "clean"
, "IDRIS=" ++ icmd
]
checkStdLib local verbosity
= do let icmd = ".." </> buildDir local </> "idris" </> "idris"
putStrLn $ "Building libraries..."
make verbosity
[ "-C", "lib", "check"
, "IDRIS=" ++ icmd
]
make verbosity
[ "-C", "rts", "check"
, "IDRIS=" ++ icmd
]
-- Install libraries during both copy and install
-- See http://hackage.haskell.org/trac/hackage/ticket/718
main = defaultMainWithHooks $ simpleUserHooks
{ postCopy = \ _ flags pkg lbi -> do
installStdLib pkg lbi (S.fromFlag $ S.copyVerbosity flags)
(S.fromFlag $ S.copyDest flags)
, postInst = \ _ flags pkg lbi -> do
installStdLib pkg lbi (S.fromFlag $ S.installVerbosity flags)
NoCopyDest
, postConf = \ _ flags _ lbi -> do
removeLibIdris lbi (S.fromFlag $ S.configVerbosity flags)
, postClean = \ _ flags _ _ -> do
cleanStdLib (S.fromFlag $ S.cleanVerbosity flags)
, postBuild = \ _ flags _ lbi -> do
checkStdLib lbi (S.fromFlag $ S.buildVerbosity flags)
}
Jump to Line
Something went wrong with that request. Please try again.