Prepare release of Alt-Ergo-Free 2.3.0

OCamlPro · Jun 29, 2021 · 49e8ba1 · 49e8ba1
1 parent 63d4e4a
commit 49e8ba1
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 5 deletions.
diff --git a/License.OCamlPro b/License.OCamlPro
@@ -1,4 +1,3 @@
 Files referring to the license indicated in this file are licensed
-under the terms of the OCamlPro Non-Commercial Purpose License,
-version 1. More details about this license can be found in
-OCamlPro-Non-Commercial-License.pdf
+under the terms of the Apache Software License version 2.0 (see
+Apache-License-2.0.txt file).
diff --git a/sources/CHANGES b/sources/CHANGES
@@ -1,3 +1,9 @@
+version 2.3.0-free, February 30, 2021
+================================
+
+Same as 2.3.0, except that "OCamlPro Non-Commercial Purpose Licence"
+is replaced with "Apache Software Licence version 2.0"
+
 version 2.3.0, February 11, 2019
 ================================
 

diff --git a/sources/Makefile b/sources/Makefile
@@ -286,7 +286,7 @@ VERSION=$(shell grep "=" lib/util/version.ml | cut -d"=" -f2 | head -n 1)
 
 # Some convenient variables
 PUBLIC_VERSION=$(VERSION)
-PUBLIC_RELEASE=alt-ergo-$(PUBLIC_VERSION)
+PUBLIC_RELEASE=alt-ergo-free-$(PUBLIC_VERSION)
 PUBLIC_TARGZ=$(PUBLIC_RELEASE).tar.gz
 FILES_DEST=../public-release/$(PUBLIC_RELEASE)/$(PUBLIC_RELEASE)
 
@@ -295,7 +295,7 @@ public-release:
 	mkdir -p $(FILES_DEST)
 	cp configure configure.ml *.opam dune-project dune $(FILES_DEST)
 	git clean -dfx
-	cp ../License.OCamlPro ../OCamlPro-Non-Commercial-License.txt ../OCamlPro-Non-Commercial-License.pdf ../LGPL-License.txt ../Apache-License-2.0.txt $(FILES_DEST)/
+	cp ../License.OCamlPro ../LGPL-License.txt ../Apache-License-2.0.txt $(FILES_DEST)/
 	cp ../README.md ../LICENSE.md ../COPYING.md $(FILES_DEST)/
 	cp Makefile $(FILES_DEST)/
 	cp INSTALL.md alt-ergo.opam CHANGES $(FILES_DEST)/