From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Tue, 15 Oct 2019 20:59:41 +0000 (-0700)
Subject: Remove remaining references to Boost and Autotools (#3390)
X-Git-Tag: cvc5-1.0.0~3882
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c5eb0c1900e8cf12a18d15d8b1c0660c626bf137;p=cvc5.git

Remove remaining references to Boost and Autotools (#3390)

This commit removes references to Boost and Autotools in the copyright
information and CMakeLists.txt.
---

diff --git a/CMakeLists.txt b/CMakeLists.txt
index f8fe74130..5efce1260 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -237,8 +237,6 @@ if(ENABLE_SHARED)
 else()
   set(CMAKE_FIND_LIBRARY_SUFFIXES .a ${CMAKE_FIND_LIBRARY_SUFFIXES})
   set(BUILD_SHARED_LIBS OFF)
-  # This is required to force find_package(Boost) to use static libraries.
-  set(Boost_USE_STATIC_LIBS ON)
   cvc4_set_option(ENABLE_STATIC_BINARY ON)
 
   # Never build unit tests as static binaries, otherwise we'll end up with
diff --git a/COPYING b/COPYING
index 3299f4970..77462ae2d 100644
--- a/COPYING
+++ b/COPYING
@@ -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.