From: Steven G. Johnson Date: Tue, 6 May 2014 19:02:27 +0000 (-0400) Subject: Merge pull request #15 from xantares/build-shared-libs-option X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=af39a8d825aff427d5c2cb9d9ff510d27bd6b8ee;p=nlopt.git Merge pull request #15 from xantares/build-shared-libs-option Use BUILD_SHARED_LIBS var --- af39a8d825aff427d5c2cb9d9ff510d27bd6b8ee