opscode/dep-selector-libgecode — pull request #7 by danielsdeleo (2014-04-10 16:26:24+00:00)
Title: Patch `configure` on windows to use mthread instead of pthread

The necessity of this patch seems to depend on which version of mingw you're using, see inline comment.