Bug: https://bugs.gentoo.org/697562
Closes: https://bugs.gentoo.org/694982
Package-Manager: Portage-2.3.53, Repoman-2.3.12
Signed-off-by: Jeffrey Lin <jeffrey@icurse.nl>
Signed-off-by: Joonas Niilola <juippis@gentoo.org>
# Fix headers ( #include "minisat/..." -> #include <...> )
while IFS="" read -d $'\0' -r file; do
einfo Correcting header "$file"
- sed -i -e 's:#include "minisat/\([^"]*\)":#include <\1>:g' "${file}" || die
+ sed -i -e 's:#include "minisat/\([^"]*\)":#include <minisat/\1>:g' "${file}" || die
done < <(find minisat -name "*.h" -print0)
}