diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-10-15 13:59:41 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-15 13:59:41 -0700 |
commit | c5eb0c1900e8cf12a18d15d8b1c0660c626bf137 (patch) | |
tree | 846c6971125275cc94943b9d76beacef9f1c19ae /COPYING | |
parent | 3ee318ec4b2930fa1234c3f49894ba343008eca3 (diff) |
Remove remaining references to Boost and Autotools (#3390)
This commit removes references to Boost and Autotools in the copyright
information and CMakeLists.txt.
Diffstat (limited to 'COPYING')
-rw-r--r-- | COPYING | 17 |
1 files changed, 3 insertions, 14 deletions
@@ -47,27 +47,16 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. The CVC4 source code includes third-party software which has its own copyright and licensing terms, as described below. -Each of the following files contains third-party software. +The following file contains third-party software. - autogen.sh - config/ax_cxx_compile_stdcxx.m4 - config/ax_cxx_compile_stdcxx_11.m4 - config/ax_prog_doxygen.m4 - config/boost.m4 - config/doxygen.am - config/pkg.m4 + cmake/CodeCoverage.cmake -The copyright and licensing information for each of these files is in the -header of the corresponding file. +The copyright and licensing information of this file is in its header. CVC4 incorporates MiniSat code (see src/prop/minisat and src/prop/bvminisat), excluded from the above copyright. See src/prop/minisat/LICENSE and src/prop/bvminisat/LICENSE for copyright and licensing information. -CVC4 incorporates some code from Boost (see src/util/channel.h), excluded from -the above copyright. See licenses/channel.h-LICENSE for copyright and -licensing information. - CVC4 incorporates code from ANTLR3 (http://www.antlr3.org/), the files src/parser/bounded_token_buffer.h, src/parser/bounded_token_buffer.cpp, and src/parser/antlr_input_imports.cpp are excluded from the above copyright. |