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
cryptominisat General-purpose award-winning SAT solver
5.8.0 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 5.8.0Version of this port present on the latest quarterly branch.
Maintainer: arrowd@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2015-05-05 21:54:48
Last Update: 2021-04-07 08:09:01
Commit Hash: cf118cc
License: MIT LGPL21
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (20 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/cryptominisat-5.8.0/catalog.mk
  3. /usr/local/share/licenses/cryptominisat-5.8.0/LICENSE
  4. /usr/local/share/licenses/cryptominisat-5.8.0/MIT
  5. /usr/local/share/licenses/cryptominisat-5.8.0/LGPL21
  6. bin/cryptominisat5
  7. bin/cryptominisat5_simple
  8. include/cryptominisat5/cryptominisat.h
  9. include/cryptominisat5/cryptominisat_c.h
  10. include/cryptominisat5/dimacsparser.h
  11. include/cryptominisat5/solvertypesmini.h
  12. include/cryptominisat5/streambuffer.h
  13. lib/cmake/cryptominisat5/cryptominisat5Config.cmake
  14. lib/cmake/cryptominisat5/cryptominisat5Targets-release.cmake
  15. lib/cmake/cryptominisat5/cryptominisat5Targets.cmake
  16. lib/libcryptominisat5.so
  17. lib/libcryptominisat5.so.5.8
  18. @owner
  19. @group
  20. @mode
Collapse this list.
Dependency lines:
  • For RUN/BUILD depends:
    • cryptominisat>0:math/cryptominisat
  • For LIB depends:
    • libcryptominisat5.so:math/cryptominisat
To install the port: cd /usr/ports/math/cryptominisat/ && make install clean
To add the package, run one of these commands:
  • pkg install math/cryptominisat
  • pkg install cryptominisat
PKGNAME: cryptominisat
Flavors: there is no flavor information for this port.
distinfo:
Packages (timestamps in pop-ups are UTC):
cryptominisat
ABIlatestquarterly
FreeBSD:11:aarch645.6.3_15.6.8_6
FreeBSD:11:amd645.8.05.8.0
FreeBSD:11:armv64.5.35.6.8_6
FreeBSD:11:i3865.8.05.8.0
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch645.6.3_15.8.0
FreeBSD:12:amd645.8.05.8.0
FreeBSD:12:armv65.6.3_15.7.1
FreeBSD:12:armv75.6.3_15.7.1
FreeBSD:12:i3865.8.05.8.0
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64-5.8.0
FreeBSD:13:aarch645.8.05.8.0
FreeBSD:13:amd645.8.05.8.0
FreeBSD:13:armv65.8.05.8.0
FreeBSD:13:armv75.8.05.8.0
FreeBSD:13:i3865.8.05.8.0
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc645.8.05.8.0
FreeBSD:14:aarch645.8.0-
FreeBSD:14:amd645.8.0-
FreeBSD:14:armv65.8.0-
FreeBSD:14:armv75.8.0-
FreeBSD:14:i3865.8.0-
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc645.8.0-
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. cmake : devel/cmake
  2. ninja : devel/ninja
Library dependencies:
  1. libm4ri.so : math/m4ri
  2. libboost_program_options.so : devel/boost-libs
This port is required by:
for Libraries
  1. math/cvc4
  2. math/py-cryptominisat
  3. math/stp
  4. 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/msoos/cryptominisat/tar.gz/5.8.0?dummy=/
Collapse this list.

Number of commits found: 37

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
07 Apr 2021 08:09:01
 files touched by this commit commit hash:cf118ccf875508b9a1c570044c93cfcc82bd455c  5.8.0
mat search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  5.8.0
mat search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
19 Oct 2020 14:59:18
Original commit files touched by this commit Revision:552741  5.8.0
arrowd search for other commits by this committer
math/cryptominisat and math/py-cryptominisat: Update to 5.8.0.

Enable M4RI functionality, thanks to thierry@ for adding the port.
09 Jul 2020 15:44:39
Original commit files touched by this commit Revision:541757  5.7.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  5.6.8_6
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  5.6.8_5
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  5.6.8_4
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  5.6.8_3
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
26 Jul 2019 20:46:57
Original commit files touched by this commit Revision:507372  5.6.8_2
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
12 Apr 2019 06:36:31
Original commit files touched by this commit Revision:498698  5.6.8_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
23 Feb 2019 16:31:47
Original commit files touched by this commit Revision:493704  5.6.8
arrowd search for other commits by this committer
math/cryptominisat and math/py-cryptominisat to 5.6.8.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D19302
25 Dec 2018 20:25:40
Original commit files touched by this commit Revision:488341  5.6.3_3
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  5.6.3_3
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  5.6.3_2
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
25 Sep 2018 07:29:26
Original commit files touched by this commit Revision:480642  5.6.3_1
linimon search for other commits by this committer
These ports now build on powerpc64.

While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)
10 Aug 2018 10:20:15
Original commit files touched by this commit Revision:476827  5.6.3_1
arrowd search for other commits by this committer
math/cryptominisat: Unbreak on aarch64.

PR:		229724
Submitted by:	Greg V <greg@unrelenting.technology>
Approved by:	tcberner (mentor)
10 Aug 2018 09:24:41
Original commit files touched by this commit Revision:476818  5.6.3
arrowd search for other commits by this committer
math/cryptominisat: Update to 5.6.3.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D16645
09 Aug 2018 06:58:31
Original commit files touched by this commit Revision:476723  5.6.1_2
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
29 Jul 2018 22:18:46
Original commit files touched by this commit Revision:475857  5.6.1_1
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
in the ports tree (via Mk/bsd.default-versions.mk and lang/gcc) which
has now moved from GCC 6 to GCC 7 by default.

This includes ports
 - featuring USE_GCC=yes or USE_GCC=any,
 - featuring USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and those
 - with USES=compiler specifying one of openmp, nestedfct, c11, c++0x,
   c++11-lib, c++11-lang, c++14-lang, c++17-lang, or gcc-c++11-lib.

PR:		222542
17 Jun 2018 20:36:22
Original commit files touched by this commit Revision:472633  5.6.1
arrowd search for other commits by this committer
math/cryptominisat and math/py-cryptominisat: Update to 5.6.1.

Reviewed by:	mat
Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D15735
18 Apr 2018 13:57:43
Original commit files touched by this commit Revision:467711  5.0.1_9
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  5.0.1_8
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
11 Jan 2018 20:34:08
Original commit files touched by this commit Revision:458786  5.0.1_7
adamw search for other commits by this committer
Chase vim-lite -> vim-console rename
25 Sep 2017 00:08:17
Original commit files touched by this commit Revision:450560  5.0.1_7
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  5.0.1_6
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
10 Sep 2017 20:55:39
Original commit files touched by this commit Revision:449591  5.0.1_5
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
(via Mk/bsd.default-versions.mk and lang/gcc) which has moved from
GCC 5.4 to GCC 6.4 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, c++11-lib, c++11-lang,
   c++14-lang, c++0x, c11, or gcc-c++11-lib.

PR:		219275
26 Jun 2017 19:37:22
Original commit files touched by this commit Revision:444404  5.0.1_4
sunpoet search for other commits by this committer
Fix WWW

Approved by:	portmgr (blanket)
20 May 2017 16:58:10
Original commit files touched by this commit Revision:441320  5.0.1_4
linimon search for other commits by this committer
Mark some ports failing on power64.  In cases where the error message
was a stub, provide a real one.

While here, pet portlint.

Reported by:	swills
Approved by:	portmgr (tier-2 blanket)
02 May 2017 06:48:11
Original commit files touched by this commit Revision:439934  5.0.1_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
01 Apr 2017 15:23:32
Original commit files touched by this commit Revision:437439  5.0.1_3
gerald search for other commits by this committer
Bump PORTREVISIONs for ports depending on the canonical version of GCC and
lang/gcc which have moved from GCC 4.9.4 to GCC 5.4 (at least under some
circumstances such as versions of FreeBSD or platforms).

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using using Mk/bsd.octave.mk which in turn has USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c++11-lib, c++14-lang,
   c++11-lang, c++0x, c11, or gcc-c++11-lib.

PR:		216707
06 Jan 2017 08:45:04
Original commit files touched by this commit Revision:430692  5.0.1_2
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
23 Nov 2016 12:45:47
Original commit files touched by this commit Revision:426908  5.0.1_1
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)
11 Nov 2016 19:43:03
Original commit files touched by this commit Revision:425907  5.0.1
amdmi3 search for other commits by this committer
- Update to 5.0.1

PR:		212601
Submitted by:	6yearold@gmail.com (maintainer)
01 Sep 2016 13:25:49
Original commit files touched by this commit Revision:421212  5.0.0
cpm search for other commits by this committer
- Update math/cryptominisat and math/py-cryptominisat to 5.0.0

PR:		211460
Submitted by:	maintainer
Reviewed by:	koobs, feld (mentor)
Approved by:	feld (mentor)
01 Apr 2016 14:16:20
Original commit files touched by this commit Revision:412348  4.5.3
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
06 Jan 2016 14:07:05
Original commit files touched by this commit Revision:405351  4.5.3
koobs search for other commits by this committer
math/{py-}cryptominisat: Update to 4.5.3

Common:

- Update PORTVERSION and distinfo checksum (4.5.3) [1]
- Switch to GITHUB for DISTFILES, remove USES=tar accordingly [1]

py-cryptominisat:

- Convert into fully fledged port
- Add distinfo and proper (unique) pkg-descr
- Remove MASTER port overrides accordingly
- Match COMMENT to upstream setup.py:description
- De-scope USES=compiler to compiler only
- Remove upstreamed patches
(Only the first 15 lines of the commit message are shown above View all of this commit message)
05 May 2015 21:54:30
Original commit files touched by this commit Revision:385495  4.2.0
jbeich search for other commits by this committer
math/cryptominisat, math/py-cryptominisat: add new ports

CryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT
solver, featuring over 100 configurable parameters to tune to specific
need, collection of statistical data to MySQL database + javascript-based
visualization of it and clean C++ and python interfaces.

WWW: http://www.msoos.org/cryptominisat4/

PR:		199929
Submitted by:	6yearold@gmail.com (based on)

Number of commits found: 37