Robert Smith 3b7828cc7f gnu: Add minisat. ...

* 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>

2019-11-19 17:27:58 +01:00

883 B

Raw Permalink Blame History

View Raw