mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-25 12:42:02 +03:00
Minor edit to bootstrap script
It's better if the tests aren't interactive, since they're intended for running on CI as well as to give an idea of whether building was successful, rather than to give an idea of what has gone wrong.
This commit is contained in:
parent
77c218435b
commit
65f7fb6ab8
12
INSTALL.md
12
INSTALL.md
@ -47,19 +47,13 @@ system and the Chez Scheme version.
|
|||||||
|
|
||||||
This builds an Idris 2 compiler from scheme code output from a working Idris 2
|
This builds an Idris 2 compiler from scheme code output from a working Idris 2
|
||||||
compiler (which isn't necessarily up to date, but is up to date enough to
|
compiler (which isn't necessarily up to date, but is up to date enough to
|
||||||
build the current repository). It then rebuilds using the result.
|
build the current repository). It then rebuilds using the result, and runs
|
||||||
|
the tests.
|
||||||
|
|
||||||
Then to install, type:
|
If all is well, to install, type:
|
||||||
|
|
||||||
* `make install`
|
* `make install`
|
||||||
|
|
||||||
If you want to check everything is working, type:
|
|
||||||
|
|
||||||
* `make test IDRIS2_BOOT=idris2sh`
|
|
||||||
|
|
||||||
(You have to install first, because the test script relies on an existing
|
|
||||||
Idris 2 installation.)
|
|
||||||
|
|
||||||
1b: Installing with an existing Idris 2
|
1b: Installing with an existing Idris 2
|
||||||
---------------------------------------
|
---------------------------------------
|
||||||
|
|
||||||
|
@ -25,3 +25,4 @@ make libs CG=racket PREFIX=${PREFIX} LD_LIBRARY_PATH=${DYLIB_PATH}
|
|||||||
make install CG=racket PREFIX=${PREFIX} LD_LIBRARY_PATH=${DYLIB_PATH}
|
make install CG=racket PREFIX=${PREFIX} LD_LIBRARY_PATH=${DYLIB_PATH}
|
||||||
make clean IDRIS2_BOOT=${PREFIX}/bin/idris2sh LD_LIBRARY_PATH=${DYLIB_PATH}
|
make clean IDRIS2_BOOT=${PREFIX}/bin/idris2sh LD_LIBRARY_PATH=${DYLIB_PATH}
|
||||||
make all IDRIS2_BOOT=${PREFIX}/bin/idris2sh CG=racket IDRIS2_PATH=${IDRIS2_BOOT_PATH} LD_LIBRARY_PATH=${DYLIB_PATH}
|
make all IDRIS2_BOOT=${PREFIX}/bin/idris2sh CG=racket IDRIS2_PATH=${IDRIS2_BOOT_PATH} LD_LIBRARY_PATH=${DYLIB_PATH}
|
||||||
|
make test INTERACTIVE='' IDRIS2_BOOT=${PREFIX}/bin/idris2sh CG=racket IDRIS2_PATH=${IDRIS2_BOOT_PATH}
|
||||||
|
@ -31,4 +31,4 @@ make libs SCHEME=${SCHEME} PREFIX=${PREFIX}
|
|||||||
make install SCHEME=${SCHEME} PREFIX=${PREFIX}
|
make install SCHEME=${SCHEME} PREFIX=${PREFIX}
|
||||||
make clean IDRIS2_BOOT=${PREFIX}/bin/idris2sh
|
make clean IDRIS2_BOOT=${PREFIX}/bin/idris2sh
|
||||||
make all IDRIS2_BOOT=${PREFIX}/bin/idris2sh SCHEME=${SCHEME} IDRIS2_PATH=${IDRIS2_BOOT_PATH}
|
make all IDRIS2_BOOT=${PREFIX}/bin/idris2sh SCHEME=${SCHEME} IDRIS2_PATH=${IDRIS2_BOOT_PATH}
|
||||||
make test IDRIS2_BOOT=${PREFIX}/bin/idris2sh SCHEME=${SCHEME} IDRIS2_PATH=${IDRIS2_BOOT_PATH}
|
make test INTERACTIVE='' IDRIS2_BOOT=${PREFIX}/bin/idris2sh SCHEME=${SCHEME} IDRIS2_PATH=${IDRIS2_BOOT_PATH}
|
||||||
|
Loading…
Reference in New Issue
Block a user