georgmartius/vid.stab — pull request #20 by TimothyGu (2014-08-16 01:04:54+00:00)
Title: Fix if BUILD_SHARED_LIBS is OFF

The option() disrupts toolchain files.