Many the setup and deploy changes!

abortz commented 8 years ago

Major items:

Factored out virtualenv stuff -- let developers use one or not, their choice. We use one in production.
Integrated z3 into repo: submodule and makefile integration (awkward because I didn't want to overlay changes onto the z3 repo)
(More) mature deployment setup: user-mode upstart service management, and git hook-based deploys. (systemd looks like its actually easier to get user services working, but not going to try on 14.04LTS)
Still memory leaks, but I've capped the size and upstart will helpfully keep the service up.

Take a look @eseidel !

eseidel commented 8 years ago

lgtm

eseidel commented 8 years ago

i should clearly setup travis for saycbridge. :)

abortz commented 8 years ago

Ha I was just looking at that! Concerned that travis-ci gets to see my private Dropbox repos -- silly Github permissions/user model...

eseidel / saycbridge