Updated setup.py to create links to executables pysmt, pysmt-shell and pysmt-install

Author: marcogario

MANIFEST.in

@@ -1,3 +1,2 @@
-include LICENSE.txt, README.rst
-recursive-include docs *.txt
-include example.py
+include LICENSE README.rst
+recursive-include docs *.rst

setup.py

@@ -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',
+        ],
+    },
 )

shell.py

@@ -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()