Navigation:
devel stp
CVSweb ] [ 
Homepage ] [ 
RSS feed ]| Version: 2.2.0, Package name: stp-2.2.0 |
| Maintained by: The OpenBSD ports mailing-list |
| Master sites: |
| Description STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers. |
| Filesize: 2581.182 KB |
| Version History (View Complete History) |
|
| 2021-11-01 18:01:18 by Stuart Henderson | Files touched by this commit (110) |
Log message: bump REVISION for switch from Python 3.8 -> 3.9 |
| 2021-02-23 12:39:53 by Stuart Henderson | Files touched by this commit (743) |
Log message:
Reverse the polarity of MODPY_VERSION; default is now 3.x,
if a port needs 2.x then set MODPY_VERSION=${MODPY_DEFAULT_VERSION_2}.
This commit doesn't change any versions currently used; it may be that
some ports have MODPY_DEFAULT_VERSION_2 but don't require it, those
should be cleaned up in the course of updating ports where possible.
Python module ports providing py3-* packages should still use
FLAVOR=python3 so that we don't have a mixture of dependencies some
using ${MODPY_FLAVOR} and others not.
|
| 2020-07-04 03:52:16 by Stuart Henderson | Files touched by this commit (1) |
Log message: bump; plist changed but no forced python dep |
| 2019-07-12 14:46:30 by Stuart Henderson | Files touched by this commit (853) |
Log message: replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes |
| 2019-04-28 14:52:03 by Stuart Henderson | Files touched by this commit (715) |
Log message: bump all the py3 things, _SYSTEM_VERSION didn't quite work out how we expected and it's easier|safer to do it this way than fiddle with pkg_add now. thanks aja for update tests with a quick bulk. |
| 2018-12-13 12:53:24 by Stuart Henderson | Files touched by this commit (64) |
Log message: bump REVISION for ports with a LIB_ or RUN_DEPENDS on devel/boost, it has been split into subpackages |
| 2017-08-21 01:03:10 by Jeremie Courreges-Anglas | Files touched by this commit (8) |
Log message: Update to a newer release which does builds with clang. - now depends on boost and minisat - ships with a shared library and a python3 module - new cmake build system - set COMPILER = gcc, a c++11 compiler is needed (but there's a link problem against boost with lang/gcc on amd64) |
| 2017-07-26 16:45:35 by Stuart Henderson | Files touched by this commit (937) |
Log message: bump LIBCXX/LIBECXX/COMPILER_LIBCXX ports. |
| 2017-07-23 03:26:30 by Marc Espie | Files touched by this commit (244) |
Log message: add pthread to COMPILER_LIBCXX. white lie, but it allows clang and gcc to be more similar bump accordingly. |
| 2017-07-16 13:19:06 by Marc Espie | Files touched by this commit (880) |
Log message: use COMPILER_LIBCXX where applicable |
| 2017-06-03 04:15:25 by Marc Espie | Files touched by this commit (1) |
Log message: that old shit actually tried to create directories under /usr/local during configure... |
| 2017-04-10 05:45:29 by Stuart Henderson | Files touched by this commit (281) |
Log message: use LIBCXX |
| 2015-01-20 23:13:49 by Anthony J. Bentley | Files touched by this commit (97) |
Log message: Remove Kevin Lo as maintainer, by request. While here, fix a couple of license markers. |
| 2015-01-17 20:16:09 by Christian Weisgerber | Files touched by this commit (3349) |
Log message: Drop remaining MD5/RMD160/SHA1 checksums. |
| 2014-11-23 13:28:01 by Stuart Henderson | Files touched by this commit (4) |
Log message:
remove WRKDIST=${WRKDIR}/${DISTNAME} lines, they are the default anyway
|
| 2010-11-15 12:46:10 by Marc Espie | Files touched by this commit (706) |
Log message: move depends to new style |