search

maurer / holmes

Datalog engine with extensions for integrating analyses
MIT License
38 stars 4 forks source link

Make build work inside a container #9

Closed maurer closed 8 years ago

maurer commented 8 years ago

Travis will build things a bit faster if you can be built w/o sudo, and these modifications should make that possible.

Additionally (and I won't know if this worked until it goes to master) this should generate docs.