See: * Repology: https://repology.org/metapackage/stp/versions * Arch linux port: https://aur.archlinux.org/packages/stp Thanks, Yuri
Maintainer informed via mail
Please also only build shared library, and remove the static library.
Created attachment 195382 [details] Updated and made easier to read Try and see if this will work to what you guys are asking for. I've also "prettied" the file up
Created attachment 195383 [details] Updated patch Thank you, Nathan for the patch! I further updated it. Now we need to wait for the 6 y.o.'s approval. Yuri
(In reply to Yuri Victorovich from comment #4) Sorry Yuri, Tried to make it set for 6yo's approval flag
(In reply to Yuri Victorovich from comment #4) The patch you listed, shows the old version
(In reply to Nathan from comment #6) Eh scratch that :) it's late
Why? 2.3.1 is the latest version: https://repology.org/metapackage/stp/versions
Ok!
2.3.1 has been committed (r475224). Can this be closed?
When commiting my own update to STP I missed this bug. What's the reason for RUN_DEPENDS= minisat:math/minisat line? Does STP really need minisat executable at runtime? Why USES=shebangfix is needed? I see no shellscripts there. Why CMAKE_ON= BUILD_SHARED_LIBS ? Shared library is built by default. Finally, why CMAKE_OFF= ENABLE_PYTHON_INTERFACE ? Any problem with it?
(In reply to Gleb Popov from comment #11) I didn't submit this patch, somebody else did. I only said that you didn't close this bug. -)
The build shared part was so it’d build shared libraries which was suggested to do
(In reply to Nathan from comment #13) Yes, but for the new version this is a default.
A commit references this bug: Author: arrowd Date: Sat Jul 28 06:46:11 UTC 2018 New revision: 475500 URL: https://svnweb.freebsd.org/changeset/ports/475500 Log: math/stp: Pull in fixes from the PR I missed. PR: 229974 Submitted by: yuri, Nathan <ndowens.fbsd@yandex.com> Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D16447 Changes: head/math/stp/Makefile head/math/stp/pkg-plist