mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-17 11:47:20 +03:00
-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.
This commit is contained in:
parent
a5ff76d9d1
commit
b30057fe70
16
Setup.hs
16
Setup.hs
@ -240,9 +240,10 @@ idrisPreBuild args flags = do
|
||||
return (Nothing, [])
|
||||
#endif
|
||||
|
||||
idrisBuild _ flags _ local = unless (execOnly (configFlags local)) $ do
|
||||
buildStdLib
|
||||
buildRTS
|
||||
idrisBuild _ flags _ local
|
||||
= if (execOnly (configFlags local)) then buildRTS
|
||||
else do buildStdLib
|
||||
buildRTS
|
||||
where
|
||||
verbosity = S.fromFlag $ S.buildVerbosity flags
|
||||
|
||||
@ -261,10 +262,11 @@ idrisBuild _ flags _ local = unless (execOnly (configFlags local)) $ do
|
||||
-- -----------------------------------------------------------------------------
|
||||
-- Copy/Install
|
||||
|
||||
idrisInstall verbosity copy pkg local = unless (execOnly (configFlags local)) $ do
|
||||
installStdLib
|
||||
installRTS
|
||||
installManPage
|
||||
idrisInstall verbosity copy pkg local
|
||||
= if (execOnly (configFlags local)) then installRTS
|
||||
else do installStdLib
|
||||
installRTS
|
||||
installManPage
|
||||
where
|
||||
target = datadir $ L.absoluteInstallDirs pkg local copy
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user