git.iko.soy/Idris-dev
on 2a17e4f help sign in
Idris-dev/Setup.hs
171 lines 6.7 kB history raw
1{-# LANGUAGE CPP #-}
2import Control.Monad
3import Data.IORef
5import Distribution.Simple
6import Distribution.Simple.InstallDirs as I
7import Distribution.Simple.LocalBuildInfo as L
8import qualified Distribution.Simple.Setup as S
9import qualified Distribution.Simple.Program as P
10import Distribution.PackageDescription
11import Distribution.Text
13import System.Exit
14import System.FilePath ((</>), splitDirectories)
15import System.Directory
16import qualified System.FilePath.Posix as Px
17import System.Process
18import qualified Data.Text as T
19import qualified Data.Text.IO as TIO
21-- After Idris is built, we need to check and install the prelude and other libs
23make verbosity = P.runProgramInvocation verbosity . P.simpleProgramInvocation "make"
24mvn verbosity = P.runProgramInvocation verbosity . P.simpleProgramInvocation "mvn"
26#ifdef mingw32_HOST_OS
27-- make on mingw32 exepects unix style separators
28(<//>) = (Px.</>)
29idrisCmd local = Px.joinPath $ splitDirectories $
30 ".." <//> buildDir local <//> "idris" <//> "idris"
31#else
32idrisCmd local = ".." </> buildDir local </> "idris" </> "idris"
33#endif
35cleanStdLib verbosity
36 = do make verbosity [ "-C", "lib", "clean", "IDRIS=idris" ]
37 make verbosity [ "-C", "effects", "clean", "IDRIS=idris" ]
39cleanJavaLib verbosity
40 = do dirty <- doesDirectoryExist ("java" </> "target")
41 when dirty $ mvn verbosity [ "-f", "java/pom.xml", "clean" ]
42 pomExists <- doesFileExist ("java" </> "pom.xml")
43 when pomExists $ removeFile ("java" </> "pom.xml")
44 execPomExists <- doesFileExist ("java" </> "executable_pom.xml")
45 when pomExists $ removeFile ("java" </> "executable_pom.xml")
47installStdLib pkg local withoutEffects verbosity copy
48 = do let dirs = L.absoluteInstallDirs pkg local copy
49 let idir = datadir dirs
50 let icmd = idrisCmd local
51 putStrLn $ "Installing libraries in " ++ idir
52 make verbosity
53 [ "-C", "lib", "install"
54 , "TARGET=" ++ idir
55 , "IDRIS=" ++ icmd
56 ]
57 unless withoutEffects $
58 make verbosity
59 [ "-C", "effects", "install"
60 , "TARGET=" ++ idir
61 , "IDRIS=" ++ icmd
62 ]
63 let idirRts = idir </> "rts"
64 putStrLn $ "Installing run time system in " ++ idirRts
65 make verbosity
66 [ "-C", "rts", "install"
67 , "TARGET=" ++ idirRts
68 , "IDRIS=" ++ icmd
69 ]
71installJavaLib pkg local verbosity copy version = do
72 let rtsFile = "idris-" ++ display version ++ ".jar"
73 putStrLn $ "Installing java libraries"
74 mvn verbosity [ "install:install-file"
75 , "-Dfile=" ++ ("java" </> "target" </> rtsFile)
76 , "-DgroupId=org.idris-lang"
77 , "-DartifactId=idris"
78 , "-Dversion=" ++ display version
79 , "-Dpackaging=jar"
80 , "-DgeneratePom=True"
81 ]
82 let dir = datadir $ L.absoluteInstallDirs pkg local copy
83 copyFile ("java" </> "executable_pom.xml") (dir </> "executable_pom.xml")
85-- This is a hack. I don't know how to tell cabal that a data file needs
86-- installing but shouldn't be in the distribution. And it won't make the
87-- distribution if it's not there, so instead I just delete
88-- the file after configure.
90removeLibIdris local verbosity
91 = do let icmd = idrisCmd local
92 make verbosity
93 [ "-C", "rts", "clean"
94 , "IDRIS=" ++ icmd
95 ]
97checkStdLib local withoutEffects verbosity
98 = do let icmd = idrisCmd local
99 putStrLn $ "Building libraries..."
100 make verbosity
101 [ "-C", "lib", "check"
102 , "IDRIS=" ++ icmd
103 ]
104 unless withoutEffects $
105 make verbosity
106 [ "-C", "effects", "check"
107 , "IDRIS=" ++ icmd
108 ]
109 make verbosity
110 [ "-C", "rts", "check"
111 , "IDRIS=" ++ icmd
112 ]
114checkJavaLib verbosity = mvn verbosity [ "-f", "java" </> "pom.xml", "package" ]
116javaFlag flags =
117 case lookup (FlagName "java") (S.configConfigurationsFlags flags) of
118 Just True -> True
119 Just False -> False
120 Nothing -> False
122noEffectsFlag flags =
123 case lookup (FlagName "noeffects") (S.configConfigurationsFlags flags) of
124 Just True -> True
125 Just False -> False
126 Nothing -> False
128preparePoms version
129 = do pomTemplate <- TIO.readFile ("java" </> "pom_template.xml")
130 TIO.writeFile ("java" </> "pom.xml") (insertVersion pomTemplate)
131 execPomTemplate <- TIO.readFile ("java" </> "executable_pom_template.xml")
132 TIO.writeFile ("java" </> "executable_pom.xml") (insertVersion execPomTemplate)
133 where
134 insertVersion template =
135 T.replace (T.pack "$RTS-VERSION$") (T.pack $ display version) template
137-- Install libraries during both copy and install
138-- See http://hackage.haskell.org/trac/hackage/ticket/718
139main = do
140 defaultMainWithHooks $ simpleUserHooks
141 { postCopy = \ _ flags pkg lbi -> do
142 let verb = S.fromFlag $ S.copyVerbosity flags
143 let withoutEffects = noEffectsFlag $ configFlags lbi
144 installStdLib pkg lbi withoutEffects verb
145 (S.fromFlag $ S.copyDest flags)
146 , postInst = \ _ flags pkg lbi -> do
147 let verb = (S.fromFlag $ S.installVerbosity flags)
148 let withoutEffects = noEffectsFlag $ configFlags lbi
149 installStdLib pkg lbi withoutEffects verb
150 NoCopyDest
151 when (javaFlag $ configFlags lbi)
152 (installJavaLib pkg
153 lbi
154 verb
155 NoCopyDest
156 (pkgVersion . package $ localPkgDescr lbi)
157 )
158 , postConf = \ _ flags _ lbi -> do
159 removeLibIdris lbi (S.fromFlag $ S.configVerbosity flags)
160 when (javaFlag $ configFlags lbi)
161 (preparePoms . pkgVersion . package $ localPkgDescr lbi)
162 , postClean = \ _ flags _ _ -> do
163 let verb = S.fromFlag $ S.cleanVerbosity flags
164 cleanStdLib verb
165 cleanJavaLib verb
166 , postBuild = \ _ flags _ lbi -> do
167 let verb = S.fromFlag $ S.buildVerbosity flags
168 let withoutEffects = noEffectsFlag $ configFlags lbi
169 checkStdLib lbi withoutEffects verb
170 when (javaFlag $ configFlags lbi) (checkJavaLib verb)
171 }