[Bug 229974] math/stp: Update to 2.3.1

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=229974

Gleb Popov <arrowd at FreeBSD.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |arrowd at FreeBSD.org

--- Comment #11 from Gleb Popov <arrowd at FreeBSD.org> ---
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?

-- 
You are receiving this mail because:
You are the assignee for the bug.