summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/minisat-install.patch
AgeCommit message (Collapse)Author
2019-11-19gnu: Add minisat.Robert Smith
* gnu/packages/patches/minisat-friend-declaration.patch: New file. * gnu/packages/patches/minisat-install.patch: New file. * gnu/local.mk (dist_patch_DATA): Add both files above. * gnu/packages/maths.scm (minisat): New exported variable. Signed-off-by: Mathieu Othacehe <m.othacehe@gmail.com>