git.iko.soy/Idris-dev
on f553076 help sign in
Idris-dev/Setup.hs
189 lines 7.3 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
25#ifdef mingw32_HOST_OS
26 "mvn.bat"
27#else
28 "mvn"
29#endif
31#ifdef mingw32_HOST_OS
32-- make on mingw32 exepects unix style separators
33(<//>) = (Px.</>)
34idrisCmd local = Px.joinPath $ splitDirectories $
35 ".." <//> buildDir local <//> "idris" <//> "idris"
36rtsDir local = Px.joinPath $ splitDirectories $
37 ".." <//> buildDir local <//> "rts" <//> "libidris_rts"
38#else
39idrisCmd local = ".." </> buildDir local </> "idris" </> "idris"
40rtsDir local = ".." </> buildDir local </> "rts" </> "libidris_rts"
41#endif
43cleanStdLib verbosity
44 = do make verbosity [ "-C", "lib", "clean", "IDRIS=idris" ]
45 make verbosity [ "-C", "effects", "clean", "IDRIS=idris" ]
46 make verbosity [ "-C", "javascript", "clean", "IDRIS=idris" ]
48cleanJavaLib verbosity
49 = do dirty <- doesDirectoryExist ("java" </> "target")
50 when dirty $ mvn verbosity [ "-f", "java/pom.xml", "clean" ]
51 pomExists <- doesFileExist ("java" </> "pom.xml")
52 when pomExists $ removeFile ("java" </> "pom.xml")
53 execPomExists <- doesFileExist ("java" </> "executable_pom.xml")
54 when pomExists $ removeFile ("java" </> "executable_pom.xml")
56installStdLib pkg local withoutEffects verbosity copy
57 = do let dirs = L.absoluteInstallDirs pkg local copy
58 let idir = datadir dirs
59 let icmd = idrisCmd local
60 putStrLn $ "Installing libraries in " ++ idir
61 make verbosity
62 [ "-C", "lib", "install"
63 , "TARGET=" ++ idir
64 , "IDRIS=" ++ icmd
65 ]
66 unless withoutEffects $
67 make verbosity
68 [ "-C", "effects", "install"
69 , "TARGET=" ++ idir
70 , "IDRIS=" ++ icmd
71 ]
72 make verbosity
73 [ "-C", "javascript", "install"
74 , "TARGET=" ++ idir
75 , "IDRIS=" ++ icmd
76 ]
77 let idirRts = idir </> "rts"
78 putStrLn $ "Installing run time system in " ++ idirRts
79 make verbosity
80 [ "-C", "rts", "install"
81 , "TARGET=" ++ idirRts
82 , "IDRIS=" ++ icmd
83 ]
85installJavaLib pkg local verbosity copy version = do
86 let rtsFile = "idris-" ++ display version ++ ".jar"
87 putStrLn $ "Installing java libraries"
88 mvn verbosity [ "install:install-file"
89 , "-Dfile=" ++ ("java" </> "target" </> rtsFile)
90 , "-DgroupId=org.idris-lang"
91 , "-DartifactId=idris"
92 , "-Dversion=" ++ display version
93 , "-Dpackaging=jar"
94 , "-DgeneratePom=True"
95 ]
96 let dir = datadir $ L.absoluteInstallDirs pkg local copy
97 copyFile ("java" </> "executable_pom.xml") (dir </> "executable_pom.xml")
99-- This is a hack. I don't know how to tell cabal that a data file needs
100-- installing but shouldn't be in the distribution. And it won't make the
101-- distribution if it's not there, so instead I just delete
102-- the file after configure.
104removeLibIdris local verbosity
105 = do let icmd = idrisCmd local
106 make verbosity
107 [ "-C", "rts", "clean"
108 , "IDRIS=" ++ icmd
109 ]
111checkStdLib local withoutEffects verbosity
112 = do let icmd = idrisCmd local
113 putStrLn $ "Building libraries..."
114 make verbosity
115 [ "-C", "lib", "check"
116 , "IDRIS=" ++ icmd
117 ]
118 unless withoutEffects $
119 make verbosity
120 [ "-C", "effects", "check"
121 , "IDRIS=" ++ icmd
122 ]
123 make verbosity
124 [ "-C", "javascript", "check"
125 , "IDRIS=" ++ icmd
126 ]
127 make verbosity
128 [ "-C", "rts", "check"
129 , "IDRIS=" ++ icmd
130 ]
132checkJavaLib verbosity = mvn verbosity [ "-f", "java" </> "pom.xml", "package" ]
134javaFlag flags =
135 case lookup (FlagName "java") (S.configConfigurationsFlags flags) of
136 Just True -> True
137 Just False -> False
138 Nothing -> False
140noEffectsFlag flags =
141 case lookup (FlagName "noeffects") (S.configConfigurationsFlags flags) of
142 Just True -> True
143 Just False -> False
144 Nothing -> False
146preparePoms version
147 = do pomTemplate <- TIO.readFile ("java" </> "pom_template.xml")
148 TIO.writeFile ("java" </> "pom.xml") (insertVersion pomTemplate)
149 execPomTemplate <- TIO.readFile ("java" </> "executable_pom_template.xml")
150 TIO.writeFile ("java" </> "executable_pom.xml") (insertVersion execPomTemplate)
151 where
152 insertVersion template =
153 T.replace (T.pack "$RTS-VERSION$") (T.pack $ display version) template
155-- Install libraries during both copy and install
156-- See http://hackage.haskell.org/trac/hackage/ticket/718
157main = do
158 defaultMainWithHooks $ simpleUserHooks
159 { postCopy = \ _ flags pkg lbi -> do
160 let verb = S.fromFlag $ S.copyVerbosity flags
161 let withoutEffects = noEffectsFlag $ configFlags lbi
162 installStdLib pkg lbi withoutEffects verb
163 (S.fromFlag $ S.copyDest flags)
164 , postInst = \ _ flags pkg lbi -> do
165 let verb = (S.fromFlag $ S.installVerbosity flags)
166 let withoutEffects = noEffectsFlag $ configFlags lbi
167 installStdLib pkg lbi withoutEffects verb
168 NoCopyDest
169 when (javaFlag $ configFlags lbi)
170 (installJavaLib pkg
171 lbi
172 verb
173 NoCopyDest
174 (pkgVersion . package $ localPkgDescr lbi)
175 )
176 , postConf = \ _ flags _ lbi -> do
177 removeLibIdris lbi (S.fromFlag $ S.configVerbosity flags)
178 when (javaFlag $ configFlags lbi)
179 (preparePoms . pkgVersion . package $ localPkgDescr lbi)
180 , postClean = \ _ flags _ _ -> do
181 let verb = S.fromFlag $ S.cleanVerbosity flags
182 cleanStdLib verb
183 cleanJavaLib verb
184 , postBuild = \ _ flags _ lbi -> do
185 let verb = S.fromFlag $ S.buildVerbosity flags
186 let withoutEffects = noEffectsFlag $ configFlags lbi
187 checkStdLib lbi withoutEffects verb
188 when (javaFlag $ configFlags lbi) (checkJavaLib verb)
189 }