diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-10-11 13:19:09 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-10-11 13:19:09 +0000 |
commit | ee65bafc737d36eaabb871c016e6756aef5bd115 (patch) | |
tree | 84caa2c67d92a379b5e26ced726cf2b34feb2417 /COPYING | |
parent | 171007ac1c30e869014182817a2f1e52a155cb1a (diff) |
Fix wording on GPL in legal notices; also remove an unnecessary source dependence.
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'COPYING')
-rw-r--r-- | COPYING | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -238,10 +238,10 @@ for Numbers, available here: http://www.ginac.de/CLN/ -Please be advised that as this class library is covered under the GPL, the -combined work, CVC4+CLN, is also covered under the GPL and cannot be used -by proprietary software projects. For the full text of the GPL, please -consult the CLN website. CVC4 does not require CLN; it can be built against -libgmp, the GNU Multiple Precision Arithmetic Library, which is covered by -the more permissive LGPL. To ensure that CLN is not used in the build, -configure CVC4 with "--without-cln". +Please be advised that as this class library is covered under the GPLv3, if +you choose to use the combined work, "CVC4+CLN," by building CVC4 with CLN, +then it is also covered under the GPLv3. If you want to make sure you build +a version of CVC4 that uses libgmp, the GNU Multiple Precision Arithmetic +Library, configure CVC4 with "--with-gmp" before building (though that is the +default). It can then be used in contexts where you want to license CVC4 +under the (modified) BSD license. |