Clarify some licensing-related things.

diff --git a/AUTHORS b/AUTHORS
index 70baafd3c7c4824dfa62d67b5bc09b18bfcd98bd..5610fe0636c68bf6b132381f736561f92fc05d64 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -26,7 +26,7 @@ CVC4 contains the doxygen.m4 autoconf module by Oren Ben-Kiki.
 CVC4 contains the pkg.m4 autoconf module by Scott James Remnant.
 
 CVC4 contains the ax_tls.m4 autoconf module by Alan Woodland and Diego Elio
-Petteno.
+Petteno`.
 
 CVC4 contains the boost.m4 autoconf module by Benoit Sigoure.
 

diff --git a/COPYING b/COPYING
index b07cc669e37c0289a4b248d5e9ad0749b8eca95c..dddf4ed59f96eaee94f88a6f4d1ffc34f90f5568 100644 (file)
--- a/COPYING
+++ b/COPYING
@@ -120,7 +120,7 @@ http://www.gnu.org/software/autoconf-archive/ax_tls.html.
 See config/ax_tls.m4.  Its copyright:
 
   Copyright (c) 2008 Alan Woodland <ajw05@aber.ac.uk>
-  Copyright (c) 2010 Diego Elio Pettenò <flameeyes@gmail.com>
+  Copyright (c) 2010 Diego Elio Petteno` <flameeyes@gmail.com>
 
   This program is free software: you can redistribute it and/or modify it
   under the terms of the GNU General Public License as published by the

diff --git a/config/ax_tls.m4 b/config/ax_tls.m4
index 1d7736852b2c2b0d6f4c33cda355cd34f73f50ac..033e3b135b8d6264e0b3151c3528ae7b3a74c6ca 100644 (file)
--- a/config/ax_tls.m4
+++ b/config/ax_tls.m4
@@ -16,7 +16,7 @@
 # LICENSE
 #
 #   Copyright (c) 2008 Alan Woodland <ajw05@aber.ac.uk>
-#   Copyright (c) 2010 Diego Elio Pettenò <flameeyes@gmail.com>
+#   Copyright (c) 2010 Diego Elio Petteno` <flameeyes@gmail.com>
 #
 #   This program is free software: you can redistribute it and/or modify it
 #   under the terms of the GNU General Public License as published by the
@@ -44,7 +44,7 @@
 #   modified version of the Autoconf Macro, you may extend this special
 #   exception to the GPL to apply to your modified version as well.
 
-#serial 8
+#serial 10
 
 AC_DEFUN([AX_TLS], [
   AC_MSG_CHECKING(for thread local storage (TLS) class)

diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl
index 9bfa6f5fafe894bdb24d01b53a9238a4d4fb4553..f3c4248ac25dd24f7582b0a57525e9dda9e69ed5 100755 (executable)
--- a/contrib/update-copyright.pl
+++ b/contrib/update-copyright.pl
@@ -35,7 +35,7 @@
 #
 
 my $excluded_directories = '^(minisat|bvminisat|CVS|generated)$';
-my $excluded_paths = '^(src/parser/antlr_input_imports.cpp|src/bindings/compat/.*)$';
+my $excluded_paths = '^(src/parser/antlr_input_imports.cpp|src/bindings/compat/.*|src/util/channel.h)$';
 
 # Years of copyright for the template.  E.g., the string
 # "1985, 1987, 1992, 1997, 2008" or "2006-2009" or whatever.

diff --git a/src/util/channel.h b/src/util/channel.h
index 3644f786a81698a455627f93a9afaacac8e23ed2..710c3274b8be621891f8f837836bda23eeb16d53 100644 (file)
--- a/src/util/channel.h
+++ b/src/util/channel.h
@@ -4,10 +4,15 @@
  ** Original author: Morgan Deters
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2014  New York University and The University of Iowa
- ** See the file COPYING in the top-level source directory for licensing
- ** information.\endverbatim
+ ** This file is part of the CVC4 project but is excluded from the
+ ** standard CVC4 licensing because it is a derivative work of
+ ** circular_buffer.hpp in the BOOST 1.46.1 distribution.
+ ** Thus this file is covered by the Boost Software License, version 1.0.
+ ** See below.
+ **
+ ** The combined work is:
+ **   Copyright (c) 2009-2014  New York University and The University of Iowa
+ **   Copyright (c) 2003-2008  Jan Gaspar
  **
  ** \brief [[ Add one-line brief description here ]]
  **