OKullmann/oklibrary — pull request #434 by MGwynne (2013-05-18 13:56:30+00:00)
Title: Updating glucose to version 2.2.

Branch: glucose_22.

Updating glucose to version 2.2.

Note that this means that versions 1.0 and 2.0 will no longer build due to a change in the glucose build procedure.

I have checked that glucose builds correctly using the OKlibrary zlib. I did this by running "make r" to build glucose_release instead of "make rs" to build glucose_static, and then running ldd to check which libraries it was using.

Matthew