From: Julien Schueller Date: Fri, 4 Nov 2016 13:13:53 +0000 (+0100) Subject: Merge pull request #102 from jschueller/libm X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=e777ea64e34c50c0feb993cb96463d1d2f59405a;p=nlopt.git Merge pull request #102 from jschueller/libm Detect libm --- e777ea64e34c50c0feb993cb96463d1d2f59405a