Update copyright header script to support CMake and Python files (#5067)

This PR updates the update-copyright.pl script to also update/add copyright headers to CMake specific files. It further fixes a small typo in the header.

16 files changed, 35 insertions, 15 deletions

diff --git a/src/base/CMakeLists.txt b/src/base/CMakeLists.txt
index a34716fea..e28bd78cc 100644
--- a/src/base/CMakeLists.txt
+++ b/src/base/CMakeLists.txt
@@ -1,3 +1,13 @@
+#####################
+## CMakeLists.txt
+## Top contributors (to current version):
+##   Mathias Preiner, Andrew V. Jones, Aina Niemetz
+## This file is part of the CVC4 project.
+## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## in the top-level source directory and their institutional affiliations.
+## All rights reserved.  See the file COPYING in the top-level source
+## directory for licensing information.
+##
 #-----------------------------------------------------------------------------#
 # Extract info from Git for git_versioninfo.cpp
 # Note: GitInfo.cmake generates git_versioninfo.cpp.
diff --git a/src/base/GitInfo.cmake.in b/src/base/GitInfo.cmake.in
index 2d02095dd..abcb64249 100644
--- a/src/base/GitInfo.cmake.in
+++ b/src/base/GitInfo.cmake.in
@@ -1,3 +1,13 @@
+#####################
+## GitInfo.cmake.in
+## Top contributors (to current version):
+##   Aina Niemetz, Mathias Preiner
+## This file is part of the CVC4 project.
+## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## in the top-level source directory and their institutional affiliations.
+## All rights reserved.  See the file COPYING in the top-level source
+## directory for licensing information.
+##
 set(GIT_BUILD "false")
 set(GIT_IS_DIRTY "false")
 set(GIT_SHA1 "")
diff --git a/src/base/check.cpp b/src/base/check.cpp
index b81e7b457..d1fbc28b4 100644
--- a/src/base/check.cpp
+++ b/src/base/check.cpp
@@ -5,7 +5,7 @@
  **   Mathias Preiner, Morgan Deters, Tim King
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
+ ** in the top-level source directory and their institutional affiliations.
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **
diff --git a/src/base/check.h b/src/base/check.h
index 614a844fd..c7a6b24aa 100644
--- a/src/base/check.h
+++ b/src/base/check.h
@@ -5,7 +5,7 @@
  **   Mathias Preiner, Tim King, Andres Noetzli
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
+ ** in the top-level source directory and their institutional affiliations.
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **
diff --git a/src/base/configuration.cpp b/src/base/configuration.cpp
index 9da813253..98c323626 100644
--- a/src/base/configuration.cpp
+++ b/src/base/configuration.cpp
@@ -5,7 +5,7 @@
  **   Morgan Deters, Aina Niemetz, Mathias Preiner
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
+ ** in the top-level source directory and their institutional affiliations.
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **
diff --git a/src/base/configuration.h b/src/base/configuration.h
index 9d558f502..b91ce5e20 100644
--- a/src/base/configuration.h
+++ b/src/base/configuration.h
@@ -5,7 +5,7 @@
  **   Morgan Deters, Francois Bobot, Mathias Preiner
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
+ ** in the top-level source directory and their institutional affiliations.
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **
diff --git a/src/base/configuration_private.h b/src/base/configuration_private.h
index fcfc6d500..1df78fa22 100644
--- a/src/base/configuration_private.h
+++ b/src/base/configuration_private.h
@@ -5,7 +5,7 @@
  **   Christopher L. Conway, Andres Noetzli, Morgan Deters
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
+ ** in the top-level source directory and their institutional affiliations.
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **
diff --git a/src/base/exception.cpp b/src/base/exception.cpp
index 5e9135021..2a8dc8d10 100644
--- a/src/base/exception.cpp
+++ b/src/base/exception.cpp
@@ -5,7 +5,7 @@
  **   Tim King, Morgan Deters, Andres Noetzli
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
+ ** in the top-level source directory and their institutional affiliations.
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **
diff --git a/src/base/exception.h b/src/base/exception.h
index afd5731e9..1d49d94cc 100644
--- a/src/base/exception.h
+++ b/src/base/exception.h
@@ -5,7 +5,7 @@
  **   Morgan Deters, Tim King, Mathias Preiner
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
+ ** in the top-level source directory and their institutional affiliations.
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **
diff --git a/src/base/git_versioninfo.cpp.in b/src/base/git_versioninfo.cpp.in
index 478ea1f9c..e2ea31916 100644
--- a/src/base/git_versioninfo.cpp.in
+++ b/src/base/git_versioninfo.cpp.in
@@ -5,7 +5,7 @@
  **   Aina Niemetz, Mathias Preiner
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
+ ** in the top-level source directory and their institutional affiliations.
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **
diff --git a/src/base/listener.cpp b/src/base/listener.cpp
index 0800e4b43..72f9ee086 100644
--- a/src/base/listener.cpp
+++ b/src/base/listener.cpp
@@ -5,7 +5,7 @@
  **   Tim King
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
+ ** in the top-level source directory and their institutional affiliations.
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **
diff --git a/src/base/listener.h b/src/base/listener.h
index 2e682b7ba..15256ab01 100644
--- a/src/base/listener.h
+++ b/src/base/listener.h
@@ -2,10 +2,10 @@
 /*! \file listener.h
  ** \verbatim
  ** Top contributors (to current version):
- **   Tim King, Andres Noetzli, Mathias Preiner
+ **   Tim King, Mathias Preiner
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
+ ** in the top-level source directory and their institutional affiliations.
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **
diff --git a/src/base/map_util.h b/src/base/map_util.h
index 5c2bd5820..77267df69 100644
--- a/src/base/map_util.h
+++ b/src/base/map_util.h
@@ -5,7 +5,7 @@
  **   Tim King, Mathias Preiner
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
+ ** in the top-level source directory and their institutional affiliations.
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **
diff --git a/src/base/modal_exception.h b/src/base/modal_exception.h
index 76fe5c841..ec4303940 100644
--- a/src/base/modal_exception.h
+++ b/src/base/modal_exception.h
@@ -5,7 +5,7 @@
  **   Morgan Deters, Andres Noetzli, Mathias Preiner
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
+ ** in the top-level source directory and their institutional affiliations.
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **
diff --git a/src/base/output.cpp b/src/base/output.cpp
index d6a45a3b2..4940d07d9 100644
--- a/src/base/output.cpp
+++ b/src/base/output.cpp
@@ -5,7 +5,7 @@
  **   Morgan Deters
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
+ ** in the top-level source directory and their institutional affiliations.
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **
diff --git a/src/base/output.h b/src/base/output.h
index c1e2dafad..e23f62783 100644
--- a/src/base/output.h
+++ b/src/base/output.h
@@ -5,7 +5,7 @@
  **   Morgan Deters, Andres Noetzli, Dejan Jovanovic
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
+ ** in the top-level source directory and their institutional affiliations.
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **