Avoid the default dynamic executable, which depends on minisat.so
Instead install the release version, which is statically linked.

diff --git a/Makefile b/Makefile
index ceb9d77..7b91906 100644
--- a/Makefile
+++ b/Makefile
@@ -191,9 +191,9 @@ install-lib: $(BUILD_DIR)/release/lib/$(MINISAT_SLIB) $(BUILD_DIR)/dynamic/lib/$
 	ln -sf $(MINISAT_DLIB).$(SOMAJOR) $(DESTDIR)$(libdir)/$(MINISAT_DLIB)
 	$(INSTALL) -m 644 $(BUILD_DIR)/release/lib/$(MINISAT_SLIB) $(DESTDIR)$(libdir)
 
-install-bin: $(BUILD_DIR)/dynamic/bin/$(MINISAT)
+install-bin: $(BUILD_DIR)/release/bin/$(MINISAT)
 	$(INSTALL) -d $(DESTDIR)$(bindir)
-	$(INSTALL) -m 755 $(BUILD_DIR)/dynamic/bin/$(MINISAT) $(DESTDIR)$(bindir)
+	$(INSTALL) -m 755 $(BUILD_DIR)/release/bin/$(MINISAT) $(DESTDIR)$(bindir)
 
 clean:
 	rm -f $(foreach t, release debug profile dynamic, $(foreach o, $(SRCS:.cc=.o), $(BUILD_DIR)/$t/$o)) \
bmit' value='switch'/></form></td></tr>
<tr><td class='sub'>Wojtek's customized Guix</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=f5e0088affff914eb2f2ecb229e89c1f09642cda'>refs</a><a class='active' href='/guix/log/tests/import-github.scm'>log</a><a href='/guix/tree/tests/import-github.scm?id=f5e0088affff914eb2f2ecb229e89c1f09642cda'>tree</a><a href='/guix/commit/tests/import-github.scm?id=f5e0088affff914eb2f2ecb229e89c1f09642cda'>commit</a><a href='/guix/diff/tests/import-github.scm?id=f5e0088affff914eb2f2ecb229e89c1f09642cda'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/tests/import-github.scm'>
<input type='hidden' name='id' value='f5e0088affff914eb2f2ecb229e89c1f09642cda'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=f5e0088affff914eb2f2ecb229e89c1f09642cda'>root</a>/<a href='/guix/log/tests?id=f5e0088affff914eb2f2ecb229e89c1f09642cda'>tests</a>/<a href='/guix/log/tests/import-github.scm?id=f5e0088affff914eb2f2ecb229e89c1f09642cda'>import-github.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/tests/import-github.scm?id=f5e0088affff914eb2f2ecb229e89c1f09642cda&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2022-12-26 17:15:06 +0100'>2022-12-26</span></td><td><a href='/guix/commit/tests/import-github.scm?id=a274a6a1acb99738f02de7b226e6a0d3883ec353'>upstream-updater: Rename record field.</a><span class='msg-avail'>...<span class='msg-tooltip'>The next commits will make the functions, which are currently importing the
latest version of a package, change into importing the latest or a given
version of the package (for those updaters supporting specifying a version).
Thus the name ‘latest‘ is no longer appropriate.

* guix/upstream.scm (upstream-updater) Rename field [latest] to
  [import]. (lookup-updater, package-latest-release) Adjust fieldname
  accordingly.
* guix/gnu-maintenance.scm (%gnu-updater, %gnu-ftp-updater,
  %savannah-updater, %sourceforge-updater, %xorg-updater,
  %kernel.org-updater, %generic-html-updater),
  guix/import/cpan.scm (%cpan-updater),
  guix/import/cran.scm (%cran-updater, %bioconductor-updater),
  guix/import/crate.scm (%crate-updater),
  guix/import/egg.scm (%egg-updater),
  guix/import/elpa.scm (%elpa-updater),
  guix/import/gem.scm (%gem-updater),
  guix/import/git.scm (%generic-git-updater),
  guix/import/github.scm (%github-updater),
  guix/import/gnome.scm (%gnome-updater),
  guix/import/hackage.scm (%hackage-updater),
  guix/import/hexpm.scm (%hexpm-updater),
  guix/import/kde.scm (%kde-updater),
  guix/import/launchpad.scm (%launchpad-updater),
  guix/import/minetest.scm (%minetest-updater),
  guix/import/opam.scm (%opam-updater),
  guix/import/pypi.scm (%pypi-updater),
  guix/import/stackage.scm (%stackage-updater),
  tests/import-github.scm (found-sexp)
  tests/transformations.scm ("options-&gt;transformation, with-latest"):
  Adjust fieldname accordingly.
</span></span></td><td>Hartmut Goebel</td></tr>
<tr><td><span title='2022-03-07 22:49:27 +0100'>2022-03-07</span></td><td><a href='/guix/commit/tests/import-github.scm?id=667f21aea000b988f2587f9039be25e61a2cbb08'>tests: Adjust to (guix import github) changes.</a><span class='msg-avail'>...<span class='msg-tooltip'>This is a followup to a8d3033da61958c53c44dd5db90672bfc4533ef9.

* tests/import-github.scm (call-with-releases): Mock
'open-connection-for-uri'.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2022-01-16 23:56:56 +0100'>2022-01-16</span></td><td><a href='/guix/commit/tests/import-github.scm?id=81f036bfd23fb6e0f381ced2de27762fa9d1bb65'>import/github: Test it.</a><span class='msg-avail'>...<span class='msg-tooltip'>* Makefile.am (SCM_TESTS): Register new tests.
* guix/import/github.scm
  (%github-api): New variable.
  (fetch-releases-or-tags): Use the new variable.
* tests/import-github.scm: New file with tests.

Signed-off-by: Ludovic Courtès &lt;ludo@gnu.org&gt;
</span></span></td><td>Maxime Devos</td></tr>