diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-10-11 17:32:45 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-10-11 17:32:45 +0000 |
| commit | 1ddacacb1a002fa38292f523f30df50b9e3d70fe (patch) | |
| tree | 6baf328d80841845da2a6363c94f8adb5a5a8c90 | |
| parent | 559710702e4df3ddaac4905705cf93c08502984b (diff) | |
minor changes in wording for "cvc4 --version", and point to the COPYING file for full info
| -rw-r--r-- | src/util/configuration_private.h | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/util/configuration_private.h b/src/util/configuration_private.h index 542f1b8ae..c480b4318 100644 --- a/src/util/configuration_private.h +++ b/src/util/configuration_private.h @@ -129,10 +129,14 @@ CVC4 is open-source and is covered by the BSD license (modified).\n\ However, CLN, the Class Library for Numbers, is covered by the GPLv3,\n\ and so this \"combined\" work, CVC4+CLN, is covered by the GPLv3 as well\n\ Please consult the CVC4 documentation for instructions about building\n\ -without CLN if you want to license CVC4 under the (modified) BSD license.\n" : \ +without CLN if you want to license CVC4 under the (modified) BSD license.\n\n\ +" : \ "This CVC4 library uses GMP as its multi-precision arithmetic library.\n\n\ CVC4 is open-source and is covered by the BSD license (modified).\n\n\ -THIS SOFTWARE PROVIDED AS-IS, WITHOUT ANY WARRANTIES. USE IT AT YOUR OWN RISK.\n" ) ) +" ) + "\ +THIS SOFTWARE PROVIDED AS-IS, WITHOUT ANY WARRANTIES. USE AT YOUR OWN RISK.\n\n\ +See the file COPYING (distributed with the source code, and with all binaries)\n\ +for the full CVC4 copyright, licensing, and (lack of) warranty information.\n" ) }/* CVC4 namespace */ |