aboutsummaryrefslogtreecommitdiff
path: root/math/py-cryptominisat
Commit message (Collapse)AuthorAgeFilesLines
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
| | | | Reported by: lwhsu
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
|
* Drop python 2.7 support from a few portsAntoine Brodin2020-12-281-1/+1
| | | | | | | With hat: portmgr Notes: svn path=/head/; revision=559531
* Relax hardcoded paths to fix build with Python 3.8.7Kai Knoblich2020-12-241-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | Since r558913 Python 3.8 incorporates BPO-42604 [1] which changed the shared libs naming scheme. This means "EXT_SUFFIX" is now derived from SOABI and yields with Python 3.8 to ".cpython-38.so" instead of ".so". The affected ports strip the libaries in the "post-install" target via hardcoded path(s) and the build fails at the end because the new extension is not expected at this place. Remedy the issue by adding wildcards to these paths. This should also prepare the ports for future Python releases, which will use the new shared libs naming scheme. [1] https://bugs.python.org/issue42604 PR: 252057 Reported by: John Kennedy Reviewed by: fluffy, koobs Approved by: koobs (python) Notes: svn path=/head/; revision=559094
* math/cryptominisat and math/py-cryptominisat: Update to 5.8.0.Gleb Popov2020-10-192-4/+4
| | | | | | | Enable M4RI functionality, thanks to thierry@ for adding the port. Notes: svn path=/head/; revision=552741
* math/cryptominisat and math/py-cryptominisat: Update to 5.7.1Gleb Popov2020-07-092-5/+4
| | | | | | | Bump PORTREVISIONs of consumer ports. Notes: svn path=/head/; revision=541757
* math/py-cryptominisat: Drop nop PYDISTUTILS_BUILDTARGETTobias Kortkamp2019-10-121-2/+0
| | | | | | | | Should have been PYDISTUTILS_BUILD_TARGET but it appears to not be needed. Notes: svn path=/head/; revision=514331
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-0/+1
| | | | | | | | | | | | | | | | | | 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 Notes: svn path=/head/; revision=507372
* math/cryptominisat and math/py-cryptominisat to 5.6.8.Gleb Popov2019-02-233-12/+13
| | | | | | | | Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D19302 Notes: svn path=/head/; revision=493704
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-12-121-0/+1
| | | | | | | | | | | | | | | | | | 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 Notes: svn path=/head/; revision=487272
* math/cryptominisat: Update to 5.6.3.Gleb Popov2018-08-102-5/+4
| | | | | | | | Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D16645 Notes: svn path=/head/; revision=476818
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-07-291-0/+1
| | | | | | | | | | | | | | | | | 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 Notes: svn path=/head/; revision=475857
* math/cryptominisat and math/py-cryptominisat: Update to 5.6.1.Gleb Popov2018-06-173-36/+31
| | | | | | | | | Reviewed by: mat Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D15735 Notes: svn path=/head/; revision=472633
* 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-09-22 02:20:08 +0000