From bdb685d928d1f4bb570acdc6c8427217a6b6cbe3 Mon Sep 17 00:00:00 2001 From: "Andrew V. Jones" Date: Mon, 3 Feb 2020 07:16:20 +0000 Subject: [PATCH] Renaming '--bsd' to '--no-gpl' (#3609) Signed-off-by: Andrew V. Jones --- COPYING | 4 ++-- contrib/cut-release | 4 ++-- src/base/configuration.cpp | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/COPYING b/COPYING index 77462ae2d..d4fc07ed2 100644 --- a/COPYING +++ b/COPYING @@ -93,8 +93,8 @@ Please be advised that the following libraries are covered under the GPLv3 license. If you choose to link CVC4 against one of these libraries, the resulting combined work is also covered under the GPLv3. If you want to make sure you build a version of CVC4 that uses no GPLed libraries, configure CVC4 -with the "--bsd" option before building (which is the default). CVC4 can then -be used in contexts where you want to use CVC4 under the terms of the +with the "--no-gpl" option before building (which is the default). CVC4 can +then be used in contexts where you want to use CVC4 under the terms of the (modified) BSD license. See licenses/gpl-3.0.txt for more information. CVC4 can be optionally configured to link against CLN, the Class Library for diff --git a/contrib/cut-release b/contrib/cut-release index 224c3b0d9..f13d22298 100755 --- a/contrib/cut-release +++ b/contrib/cut-release @@ -249,11 +249,11 @@ if ! $SHELL -c '\ ./autogen.sh || echo "autoconf failed; does library_versions have something to match $version?"; \ mkdir "release-$version"; \ cd "release-$version"; \ - ../configure production-staticbinary --disable-shared --enable-unit-testing --with-portfolio --bsd '"$configantlr"'; \ + ../configure production-staticbinary --disable-shared --enable-unit-testing --with-portfolio --no-gpl '"$configantlr"'; \ make dist '"$makeargs"'; \ tar xf "cvc4-$version.tar.gz"; \ cd "cvc4-$version"; \ - ./configure production-staticbinary --disable-shared --enable-unit-testing --with-portfolio --bsd '"$configantlr"'; \ + ./configure production-staticbinary --disable-shared --enable-unit-testing --with-portfolio --no-gpl '"$configantlr"'; \ make check '"$makeargs"'; \ make distcheck '"$makeargs"'; \ '; then diff --git a/src/base/configuration.cpp b/src/base/configuration.cpp index fb4d94f9d..f907f212f 100644 --- a/src/base/configuration.cpp +++ b/src/base/configuration.cpp @@ -126,7 +126,7 @@ std::string Configuration::copyright() { << "the GNU General Public License (GPL) version 3. Versions of CVC4\n" << "are available that are covered by the (modified) BSD license. If\n" << "you want to license CVC4 under this license, please configure CVC4\n" - << "with the \"--bsd\" option before building from sources.\n\n"; + << "with the \"--no-gpl\" option before building from sources.\n\n"; } else { ss << "CVC4 is open-source and is covered by the BSD license (modified)." << "\n\n"; -- 2.30.2