save a backup of csources-built nim to bin/nim_csources to avoid recompiling from csources (#8582)

This commit is contained in:
Timothee Cour
2018-08-09 01:56:05 -07:00
committed by Andreas Rumpf
parent a2c5ffba0c
commit 730ce53b71

View File

@@ -11,11 +11,20 @@ echo_run(){
}
[ -d csources ] || echo_run git clone --depth 1 https://github.com/nim-lang/csources.git
(
nim_csources=bin/nim_csources
build_nim_csources(){
## avoid changing dir in case of failure
echo_run cd csources
echo_run sh build.sh
)
(
echo_run cd csources
echo_run sh build.sh
)
# keep $nim_csources in case needed to investigate bootstrap issues
# without having to rebuild from csources
echo_run cp bin/nim $nim_csources
}
[ -f $nim_csources ] || echo_run build_nim_csources
echo_run bin/nim c koch
echo_run ./koch boot -d:release