facebook/rocksdb — pull request #326 by ddispaltro (2014-09-30 23:55:52+00:00)
Title: Fix library resolution to match output via Makefile

To be more correct this should move to `System.mapLibraryName(name)`, but this works for now.