diff options
| author | Tim King <taking@cs.nyu.edu> | 2013-04-26 17:10:21 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-26 17:10:21 -0400 |
| commit | 9098391fe334d829ec4101f190b8f1fa21c30752 (patch) | |
| tree | b134fc1fe1c767a50013e1449330ca6a7ee18a3d /src/util/configuration_private.h | |
| parent | a9174ce4dc3939bbe14c9aa1fd11c79c7877eb16 (diff) | |
FCSimplex branch merge
Diffstat (limited to 'src/util/configuration_private.h')
| -rw-r--r-- | src/util/configuration_private.h | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/src/util/configuration_private.h b/src/util/configuration_private.h index 272766ff4..3b3115887 100644 --- a/src/util/configuration_private.h +++ b/src/util/configuration_private.h @@ -101,6 +101,12 @@ namespace CVC4 { # define IS_CLN_BUILD false #endif /* CVC4_CLN_IMP */ +#if CVC4_USE_GLPK +# define IS_GLPK_BUILD true +#else /* CVC4_USE_GLPK */ +# define IS_GLPK_BUILD false +#endif /* CVC4_USE_GLPK */ + #ifdef TLS # define USING_TLS true #else /* TLS */ @@ -124,13 +130,20 @@ Copyright (C) 2009, 2010, 2011, 2012, 2013\n\ This CVC4 library uses CLN as its multi-precision arithmetic library.\n\n\ 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\ +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\n\ +" : ( IS_GLPK_BUILD ? "\ +This CVC4 library uses GLPK in its arithmetic solver.\n\n\ +CVC4 is open-source and is covered by the BSD license (modified).\n\ +However, GLPK, the GNU Linear Programming Kit, is covered by the GPLv3,\n\ +and so this \"combined\" work, CVC4+GLPK, is covered by the GPLv3 as well.\n\ +Please consult the CVC4 documentation for instructions about building\n\ +without GLPK 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 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" ) |