Change executable name

I think we can be the official Idris2 now
This commit is contained in:
Edwin Brady 2020-05-20 13:31:04 +01:00
parent 8c4727d308
commit 9cc4cba065
5 changed files with 12 additions and 6 deletions

View File

@ -61,7 +61,13 @@ If all is well, to install, type:
If you have [Idris-2-in-Idris-1](https://github.com/edwinb/Idris2-boot)
installed:
* `make all && make install`
* `make all IDRIS2_BOOT=idris2boot`
* `make install IDRIS2_BOOT=idris2boot`
If you have an earlier version of this Idris 2 installer
* `make all`
* `make install`
3: (Optional) Self-hosting step
-------------------------------
@ -71,7 +77,7 @@ that everything has worked correctly. Assuming that `idris2sh` is in your
`PATH`.
* `make clean` -- to make sure you're building everything with the new version
* `make all IDRIS2_BOOT=idris2sh && make install`
* `make all && make install`
4: Running tests
----------------

View File

@ -4,7 +4,7 @@ include config.mk
export IDRIS2_BOOT ?= idris2
# Idris 2 executable we're building
NAME = idris2sh
NAME = idris2
TARGETDIR = build/exec
TARGET = ${TARGETDIR}/${NAME}

View File

@ -1,6 +1,6 @@
##### Options which a user might set before building go here #####
PREFIX ?= $(HOME)/.idris2sh
PREFIX ?= $(HOME)/.idris2
# clang compiles the output much faster than gcc!
CC := clang

View File

@ -148,4 +148,4 @@ depends = contrib, network
sourcedir = "src"
main = Idris.Main
executable = idris2sh
executable = idris2

View File

@ -149,4 +149,4 @@ depends = contrib, network
sourcedir = "src"
main = Idris.Main
executable = idris2sh
executable = idris2