Permalink
Browse files

Fixed binaries in pypi distribution (#48)

Added directory pysmt/cmd for commands/binaries to distribute. This
makes the importing of these "utilities" cleaner, since now they are
within the pysmt module. I.e., pysmt.cmd.install .
  • Loading branch information...
marcogario committed Mar 15, 2015
1 parent ed088aa commit 8d448b844d529ca072214eb250e3bdae543c71c3
Showing with 663 additions and 622 deletions.
  1. +2 −496 install.py
  2. 0 pysmt/cmd/__init__.py
  3. +513 −0 pysmt/cmd/install.py
  4. +143 −0 pysmt/cmd/shell.py
  5. +3 −3 setup.py
  6. +2 −123 shell.py
Oops, something went wrong.

0 comments on commit 8d448b8

Please sign in to comment.