Prepare release 0.6.0 (#2733)

* Prepare release 0.6.0 * Fix bootstrap chez * Correct version in bootstrap chez
idris-lang · Oct 27, 2022 · e125c90 · e125c90
1 parent 57c589c
commit e125c90
Show file tree

Hide file tree

Showing 16 changed files with 13,773 additions and 12,151 deletions.
diff --git a/INSTALL.md b/INSTALL.md
@@ -73,7 +73,7 @@ If all is well, to install, type:
 ### 3: Installing with an existing Idris 2
 
 If you have the latest *released* version of Idris 2
-(0.4.0 at the time of writing) installed:
+(0.5.1 at the time of writing) installed:
 
 - `make all`
 - `make install`

diff --git a/Makefile b/Makefile
@@ -13,8 +13,8 @@ TARGET = ${TARGETDIR}/${NAME}
 IDRIS2_CG ?= chez
 
 MAJOR=0
-MINOR=5
-PATCH=1
+MINOR=6
+PATCH=0
 
 GIT_SHA1=
 ifeq ($(shell git status >/dev/null 2>&1; echo $$?), 0)

diff --git a/Release/CHECKLIST b/Release/CHECKLIST
@@ -5,7 +5,7 @@
 [ ] Change version number in flake.nix
 [ ] Change version number in test pkg010 (TODO: make this step unnecessary!)
 [ ] Make sure INSTALL.md gives the correct minimum Idris version
-[ ] Update bootstrap chez and racket
+[ ] Update bootstrap chez and racket (built with new version)
 [ ] Remove __collect_safe from generated chez (to avoid need for chez >9.5)
 [ ] Tag on github with version number (in the form vX.Y.Z)
 [ ] make libdocs and upload to idris-lang.org

diff --git a/bootstrap/idris2_app/idris2.rkt b/bootstrap/idris2_app/idris2.rkt
diff --git a/bootstrap/idris2_app/idris2.ss b/bootstrap/idris2_app/idris2.ss
diff --git a/docs/source/listing/idris-prompt-helloworld.txt b/docs/source/listing/idris-prompt-helloworld.txt
@@ -1,7 +1,7 @@
 $ idris2 hello.idr
      ____    __     _         ___
     /  _/___/ /____(_)____   |__ \
-    / // __  / ___/ / ___/   __/ /     Version 0.5.1
+    / // __  / ___/ / ___/   __/ /     Version 0.6.0
   _/ // /_/ / /  / (__  )   / __/      https://www.idris-lang.org
  /___/\__,_/_/  /_/____/   /____/      Type :? for help
 

diff --git a/docs/source/listing/idris-prompt-interp.txt b/docs/source/listing/idris-prompt-interp.txt
@@ -1,7 +1,7 @@
 $ idris2 interp.idr
      ____    __     _         ___
     /  _/___/ /____(_)____   |__ \
-    / // __  / ___/ / ___/   __/ /     Version 0.5.1
+    / // __  / ___/ / ___/   __/ /     Version 0.6.0
   _/ // /_/ / /  / (__  )   / __/      https://www.idris-lang.org
  /___/\__,_/_/  /_/____/   /____/      Type :? for help
 

diff --git a/docs/source/listing/idris-prompt-start.txt b/docs/source/listing/idris-prompt-start.txt
@@ -1,7 +1,7 @@
 $ idris2
      ____    __     _         ___
     /  _/___/ /____(_)____   |__ \
-    / // __  / ___/ / ___/   __/ /     Version 0.5.1
+    / // __  / ___/ / ___/   __/ /     Version 0.6.0
   _/ // /_/ / /  / (__  )   / __/      https://www.idris-lang.org
  /___/\__,_/_/  /_/____/   /____/      Type :? for help
 

diff --git a/flake.nix b/flake.nix
@@ -10,7 +10,7 @@
 
   outputs = { self, nixpkgs, flake-utils, idris-emacs-src }:
     let
-      idris2-version = "0.5.1";
+      idris2-version = "0.6.0";
       lib = import ./nix/lib.nix;
       sys-agnostic = rec {
         templates.pkg = {

diff --git a/idris2api.ipkg b/idris2api.ipkg
@@ -1,5 +1,5 @@
 package idris2
-version = 0.5.1
+version = 0.6.0
 
 modules =
     Algebra,

diff --git a/libs/base/base.ipkg b/libs/base/base.ipkg
@@ -1,5 +1,5 @@
 package base
-version = 0.5.1
+version = 0.6.0
 
 opts = "--ignore-missing-ipkg -Wno-shadowing"
 

diff --git a/libs/contrib/contrib.ipkg b/libs/contrib/contrib.ipkg
@@ -1,5 +1,5 @@
 package contrib
-version = 0.5.1
+version = 0.6.0
 
 opts = "--ignore-missing-ipkg -Wno-shadowing"
 

diff --git a/libs/network/network.ipkg b/libs/network/network.ipkg
@@ -1,5 +1,5 @@
 package network
-version = 0.5.1
+version = 0.6.0
 
 opts = "--ignore-missing-ipkg"
 

diff --git a/libs/prelude/prelude.ipkg b/libs/prelude/prelude.ipkg
@@ -1,5 +1,5 @@
 package prelude
-version = 0.5.1
+version = 0.6.0
 
 opts = "--ignore-missing-ipkg --no-prelude"
 

diff --git a/libs/test/test.ipkg b/libs/test/test.ipkg
@@ -1,5 +1,5 @@
 package test
-version = 0.5.1
+version = 0.6.0
 
 opts = "--ignore-missing-ipkg"
 

diff --git a/tests/idris2/pkg010/expected.in b/tests/idris2/pkg010/expected.in
@@ -1,4 +1,4 @@
 1/1: Building Main (Main.idr)
-Installing __PWD__build/ttc/Main.ttc to __PWD__currently/nonexistent/dir/idris2-0.5.1/testpkg-0
-Installing __PWD__build/ttc/Main.ttc to __PWD__currently/nonexistent/dir/idris2-0.5.1/testpkg-0
-Installing package file for testpkg to __PWD__currently/nonexistent/dir/idris2-0.5.1/testpkg-0
+Installing __PWD__build/ttc/Main.ttc to __PWD__currently/nonexistent/dir/idris2-0.6.0/testpkg-0
+Installing __PWD__build/ttc/Main.ttc to __PWD__currently/nonexistent/dir/idris2-0.6.0/testpkg-0
+Installing package file for testpkg to __PWD__currently/nonexistent/dir/idris2-0.6.0/testpkg-0