aboutsummaryrefslogtreecommitdiff
path: root/math/py-cryptominisat
Commit message (Collapse)AuthorAgeFilesLines
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2017-09-101-1/+1
| | | | | | | | | | | | | | | | | (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 Notes: svn path=/head/; revision=449591
* Bump PORTREVISIONs for ports depending on the canonical version of GCC andGerald Pfeifer2017-04-011-0/+1
| | | | | | | | | | | | | | | | | 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 Notes: svn path=/head/; revision=437439
* Correct dependencyChris Rees2016-09-041-1/+1
| | | | | | | Submitted by: maintainer Notes: svn path=/head/; revision=421342
* - Update math/cryptominisat and math/py-cryptominisat to 5.0.0Carlos J. Puga Medina2016-09-013-16/+27
| | | | | | | | | | PR: 211460 Submitted by: maintainer Reviewed by: koobs, feld (mentor) Approved by: feld (mentor) Notes: svn path=/head/; revision=421212
* - Fix trailing whitespace in pkg-descrs, categories [g-n]*Dmitry Marakasov2016-05-191-1/+1
| | | | | | | Approved by: portmgr blanket Notes: svn path=/head/; revision=415499
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-1/+1
| | | | | | | | With hat: portmgr Sponsored by: Absolight Notes: svn path=/head/; revision=412348
* math/{py-}cryptominisat: Update to 4.5.3Kubilay Kocak2016-01-065-27/+52
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 - Patch to properly use distutils and autoplist instead of an uncessary cmake build (Also add post-patch for this) - Strip shared library cryptominisat: - Remove slave port overrides - Add BUILD_DEPENDS on vim-lite for xxd(8) tool [1] - Remove upstreamed patches [1] - Add patches for missing includes breaking builds on 9.3 [1] - Update pkg-plist [1] [1] https://github.com/msoos/cryptominisat/issues/304 PR: 204850 [1] Submitted by: maintainer [1] Approved by: maintainer [*] Notes: svn path=/head/; revision=405351
* math/cryptominisat, math/py-cryptominisat: add new portsJan Beich2015-05-052-0/+43
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) Notes: svn path=/head/; revision=385495
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-18 22:00:44 +0000