Zhenyu GuoandRobert Nishihara 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

..

scripts

restructure how to organize 3rd party libs (#1630)

2018-03-01 14:29:56 -08:00