Finally bump the version number of Metis to 2.4

gilith · Mar 1, 2018 · 6f57505 · 6f57505
1 parent 2711fd6
commit 6f57505
Show file tree

Hide file tree

Showing 5 changed files with 16 additions and 8 deletions.
diff --git a/Makefile.dev b/Makefile.dev
@@ -377,14 +377,14 @@ tarball: doc/DONT-RELEASE Makefile.dev
 
 .PHONY: release-instructions
 release-instructions:
-	@echo "*************************************************************"
+	@echo "==============================================================="
 	@echo "Completed release, now do the following:"
 	@echo "1. git add, commit and push all changes"
 	@perl -ne 'if ($$_ =~ /^Metis ([0-9.]+) \(release ([0-9]+)\),$$/) { print "2. git tag -a -s v$$1.$$2 -m \"Version $$1 (release $$2)\"\n"; }' doc/download.html
 	@echo "3. git push --tags"
 	@echo "4. Browse to github > metis > releases > Latest release"
 	@echo "5. Add the release name and tarball"
-	@echo "*************************************************************"
+	@echo "==============================================================="
 
 .PHONY: release
 release: release-stamp mosml mlton polyml status-test documentation $(STD_BENCHMARK)

diff --git a/doc/changelog.html b/doc/changelog.html
@@ -29,13 +29,21 @@
 
 <h3>Changes to Metis</h3>
 
-<p>Recent Changes</p>
+<!-- <p>Recent Changes</p> -->
+
+<p>Version 2.4: 1 March 2018</p>
 
 <ul>
 
 <li>Moved development of Metis to
 
-<a href="https://github.com/gilith/metis">GitHub</a>.</li>
+<a href="https://github.com/gilith/metis">GitHub</a>
+
+and archiving
+
+<a href="https://github.com/gilith/metis/releases">releases</a>
+
+there to enable build reproducibility.</li>
 
 <li>Added a
 

diff --git a/doc/download.html b/doc/download.html
@@ -31,7 +31,7 @@ <h3>Download Metis</h3>
 
 <p>The latest version is
 
-Metis 2.3 (release 20180228),
+Metis 2.4 (release 20180301),
 
 and can be downloaded in the following formats:</p>
 

diff --git a/doc/index.html b/doc/index.html
@@ -92,7 +92,7 @@ <h3>Project Status</h3>
 
 is
 
-Metis 2.3 (release 20180228).
+Metis 2.4 (release 20180301).
 
 Metis is free software, released under the
 

diff --git a/src/metis.sml b/src/metis.sml
@@ -11,9 +11,9 @@ open Useful;
 
 val PROGRAM = "metis";
 
-val VERSION = "2.3";
+val VERSION = "2.4";
 
-val versionString = PROGRAM^" "^VERSION^" (release 20180228)"^"\n";
+val versionString = PROGRAM^" "^VERSION^" (release 20180301)"^"\n";
 
 (* ------------------------------------------------------------------------- *)
 (* Program options.                                                          *)