Monthly Archives: January 2013

GCC 4.7.0 or higher now required to build ALLPATHS-LG

As of release 44849, GCC 4.7.0 (or higher) is now required to build ALLPATHS-LG. We have made thisĀ transitionĀ in order to benefit from the many exciting new features afforded by the C++11 standard. If you are unable to access the latest … Continue reading

Posted in News, Release | Leave a comment