git.iko.soy/Idris-dev
on master help sign in
-f execonly now builts RTS too

This only takes a second or two, and it's useful to be able to build it without building all the other libraries.

commitb30057fe706272b469f35a2bef5501633d48f62c authorEdwin Brady <ecb10@st-andrews.ac.uk> dateSat 5 Aug 2017, 14:30 (9 years ago) parenta5ff76d
1 file changed+9−7
compare with master
unifiedsplit
Setup.hs+9−7
Setup.hs+9−7
@@ -240,9 +240,10 @@ idrisPreBuild args flags = do
240240 return (Nothing, [])
241241#endif
242242
243−idrisBuild _ flags _ local = unless (execOnly (configFlags local)) $ do
244− buildStdLib
245− buildRTS
243+idrisBuild _ flags _ local
244+ = if (execOnly (configFlags local)) then buildRTS
245+ else do buildStdLib
246+ buildRTS
246247 where
247248 verbosity = S.fromFlag $ S.buildVerbosity flags
248249
@@ -261,10 +262,11 @@ idrisBuild _ flags _ local = unless (execOnly (configFlags local)) $ do
261262-- -----------------------------------------------------------------------------
262263-- Copy/Install
263264
264−idrisInstall verbosity copy pkg local = unless (execOnly (configFlags local)) $ do
265− installStdLib
266− installRTS
267− installManPage
265+idrisInstall verbosity copy pkg local
266+ = if (execOnly (configFlags local)) then installRTS
267+ else do installStdLib
268+ installRTS
269+ installManPage
268270 where
269271 target = datadir $ L.absoluteInstallDirs pkg local copy
270272