1 commit

Author	SHA1	Message	Date
Zhenyu Guo	f1e5789c26	restructure how to organize 3rd party libs (#1630) ... * restructure how to organize 3rd party libs * Minor whitespace changes. * Fix compilation on Linux. * Pass around Python executable so that the correct version of Python is used.	2018-03-01 14:29:56 -08:00