Change executable name

I think we can be the official Idris2 now
melted · May 20, 2020 · 9cc4cba · 9cc4cba
1 parent 8c4727d
commit 9cc4cba
Show file tree

Hide file tree

Showing 5 changed files with 12 additions and 6 deletions.
diff --git a/INSTALL.md b/INSTALL.md
@@ -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
 ----------------

diff --git a/Makefile b/Makefile
@@ -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}
 

diff --git a/config.mk b/config.mk
@@ -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

diff --git a/idris2.ipkg b/idris2.ipkg
@@ -148,4 +148,4 @@ depends = contrib, network
 sourcedir = "src"
 
 main = Idris.Main
-executable = idris2sh
+executable = idris2
diff --git a/idris2rkt.ipkg b/idris2rkt.ipkg
@@ -149,4 +149,4 @@ depends = contrib, network
 sourcedir = "src"
 
 main = Idris.Main
-executable = idris2sh
+executable = idris2