diff options
| author | Timothee Cour <timothee.cour2@gmail.com> | 2018-08-09 01:56:05 -0700 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2018-08-09 10:56:05 +0200 |
| commit | 730ce53b71a207edf93abe09c14c150b9c360028 (patch) | |
| tree | aabe59d28bde63a061922120f245a641e499108d /build_all.sh | |
| parent | a2c5ffba0cd82b5677fa57612f7dcb7af2348f45 (diff) | |
| download | Nim-730ce53b71a207edf93abe09c14c150b9c360028.tar.gz | |
save a backup of csources-built nim to bin/nim_csources to avoid recompiling from csources (#8582)
Diffstat (limited to 'build_all.sh')
| -rw-r--r-- | build_all.sh | 17 |
1 files changed, 13 insertions, 4 deletions
diff --git a/build_all.sh b/build_all.sh index cd5ea3d59..701d7d204 100644 --- a/build_all.sh +++ b/build_all.sh @@ -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 |