On Fri, Sep 20, 2024 at 10:56:18AM +0200, Ole Schuerks wrote: > diff --git a/scripts/kconfig/install-picosat.sh b/scripts/kconfig/install-picosat.sh > new file mode 100755 > index 000000000000..aadfa9582ecb > --- /dev/null > +++ b/scripts/kconfig/install-picosat.sh > @@ -0,0 +1,29 @@ > +#!/bin/bash > +# SPDX-License-Identifier: GPL-2.0 > + > +psinstdir=$(mktemp -d) > +if [ $? -ne 0 ]; then > + echo "mktemp failed" > + exit 1 > +fi > +cd $psinstdir > +wget "https://fmv.jku.at/picosat/picosat-965.tar.gz"; > +tar -xf picosat-965.tar.gz > +cd picosat-965 > +cp makefile.in makefile.in2 > +# change soname to conform with packages for Debian and Fedora > +sed -e "s,-soname -Xlinker libpicosat.so,-soname -Xlinker \ > + libpicosat-trace.so.0," makefile.in2 > makefile.in > +./configure.sh -O -t --shared > +make libpicosat.so Imagine if the kernel did the same thing for all the libraries we use, so this is just not scalable. Instead it would be better for you to intent to package this onto something like debian as a library for picosat, once and accepted then your tooling would just detect if its present and if so use it. Luis
