From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 18 Sep 2014 13:17:08 +0000 (-0400)
Subject: Clarify some licensing-related things.
X-Git-Tag: cvc5-1.0.0~6509^2~28
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fbcece2280344e30eb6cb91e7eb8556941dfe0b5;p=cvc5.git

Clarify some licensing-related things.
---

diff --git a/AUTHORS b/AUTHORS
index 70baafd3c..5610fe063 100644
--- 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 b07cc669e..dddf4ed59 100644
--- 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 1d7736852..033e3b135 100644
--- 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 9bfa6f5fa..f3c4248ac 100755
--- 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 3644f786a..710c3274b 100644
--- 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 ]]
  **