klee/klee — pull request #174 by delcypher (2014-11-01 21:59:20+00:00)
Title: Allow stp installed in root

Also simplify autoconf/makefile code by removing support for ``libstp`` when it needed Boost libraries.

Once I know the Travis build succeeds I'll merge this.