diff options
| author | Andrew V. Jones <andrew.jones@vector.com> | 2020-02-03 07:16:20 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-02 23:16:20 -0800 |
| commit | bdb685d928d1f4bb570acdc6c8427217a6b6cbe3 (patch) | |
| tree | c4e1fa03c402e88c860d281daca0358748ff8f6c /COPYING | |
| parent | 7583e034bbd991877b634d50249bbccfd9e3c763 (diff) | |
Renaming '--bsd' to '--no-gpl' (#3609)
Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>
Diffstat (limited to 'COPYING')
| -rw-r--r-- | COPYING | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |