GNU bug report logs - #38214
[PATCH] gnu: Add minisat.

Previous Next

Full log

View this message in rfc822 format

From: "Robert Smith" <robertsmith <at> posteo.net>
To: 38214 <at> debbugs.gnu.org
Cc: m.othacehe <at> gmail.com
Subject: [bug#38214] [PATCH] gnu: Add minisat.
Date: Fri, 15 Nov 2019 21:00:27 +0100

On Fri Nov 15, 2019 at 4:03 PM Mathieu Othacehe wrote:
> > +          (search-patches "minisat-friend-declaration.patch"
> > +                          "minisat-mroot-and-install.patch"))))
> 
> Why are these patch needed? It seems that the last release was a long
> time ago, maybe we should package it from a git commit?

Thanks for the catch, I didn't realize that the git repo was so far
ahead of the last release.

> > +        ("kernel-headers" ,linux-libre-headers)))
>                       ^
>                       Is this really useful? It seems to build without.

I could have sworn that it refused to build without them, but testing
it now seems to work fine. I must have either been confused or it was
some other problem that I fixed.

Thanks for the feedback, I'll work on making the changes and submitting
a new patch.

-Robert

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.