notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

/commits.php is going away

I'm proposing to take /commits.php away - it mainly duplicates the home page. Details in this GitHub issue.
Port details
stp Decision Procedure for Bitvectors and Arrays
2.3.3_6,1 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.3.3_6,1Version of this port present on the latest quarterly branch.
Maintainer: arrowd@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2008-06-19 01:52:47
Last Update: 2021-04-06 14:31:07
Commit Hash: 305f148
License: MIT
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (19 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/stp-2.3.3_6,1/catalog.mk
  3. /usr/local/share/licenses/stp-2.3.3_6,1/LICENSE
  4. /usr/local/share/licenses/stp-2.3.3_6,1/MIT
  5. bin/stp
  6. bin/stp_simple
  7. include/stp/c_interface.h
  8. lib/cmake/STP/STPConfig.cmake
  9. lib/cmake/STP/STPConfigVersion.cmake
  10. lib/cmake/STP/STPTargets-release.cmake
  11. lib/cmake/STP/STPTargets.cmake
  12. lib/libstp.so
  13. lib/libstp.so.2.3
  14. lib/python3.8/site-packages/stp/__init__.py
  15. lib/python3.8/site-packages/stp/library_path.py
  16. lib/python3.8/site-packages/stp/stp.py
  17. @owner
  18. @group
  19. @mode
Collapse this list.
Dependency lines:
  • For RUN/BUILD depends:
    • stp>0:math/stp
  • For LIB depends:
    • libstp.so:math/stp
To install the port: cd /usr/ports/math/stp/ && make install clean
To add the package, run one of these commands:
  • pkg install math/stp
  • pkg install stp
PKGNAME: stp
Flavors: there is no flavor information for this port.
distinfo:
Packages (timestamps in pop-ups are UTC):
stp
ABIlatestquarterly
FreeBSD:11:aarch64--
FreeBSD:11:amd642.3.3_6,12.3.3_6,1
FreeBSD:11:armv61436_12.3.3_5,1
FreeBSD:11:i3862.3.3_6,12.3.3_6,1
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64--
FreeBSD:12:amd642.3.3_6,12.3.3_6,1
FreeBSD:12:armv62.3.1_2,12.3.3_6,1
FreeBSD:12:armv72.3.1_2,12.3.3_6,1
FreeBSD:12:i3862.3.3_6,12.3.3_6,1
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64-2.3.3_6,1
FreeBSD:13:aarch64--
FreeBSD:13:amd642.3.3_6,12.3.3_6,1
FreeBSD:13:armv62.3.3_6,12.3.3_6,1
FreeBSD:13:armv72.3.3_6,12.3.3_6,1
FreeBSD:13:i3862.3.3_6,12.3.3_6,1
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc642.3.3_6,12.3.3_6,1
FreeBSD:14:aarch64--
FreeBSD:14:amd642.3.3_6,1-
FreeBSD:14:armv62.3.3_6,1-
FreeBSD:14:armv72.3.3_6,1-
FreeBSD:14:i3862.3.3_6,1-
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc642.3.3_6,1-
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. bison : devel/bison
  2. cmake : devel/cmake
  3. ninja : devel/ninja
  4. python3.8 : lang/python38
  5. perl5>=5.32.r0<5.33 : lang/perl5.32
Runtime dependencies:
  1. python3.8 : lang/python38
Library dependencies:
  1. libboost_program_options.so : devel/boost-libs
  2. libminisat.so : math/minisat
  3. libcryptominisat5.so : math/cryptominisat
This port is required by:
for Build

Deleted ports which required this port:

Expand this list of 1 deleted port
  1. devel/klee*
  2. Collapse this list of deleted ports.
for Libraries
  1. security/klee

Configuration Options:
Options name:

USES:

FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/stp/stp/tar.gz/2.3.3?dummy=/
Collapse this list.

Number of commits found: 50

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  2.3.3_6,1
mat search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
01 Jan 2021 23:51:49
Original commit files touched by this commit Revision:559890  2.3.3_6,1
linimon search for other commits by this committer
Mark ports that are BROKEN due to sbrk on aarch64, also BROKEN on riscv64
where appropriate.

While here, pet portlint (Makevar order; whitespace).

Approved by:	portmgr (tier-2 blanket)
09 Jul 2020 15:44:39
Original commit files touched by this commit Revision:541757  2.3.3_6,1
arrowd search for other commits by this committer
math/cryptominisat and math/py-cryptominisat: Update to 5.7.1

Bump PORTREVISIONs of consumer ports.
27 Mar 2020 14:59:08
Original commit files touched by this commit Revision:529255  2.3.3_5,1
arrowd search for other commits by this committer
math/stp and math/cryptominisat: Use correct patch (at STP side) for specifying
dependency on
cryptomisat.
04 Mar 2020 18:03:42
Original commit files touched by this commit Revision:527792  2.3.3_4,1
arrowd search for other commits by this committer
math/cryptominisat: Add patch to fix CMake config file. Bump math/stp, as it was
affected by this issue.
11 Dec 2019 17:53:49
Original commit files touched by this commit Revision:519824  2.3.3_3,1
jbeich search for other commits by this committer
devel/boost-*: update to 1.72.0

Changes:	http://www.boost.org/users/history/version_1_72_0.html
PR:		241449
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D22136
19 Aug 2019 15:35:28
Original commit files touched by this commit Revision:509290  2.3.3_2,1
jbeich search for other commits by this committer
devel/boost-*: update to 1.71.0

Changes:	http://www.boost.org/users/history/version_1_71_0.html
PR:		238827
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D20774
01 Aug 2019 09:52:08
Original commit files touched by this commit Revision:507764  2.3.3_1,1
arrowd search for other commits by this committer
math/stp: Update WWW in pkg-descr.
26 Jul 2019 20:46:57
Original commit files touched by this commit Revision:507372  2.3.3_1,1
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.

PR:		238330
21 Jul 2019 13:38:04
Original commit files touched by this commit Revision:507047  2.3.3,1
arrowd search for other commits by this committer
math/stp: Update to 2.3.3.
12 Apr 2019 06:36:31
Original commit files touched by this commit Revision:498698  2.3.2_2,1
jbeich search for other commits by this committer
devel/boost-*: update to 1.70.0

Changes:	http://www.boost.org/users/history/version_1_70_0.html
PR:		235956
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D19303
10 Apr 2019 06:18:32
Original commit files touched by this commit Revision:498530  2.3.2_1,1
antoine search for other commits by this committer
Bump a few PORTREVISIONs after r498529

With hat:	portmgr
23 Feb 2019 16:24:49
Original commit files touched by this commit Revision:493698  2.3.2,1
arrowd search for other commits by this committer
math/stp: Update to 2.3.2.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D19305
25 Dec 2018 20:25:40
Original commit files touched by this commit Revision:488341  2.3.1_4,1
tcberner search for other commits by this committer
Change cmake default behaviour to outsource.

Ports that build out of source now simply can use "USES=cmake"
instead of "USES=cmake:outsource". Ports that fail to build
out of source now need to specify "USES=cmake:insource".

I tried to only set insource where explictely needed.

PR:		232038
Exp-run by:	antoine
12 Dec 2018 01:35:36
Original commit files touched by this commit Revision:487272  2.3.1_4,1
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t
GCC 8.2 under most circumstances.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, as a double check, everything INDEX-11 showed depending on lang/gcc7.

PR:		231590
12 Dec 2018 00:15:50
Original commit files touched by this commit Revision:487266  2.3.1_3,1
jbeich search for other commits by this committer
devel/boost-*: update to 1.69.0

Changes:	http://www.boost.org/users/history/version_1_69_0.html
PR:		232525
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D17645
06 Nov 2018 23:52:18
Original commit files touched by this commit Revision:484370  2.3.1_2,1
linimon search for other commits by this committer
Add compiler:c++11-lang to USES to fix linking with boost.

Approved by:	portmgr (tier-2 blanket)
09 Aug 2018 06:58:31
Original commit files touched by this commit Revision:476723  2.3.1_2,1
jbeich search for other commits by this committer
devel/boost-*: update to 1.68.0

- Switch to C++14 for libboost_system to support C++14 consumers

Changes:	http://www.boost.org/users/history/version_1_68_0.html
PR:		229569
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D16165
28 Jul 2018 06:46:11
Original commit files touched by this commit Revision:475500  2.3.1_1,1
arrowd search for other commits by this committer
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
24 Jul 2018 06:19:15
Original commit files touched by this commit Revision:475224  2.3.1,1
arrowd search for other commits by this committer
math/stp: Update to latest 2.3.1 version.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D16286
18 Jun 2018 14:00:43
Original commit files touched by this commit Revision:472693  1436_8
linimon search for other commits by this committer
Mark ports broken on powerpc64, categories g-n.

While here, pet portlint and do some other cleanup.

Approved by:	portmgr (tier-2 blanket)
18 Apr 2018 13:57:43
Original commit files touched by this commit Revision:467711  1436_8
jbeich search for other commits by this committer
devel/boost-*: update to 1.67.0

Changes:	http://www.boost.org/users/history/version_1_67_0.html
PR:		227427
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D15030
18 Jan 2018 04:11:03
Original commit files touched by this commit Revision:459315  1436_7
jbeich search for other commits by this committer
devel/boost-*: update to 1.66.0

Changes:	http://www.boost.org/users/history/version_1_66_0.html
PR:		223922
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D13279
25 Sep 2017 00:08:17
Original commit files touched by this commit Revision:450560  1436_6
jbeich search for other commits by this committer
devel/boost-*: update to 1.65.1

Changes:	http://www.boost.org/users/history/version_1_65_1.html
PR:		218835
Approved by:	maintainer timeout (1.65.1: 2 weeks; 1.65.0: 1 month)
Tested by:	jhibbits (on powerpc64, earlier version)
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D11582
25 Sep 2017 00:05:06
Original commit files touched by this commit Revision:450557  1436_5
jbeich search for other commits by this committer
devel/boost-*: enable C++11 features

PR:		218835
Obtained from:	https://github.com/DragonFlyBSD/DeltaPorts/pull/690
Approved by:	maintainer timeout (2 months)
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D11582
25 Jun 2017 21:07:58
Original commit files touched by this commit Revision:444324  1436_4
tcberner search for other commits by this committer
Make ninja opt-out in cmake.mk

Using ninja instead of make (1) can lead to significant speed ups while
building.
Therefore switch from having the ninja generator opt-in to having it opt-out.

Previously cmake-ports that wanted to use ninja could set
    CMAKE_NINJA=yes
now, ports that do not work with ninja can set
    cmake:<existing args>,noninja
Note, that needing this should be an exception and most often points to a broken
cmake of the port.

The ports using cmake were modified
* removed USES=gmake, if ninja is used
* removed MAKE_ARGS, if ninja is used
* added the cmake-argument noninja if necessary

PR:		219629
PR:		213331
Exp-run by:	antoine
Reviewed by:	rakuco
Differential Revision:	https://reviews.freebsd.org/D10748
02 May 2017 06:48:11
Original commit files touched by this commit Revision:439934  1436_4
jbeich search for other commits by this committer
devel/boost-*: update to 1.64.0

Changes:	http://www.boost.org/users/history/version_1_64_0.html
PR:		218835
Approved by:	office (bapt)
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D10472
31 Jan 2017 03:40:46
Original commit files touched by this commit Revision:432897  1436_3
linimon search for other commits by this committer
Mark various ports broken on aarch64 and armv6.

Approved by:	portmgr (tier-2 blanket)
06 Jan 2017 08:45:04
Original commit files touched by this commit Revision:430692  1436_3
jbeich search for other commits by this committer
devel/boost-*: update to 1.63.0

Changes:	http://www.boost.org/users/history/version_1_63_0.html
PR:		215598
Exp-run by:	antoine
Approved by:	office (bapt)
MFH:		2017Q1
05 Jan 2017 11:00:50
Original commit files touched by this commit Revision:430631  1436_2
amdmi3 search for other commits by this committer
Remove always-true/false conditions after 9.x, 10.[12] EOL
While here, couple minor fixes

portmgr blanket
23 Nov 2016 12:45:47
Original commit files touched by this commit Revision:426908  1436_2
jbeich search for other commits by this committer
devel/boost-*: update to 1.62.0

- Enable `long double` C99 math usage
- Switch 9.x back to building with GCC

Changes:	http://www.boost.org/users/history/
PR:		199601
Submitted by:	Chen Xu, bapt, amdmi3, truckman (based on)
Reviewed by:	rakuco (kde) (earlier version)
Exp-run by:	antoine (3 tries), truckman (consumers only, earlier versions)
Approved by:	bapt (office)
01 Apr 2016 14:16:20
Original commit files touched by this commit Revision:412348  1436_1
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
03 Apr 2015 11:26:50
Original commit files touched by this commit Revision:383107  1436_1  Sanity Test Failure
mat search for other commits by this committer
Remove OSVERSION checks that do not make sense any more.

For example (${OSVERSION} >= 900000 && ${OSVERSION} < 900021) is always true,
as is (${OSVERSION} > 900002 || ${OSVERSION} < 900000 && ${OSVERSION} > 800107).

Regarding patches, when an EXTRA_PATCHES is no longer needed, I remove it, when
it is always needed, I renamed it, in one case, I merged two patches.

Differential Revision:	https://reviews.freebsd.org/D2209
14 Nov 2014 09:39:21
Original commit files touched by this commit Revision:372555  1436_1
antoine search for other commits by this committer
Cleanup plist
26 Aug 2014 12:44:36
Original commit files touched by this commit Revision:366210  1436_1
antoine search for other commits by this committer
Do not overwrite CMAKE_ARGS, fixes packaging on freebsd 9.x
26 Aug 2014 12:29:48
Original commit files touched by this commit Revision:366209  1436_1
antoine search for other commits by this committer
Package something
29 Jul 2014 21:07:40
Original commit files touched by this commit Revision:363392  1436
adamw search for other commits by this committer
Convert a bunch of USE_XZ to USES=tar:xz.

Approved by:	portmgr (not really, but touches unstaged ports)
07 Jul 2014 15:31:02
Original commit files touched by this commit Revision:361099  1436
olgeni search for other commits by this committer
Remove indefinite articles and trailing periods from COMMENT, plus minor
COMMENT typos and surrounding whitespace fixes. A few Makefiles where not
included as they contain Latin-1 characters that break the Phabricator
workflow. Category M.

CR:		D306
Approved by:	portmgr (bapt)
06 Mar 2014 16:05:32
Original commit files touched by this commit Revision:347264  1436
ehaupt search for other commits by this committer
Fix math/stp build for FreeBSD 9.x

PR:		187311
Submitted by:	arrowdodger <6yearold@gmail.com> (maintainer)
03 Mar 2014 16:21:03
Original commit files touched by this commit Revision:346925  1436
lwhsu search for other commits by this committer
- Update to revision 1436

PR:		ports/186512
Submitted by:	arrowdodger <6yearold@gmail.com> (maintainer)
20 Sep 2013 20:55:06
Original commit files touched by this commit Revision:327746  1407
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
16 Sep 2013 16:32:07
Original commit files touched by this commit Revision:327411  1407
bapt search for other commits by this committer
Convert to new perl framework
Convert USE_GMAKE to USES
08 Mar 2013 11:32:12
Original commit files touched by this commit Revision:313635  1407
bapt search for other commits by this committer
Convert USE_BISON to USES= bison

It brings bison as a build dependency in case it is set the following way:
USES= bison or USES= bison:build

it brings bison as a run dependency in case it is set the following way:
USES= bison:run

it brings bison both as a run and build dependency in case it the set the
following way:
USES= bison:both

While here trim some headers
Convert some USE_GNOME= gnomehack to USES= pathfix
28 Dec 2011 06:40:53
Original commit files touched by this commit   1407
linimon search for other commits by this committer
Mark as broken on tier-2: uses i386-specific compiler flags.

Hat:            portmgr
21 Nov 2011 15:51:01
Original commit files touched by this commit   1407
sunpoet search for other commits by this committer
- Add WITH_DEBUG support

PR:             ports/162718
Submitted by:   arrowdodger <6yearold@gmail.com> (maintainer)
Feature safe:   yes
11 Nov 2011 06:15:30
Original commit files touched by this commit   1407
lwhsu search for other commits by this committer
- Update to revision 1407
- Pass maintainership to arrowdodger <6yearold@gmail.com>

Original patch by:      arrowdodger <6yearold@gmail.com>
Feature safe:   yes
20 Mar 2011 12:54:45
Original commit files touched by this commit   0.1_1
miwi search for other commits by this committer
- Get Rid MD5 support
22 Aug 2009 00:28:34
Original commit files touched by this commit   0.1_1  Sanity Test Failure
amdmi3 search for other commits by this committer
- Switch SourceForge ports to the new File Release System: categories starting
with M
24 Dec 2008 20:51:30
Original commit files touched by this commit   0.1_1
lwhsu search for other commits by this committer
- Update to 0.1-11-18-2008
19 Jun 2008 01:52:26
Original commit files touched by this commit   0.1
lwhsu search for other commits by this committer
Add stp , a Decision Procedure for Bitvectors and Arrays.

Number of commits found: 50