diff options
Diffstat (limited to 'src/api')
-rw-r--r-- | src/api/cvc4cpp.cpp | 4 | ||||
-rw-r--r-- | src/api/cvc4cpp.h | 2 | ||||
-rw-r--r-- | src/api/cvc4cppkind.h | 2 | ||||
-rw-r--r-- | src/api/python/CMakeLists.txt | 10 | ||||
-rw-r--r--[-rwxr-xr-x] | src/api/python/genkinds.py | 10 | ||||
-rw-r--r-- | src/api/python/setup.py.in | 26 |
6 files changed, 42 insertions, 12 deletions
diff --git a/src/api/cvc4cpp.cpp b/src/api/cvc4cpp.cpp index f0dabc11b..47cc7234f 100644 --- a/src/api/cvc4cpp.cpp +++ b/src/api/cvc4cpp.cpp @@ -2,10 +2,10 @@ /*! \file cvc4cpp.cpp ** \verbatim ** Top contributors (to current version): - ** Aina Niemetz, Makai Mann, Andrew Reynolds + ** Aina Niemetz, Andrew Reynolds, 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/api/cvc4cpp.h b/src/api/cvc4cpp.h index acf34abf9..2cb042540 100644 --- a/src/api/cvc4cpp.h +++ b/src/api/cvc4cpp.h @@ -5,7 +5,7 @@ ** Aina Niemetz, Andrew Reynolds, Abdalrhman Mohamed ** 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/api/cvc4cppkind.h b/src/api/cvc4cppkind.h index f1f035460..94a212fe5 100644 --- a/src/api/cvc4cppkind.h +++ b/src/api/cvc4cppkind.h @@ -5,7 +5,7 @@ ** Aina Niemetz, Andrew Reynolds, Makai Mann ** 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/api/python/CMakeLists.txt b/src/api/python/CMakeLists.txt index 1998954e5..dde29110f 100644 --- a/src/api/python/CMakeLists.txt +++ b/src/api/python/CMakeLists.txt @@ -1,3 +1,13 @@ +##################### +## CMakeLists.txt +## Top contributors (to current version): +## Makai Mann +## 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. +## if(POLICY CMP0057) # For cmake >= 3.3 this policy changed the behavior of IN_LIST # if the policy exists, we use the NEW behavior diff --git a/src/api/python/genkinds.py b/src/api/python/genkinds.py index 77b168dea..6f54657a8 100755..100644 --- a/src/api/python/genkinds.py +++ b/src/api/python/genkinds.py @@ -1,4 +1,14 @@ #!/usr/bin/env python +##################### +## genkinds.py +## Top contributors (to current version): +## Makai Mann +## 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. +## """ This script reads CVC4/src/api/cvc4cppkind.h and generates .pxd and .pxi files which declare all the CVC4 kinds and diff --git a/src/api/python/setup.py.in b/src/api/python/setup.py.in index 079aa468e..0138da034 100644 --- a/src/api/python/setup.py.in +++ b/src/api/python/setup.py.in @@ -1,12 +1,22 @@ #!/usr/bin/env python - -# This script is automatically configured with cmake when CVC4 -# is built with --python-bindings. It is called during make -# install to automatically install the python bindings using -# distutils. -# If it is called from a python virtualenv, the bindings are -# installed in the virtualenv, otherwise, it respects the -# configured install prefix using the setup.py --prefix option +##################### +## setup.py.in +## Top contributors (to current version): +## Makai Mann +## 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. +## +## This script is automatically configured with cmake when CVC4 +## is built with --python-bindings. It is called during make +## install to automatically install the python bindings using +## distutils. +## If it is called from a python virtualenv, the bindings are +## installed in the virtualenv, otherwise, it respects the +## configured install prefix using the setup.py --prefix option +## from distutils.core import setup from distutils.command.clean import clean |