diff options
Diffstat (limited to 'src/api/python/setup.py.in')
| -rw-r--r-- | src/api/python/setup.py.in | 26 |
1 files changed, 18 insertions, 8 deletions
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 |