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.

25 files changed, 250 insertions, 0 deletions

diff --git a/cmake/CVC4Config.cmake.in b/cmake/CVC4Config.cmake.in
index 7f6a80995..ea778241f 100644
--- a/cmake/CVC4Config.cmake.in
+++ b/cmake/CVC4Config.cmake.in
@@ -1,3 +1,13 @@
+#####################
+## CVC4Config.cmake.in
+## Top contributors (to current version):
+##   Mathias Preiner, 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.
+## All rights reserved.  See the file COPYING in the top-level source
+## directory for licensing information.
+##
 @PACKAGE_INIT@
 
 set(CVC4_BINDINGS_JAVA @BUILD_BINDINGS_JAVA@)
diff --git a/cmake/ConfigCompetition.cmake b/cmake/ConfigCompetition.cmake
index d7188f60a..0cdb6c400 100644
--- a/cmake/ConfigCompetition.cmake
+++ b/cmake/ConfigCompetition.cmake
@@ -1,3 +1,13 @@
+#####################
+## ConfigCompetition.cmake
+## Top contributors (to current version):
+##   Aina Niemetz, 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.
+## All rights reserved.  See the file COPYING in the top-level source
+## directory for licensing information.
+##
 add_definitions(-DCVC4_COMPETITION_MODE)
 add_check_c_cxx_flag("-funroll-all-loops")
 add_check_c_cxx_flag("-fexpensive-optimizations")
diff --git a/cmake/ConfigDebug.cmake b/cmake/ConfigDebug.cmake
index 1ee78a602..4547232dd 100644
--- a/cmake/ConfigDebug.cmake
+++ b/cmake/ConfigDebug.cmake
@@ -1,3 +1,13 @@
+#####################
+## ConfigDebug.cmake
+## Top contributors (to current version):
+##   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.
+##
 add_definitions(-DCVC4_DEBUG)
 set(CVC4_DEBUG 1)
 add_check_c_cxx_flag("-fno-inline")
diff --git a/cmake/ConfigProduction.cmake b/cmake/ConfigProduction.cmake
index 503f5d58f..0aca93aa6 100644
--- a/cmake/ConfigProduction.cmake
+++ b/cmake/ConfigProduction.cmake
@@ -1,3 +1,13 @@
+#####################
+## ConfigProduction.cmake
+## Top contributors (to current version):
+##   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.
+##
 # OPTLEVEL=3
 set(OPTIMIZATION_LEVEL 3)
 # enable_debug_symbols=no
diff --git a/cmake/ConfigTesting.cmake b/cmake/ConfigTesting.cmake
index cdc9e3af8..b8eda22d8 100644
--- a/cmake/ConfigTesting.cmake
+++ b/cmake/ConfigTesting.cmake
@@ -1,3 +1,13 @@
+#####################
+## ConfigTesting.cmake
+## 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.
+##
 # OPTLEVEL=2
 set(OPTIMIZATION_LEVEL 2)
 # enable_debug_symbols=yes
diff --git a/cmake/ConfigureCVC4.cmake b/cmake/ConfigureCVC4.cmake
index 67c1f414d..6da71dc64 100644
--- a/cmake/ConfigureCVC4.cmake
+++ b/cmake/ConfigureCVC4.cmake
@@ -1,3 +1,13 @@
+#####################
+## ConfigureCVC4.cmake
+## Top contributors (to current version):
+##   Mathias Preiner, Makai Mann, 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.
+##
 include(CheckCXXSourceCompiles)
 include(CheckIncludeFile)
 include(CheckIncludeFileCXX)
diff --git a/cmake/FindABC.cmake b/cmake/FindABC.cmake
index a6f182654..0ed3b1c59 100644
--- a/cmake/FindABC.cmake
+++ b/cmake/FindABC.cmake
@@ -1,3 +1,13 @@
+#####################
+## FindABC.cmake
+## Top contributors (to current version):
+##   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.
+##
 # Find ABC
 # ABC_FOUND - system has ABC lib
 # ABC_INCLUDE_DIR - the ABC include directory
diff --git a/cmake/FindANTLR.cmake b/cmake/FindANTLR.cmake
index e12af826a..610d0c01c 100644
--- a/cmake/FindANTLR.cmake
+++ b/cmake/FindANTLR.cmake
@@ -1,3 +1,13 @@
+#####################
+## FindANTLR.cmake
+## Top contributors (to current version):
+##   Mathias Preiner, 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.
+##
 # Find ANTLR
 # ANTLR_FOUND - system has ANTLR lib
 # ANTLR_BINARY - the ANTLR binary
diff --git a/cmake/FindCLN.cmake b/cmake/FindCLN.cmake
index 7b2e6f0f4..a863e1bb2 100644
--- a/cmake/FindCLN.cmake
+++ b/cmake/FindCLN.cmake
@@ -1,3 +1,13 @@
+#####################
+## FindCLN.cmake
+## Top contributors (to current version):
+##   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.
+##
 # Find CLN
 # CLN_FOUND - system has CLN lib
 # CLN_INCLUDE_DIR - the CLN include directory
diff --git a/cmake/FindCaDiCaL.cmake b/cmake/FindCaDiCaL.cmake
index 5ca7ce7b0..0f712a58c 100644
--- a/cmake/FindCaDiCaL.cmake
+++ b/cmake/FindCaDiCaL.cmake
@@ -1,3 +1,13 @@
+#####################
+## FindCaDiCaL.cmake
+## Top contributors (to current version):
+##   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.
+##
 # Find CaDiCaL
 # CaDiCaL_FOUND - system has CaDiCaL lib
 # CaDiCaL_INCLUDE_DIR - the CaDiCaL include directory
diff --git a/cmake/FindCryptoMiniSat.cmake b/cmake/FindCryptoMiniSat.cmake
index 44b30ba7e..8578bb038 100644
--- a/cmake/FindCryptoMiniSat.cmake
+++ b/cmake/FindCryptoMiniSat.cmake
@@ -1,3 +1,13 @@
+#####################
+## FindCryptoMiniSat.cmake
+## Top contributors (to current version):
+##   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.
+##
 # Find CryptoMiniSat
 # CryptoMiniSat_FOUND - system has CryptoMiniSat lib
 # CryptoMiniSat_INCLUDE_DIR - the CryptoMiniSat include directory
diff --git a/cmake/FindCxxTest.cmake b/cmake/FindCxxTest.cmake
index 2348edb98..f21a4fe0d 100644
--- a/cmake/FindCxxTest.cmake
+++ b/cmake/FindCxxTest.cmake
@@ -1,3 +1,13 @@
+#####################
+## FindCxxTest.cmake
+## Top contributors (to current version):
+##   Mathias Preiner, Alex Ozdemir, Andrew Reynolds
+## 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.
+##
 # Find CxxTest
 # CxxTest_FOUND - system has CxxTest lib
 # CxxTest_INCLUDE_DIR - the CxxTest include directory
diff --git a/cmake/FindDrat2Er.cmake b/cmake/FindDrat2Er.cmake
index dc6f2a9b0..29147e708 100644
--- a/cmake/FindDrat2Er.cmake
+++ b/cmake/FindDrat2Er.cmake
@@ -1,3 +1,13 @@
+#####################
+## FindDrat2Er.cmake
+## Top contributors (to current version):
+##   Alex Ozdemir, 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.
+##
 # Find drat2er
 # Drat2Er_FOUND - system has Drat2Er lib
 # Drat2Er_INCLUDE_DIR - the Drat2Er include directory
diff --git a/cmake/FindEditline.cmake b/cmake/FindEditline.cmake
index aa4b90d7a..125abb71e 100644
--- a/cmake/FindEditline.cmake
+++ b/cmake/FindEditline.cmake
@@ -1,3 +1,13 @@
+#####################
+## FindEditline.cmake
+## Top contributors (to current version):
+##   Andrew V. Jones, 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.
+##
 # Find Editline
 # Editline_FOUND - found Editline lib
 # Editline_INCLUDE_DIRS - the Editline include directory
diff --git a/cmake/FindGLPK.cmake b/cmake/FindGLPK.cmake
index 390992639..690121039 100644
--- a/cmake/FindGLPK.cmake
+++ b/cmake/FindGLPK.cmake
@@ -1,3 +1,13 @@
+#####################
+## FindGLPK.cmake
+## Top contributors (to current version):
+##   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.
+##
 # Find GLPK-cut-log
 # GLPK_FOUND - system has GLPK lib
 # GLPK_INCLUDE_DIR - the GLPK include directory
diff --git a/cmake/FindGMP.cmake b/cmake/FindGMP.cmake
index 08cee9690..f30ef5f86 100644
--- a/cmake/FindGMP.cmake
+++ b/cmake/FindGMP.cmake
@@ -1,3 +1,13 @@
+#####################
+## FindGMP.cmake
+## 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.
+##
 # Find GMP
 # GMP_FOUND - system has GMP lib
 # GMP_INCLUDE_DIR - the GMP include directory
diff --git a/cmake/FindHamcrest.cmake b/cmake/FindHamcrest.cmake
index 96fde96ba..6115bb960 100644
--- a/cmake/FindHamcrest.cmake
+++ b/cmake/FindHamcrest.cmake
@@ -1,3 +1,13 @@
+#####################
+## FindHamcrest.cmake
+## Top contributors (to current version):
+##   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.
+##
 # Find Hamcrest
 # Hamcrest_FOUND - system has Hamcrest lib
 # Hamcrest_JAR - the Hamcrest jar file
diff --git a/cmake/FindJUnit.cmake b/cmake/FindJUnit.cmake
index 1fd4ebb2d..cbea213a6 100644
--- a/cmake/FindJUnit.cmake
+++ b/cmake/FindJUnit.cmake
@@ -1,3 +1,13 @@
+#####################
+## FindJUnit.cmake
+## Top contributors (to current version):
+##   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.
+##
 # Find JUnit
 # JUnit_FOUND - system has JUnit lib
 # JUnit_JAR - JUnit jar file
diff --git a/cmake/FindKissat.cmake b/cmake/FindKissat.cmake
index cc5311ad4..ee0ee8c8a 100644
--- a/cmake/FindKissat.cmake
+++ b/cmake/FindKissat.cmake
@@ -1,3 +1,13 @@
+#####################
+## FindKissat.cmake
+## Top contributors (to current version):
+##   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.
+##
 # Find Kissat
 # Kissat_FOUND - found Kissat lib
 # Kissat_INCLUDE_DIR - the Kissat include directory
diff --git a/cmake/FindLFSC.cmake b/cmake/FindLFSC.cmake
index 786af14be..06924336b 100644
--- a/cmake/FindLFSC.cmake
+++ b/cmake/FindLFSC.cmake
@@ -1,3 +1,13 @@
+#####################
+## FindLFSC.cmake
+## Top contributors (to current version):
+##   Mathias Preiner, 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.
+## All rights reserved.  See the file COPYING in the top-level source
+## directory for licensing information.
+##
 # Find LFSC
 # LFSC_FOUND - system has LFSC lib
 # LFSC_INCLUDE_DIR - the LFSC include directory
diff --git a/cmake/FindPoly.cmake b/cmake/FindPoly.cmake
index 5f4383732..6bcf13d48 100644
--- a/cmake/FindPoly.cmake
+++ b/cmake/FindPoly.cmake
@@ -1,3 +1,13 @@
+#####################
+## FindPoly.cmake
+## Top contributors (to current version):
+##   Gereon Kremer
+## 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.
+##
 # Find LibPoly
 # POLY_FOUND - system has LibPoly
 # POLY_INCLUDE_DIR - the LibPoly include directory
diff --git a/cmake/FindSymFPU.cmake b/cmake/FindSymFPU.cmake
index dd9dbe113..1cfaddec7 100644
--- a/cmake/FindSymFPU.cmake
+++ b/cmake/FindSymFPU.cmake
@@ -1,3 +1,13 @@
+#####################
+## FindSymFPU.cmake
+## Top contributors (to current version):
+##   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.
+##
 # Find SymFPU
 # SymFPU_FOUND - system has SymFPU lib
 # SymFPU_INCLUDE_DIR - the SymFPU include directory
diff --git a/cmake/FindValgrind.cmake b/cmake/FindValgrind.cmake
index 4c5cb1d28..f69179e48 100644
--- a/cmake/FindValgrind.cmake
+++ b/cmake/FindValgrind.cmake
@@ -1,3 +1,13 @@
+#####################
+## FindValgrind.cmake
+## Top contributors (to current version):
+##   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.
+##
 # Find Valgrind
 # Valgrind_FOUND - system has Valgrind lib
 # Valgrind_INCLUDE_DIR - the Valgrind include directory
diff --git a/cmake/Helpers.cmake b/cmake/Helpers.cmake
index 79c8f7bf2..426602d17 100644
--- a/cmake/Helpers.cmake
+++ b/cmake/Helpers.cmake
@@ -1,3 +1,13 @@
+#####################
+## Helpers.cmake
+## Top contributors (to current version):
+##   Mathias Preiner, Aina Niemetz, 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.
+## All rights reserved.  See the file COPYING in the top-level source
+## directory for licensing information.
+##
 include(CheckCCompilerFlag)
 include(CheckCXXCompilerFlag)
 
diff --git a/cmake/Toolchain-mingw64.cmake b/cmake/Toolchain-mingw64.cmake
index 85c0622ed..604de4159 100644
--- a/cmake/Toolchain-mingw64.cmake
+++ b/cmake/Toolchain-mingw64.cmake
@@ -1,3 +1,13 @@
+#####################
+## Toolchain-mingw64.cmake
+## Top contributors (to current version):
+##   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.
+##
 # Toolchain file for building for Windows from Ubuntu.
 #
 # Use: cmake .. -DCMAKE_TOOLCHAIN_FILE=../cmake/Toolchain-mingw64.cmake