git.iko.soy/Idris-dev
on master help sign in
-f execonly now builts RTS too
b30057fEdwin Brady
Setup.hs+9−7
compare with master
unifiedsplit
@@ -240,9 +240,10 @@ idrisPreBuild args flags = do
240 return (Nothing, [])
240 return (Nothing, [])
241#endif
241#endif
242
242
243−idrisBuild _ flags _ local = unless (execOnly (configFlags local)) $ do
243+idrisBuild _ flags _ local
244+ = if (execOnly (configFlags local)) then buildRTS
244− buildStdLib
245+ else do buildStdLib
245− buildRTS
246+ buildRTS
246 where
247 where
247 verbosity = S.fromFlag $ S.buildVerbosity flags
248 verbosity = S.fromFlag $ S.buildVerbosity flags
248
249
@@ -261,10 +262,11 @@ idrisBuild _ flags _ local = unless (execOnly (configFlags local)) $ do
261-- -----------------------------------------------------------------------------
262-- -----------------------------------------------------------------------------
262-- Copy/Install
263-- Copy/Install
263
264
264−idrisInstall verbosity copy pkg local = unless (execOnly (configFlags local)) $ do
265+idrisInstall verbosity copy pkg local
266+ = if (execOnly (configFlags local)) then installRTS
265− installStdLib
267+ else do installStdLib
266− installRTS
268+ installRTS
267− installManPage
269+ installManPage
268 where
270 where
269 target = datadir $ L.absoluteInstallDirs pkg local copy
271 target = datadir $ L.absoluteInstallDirs pkg local copy
270
272