Skip to content
Permalink
Browse files
Updated setup.py to create links to executables pysmt, pysmt-shell an…
…d pysmt-install
  • Loading branch information
marcogario committed Mar 7, 2015
1 parent b665035 commit 9b9705e28c1263d6db682dada4185571fb56a53d
Showing with 27 additions and 12 deletions.
  1. +2 −3 MANIFEST.in
  2. +17 −8 setup.py
  3. +8 −1 shell.py
@@ -1,3 +1,2 @@
include LICENSE.txt, README.rst
recursive-include docs *.txt
include example.py
include LICENSE README.rst
recursive-include docs *.rst
@@ -1,16 +1,25 @@
from distutils.core import setup
#from distutils.core import setup
from setuptools import setup, find_packages

setup(
name='PySMT',
version='0.2.2',
version='0.2.3.dev',
author='PySMT Team',
author_email='',
packages=['pysmt', 'pysmt.smtlib', 'pysmt.solvers',
'pysmt.utils', 'pysmt.walkers',
'pysmt.test', 'pysmt.test.smtlib'],
author_email='info@pysmt.org',
packages = find_packages(),
include_package_data = True,
# packages=['pysmt', 'pysmt.smtlib', 'pysmt.solvers',
# 'pysmt.utils', 'pysmt.walkers',
# 'pysmt.test', 'pysmt.test.smtlib'],
url='http://www.pysmt.org',
license='LICENSE',
license='APACHE',
description='A library for SMT Formulae manipulation and solving',
long_description=open('README.rst').read(),
install_requires=[ ],
entry_points={
'console_scripts': [
'pysmt = shell:main',
'pysmt-shell = shell:main_interactive',
'pysmt-install = install:main',
],
},
)
@@ -130,7 +130,14 @@ def main(self):
input_stream = open(self.args.file, "r")
self.smtlib_solver(input_stream)

def main_interactive():
shell = PysmtShell(sys.argv[1:])
shell.interactive()

if __name__ == "__main__":
def main():
shell = PysmtShell(sys.argv[1:])
shell.main()


if __name__ == "__main__":
main()

0 comments on commit 9b9705e

Please sign in to comment.