https://bugzilla.redhat.com/show_bug.cgi?id=1029227 --- Comment #3 from Jerry James <loganjerry@xxxxxxxxx> --- I could do that, but I am currently not planning to build cvc4 for anything earlier than F-20 anyway, and if I do, then I prefer to modify the spec file for the earlier git branches, rather than use conditionals. In the meantime, cvc4 version 1.3 has been released. I have updated the package for that release. After conferring with upstream, instead of using a patch, Fedora's glpk package is dealt with by passing additional CPPFLAGS to configure. If a reviewer wishes to build the package for F-19 or earlier, (s)he should remove "-DFEDORA_GLPK_ITCNT" and "-Dlpx_get_int_parm(x,y)=glp_get_it_cnt(x)" from CPPFLAGS. Spec URL: http://jjames.fedorapeople.org/cvc4/cvc4.spec SRPM URL: http://jjames.fedorapeople.org/cvc4/cvc4-1.3-1.fc21.src.rpm -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review