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