aboutsummaryrefslogtreecommitdiff
path: root/math/cvc3
Commit message (Collapse)AuthorAgeFilesLines
* */*: Replace USE_GCC=any with USE_GCC=yesGerald Pfeifer2021-06-041-1/+1
| | | | | | | | | | | | | | | USE_GCC=any has been equivalent to USE_GCC=yes in most cases (such as i386 and amd64 since 12.x and depending on configuration 11.x, most newer installations on other platforms, and 13.x across the board). Since commit 96c17633d90386b5bcf8 Mk/bsd.gcc.mk is treating them as different spellings of the same, so continue the deorbiting of the USE_GCC=any form and simply replace it with USE_GCC=yes. This should not make any functional difference at all. Discussed with: mat, linimon, pkubaj
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
|
* Fix build with bison 3.7.4Sunpoet Po-Chuan Hsieh2021-01-261-0/+35
| | | | | | | | PR: 248911 Exp-run by: antoine Notes: svn path=/head/; revision=562665
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-1/+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
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-12-121-1/+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
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-07-291-1/+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
* Bump PORTREVISIONs of all users of math/mpc that we just updated toGerald Pfeifer2018-03-101-1/+1
| | | | | | | version 1.1.0 (via revision 464079). Notes: svn path=/head/; revision=464084
* 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-1/+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
* math/cvc3: unbreak with gcc6 or laterJan Beich2017-02-111-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | In file included from src/include/expr_manager.h:445:0, from src/include/expr.h:803, from expr.cpp:25: src/include/expr_value.h: In static member function 'static size_t CVC3::ExprString::hash(const string&)': src/include/expr_value.h:667:34: error: no match for call to '(std::hash<char*>) (const char*)' return s_charHash(str.c_str()); ^ In file included from src/include/hash_map.h:54:0, from src/include/compat_hash_map.h:34, from src/include/expr.h:33, from src/include/assumptions.h:36, from src/include/theorem_producer.h:75, from common_theorem_producer.h:34, from common_theorem_producer.cpp:27: src/include/hash_table.h: In instantiation of 'Hash::hash_table<_Key, _Value, _HashFcn, _EqualKey, _ExtractKey>::~hash_table() [with _Key = CVC3::Expr; _Value = std::pair<const CVC3::Expr, CVC3::CDOmap<CVC3::Expr, CVC3::Theorem, std::hash<CVC3::Expr> >*>; _HashFcn = std::hash<CVC3::Expr>; _EqualKey = std::equal_to<CVC3::Expr>; _ExtractKey = Hash::_Select1st<std::pair<const CVC3::Expr, CVC3::CDOmap<CVC3::Expr, CVC3::Theorem, std::hash<CVC3::Expr> >*> >]': src/include/hash_map.h:82:9: required from 'CVC3::CDMap<Key, Data, HashFcn>::~CDMap() [with Key = CVC3::Expr; Data = CVC3::Theorem; HashFcn = std::hash<CVC3::Expr>]' common_theorem_producer.h:60:38: required from here src/include/hash_table.h:319:5: error: use of deleted function 'std::hash<CVC3::Expr>::~hash()' } ^ Notes: svn path=/head/; revision=433908
* Bump PORTREVISIONS for ports depending on the canonical version of GCC andGerald Pfeifer2016-11-201-0/+1
| | | | | | | | | | | | lang/gcc which have moved from GCC 4.8.5 to GCC 4.9.4 (at least under some circumstances such as versions of FreeBSD or platforms). In particular that is ports with USE_GCC=yes, USE_GCC=any, or one of gcc-c++11-lib, openmp, nestedfct, c++11-lib as well as c++14-lang, c++11-lang, c++0x, c11 requested via USES=compiler. Notes: svn path=/head/; revision=426566
* Use USES=pathfix where applicable.Mathieu Arnold2016-10-212-6/+6
| | | | | | | | | | | PR: 213195 Submitted by: mat Exp-run by: antoine Sponsored by: Absolight Differential Revision: https://reviews.freebsd.org/D8093 Notes: svn path=/head/; revision=424427
* Convert tab after WWW: in pkg-descrs to single space as per PHBDmitry Marakasov2016-05-231-1/+1
| | | | | | | Approved by: portmgr blanket Notes: svn path=/head/; revision=415738
* - 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
* Cleanup plistAntoine Brodin2014-11-131-1/+0
| | | | Notes: svn path=/head/; revision=372546
* Stagify.Vanilla I. Shu2014-07-162-2/+45
| | | | | | | Approved by: lwhsu@ (maintainer) Notes: svn path=/head/; revision=362025
* Modernize LIB_DEPENDSBaptiste Daroussin2014-07-131-1/+1
| | | | | | | With hat: portmgr Notes: svn path=/head/; revision=361728
* Remove indefinite articles and trailing periods from COMMENT, plus minorJimmy Olgeni2014-07-071-1/+1
| | | | | | | | | | | | 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) Notes: svn path=/head/; revision=361099
* - Try to fix build with USE_GCC, anyway, cvc4 is out and would be ported laterLi-Wen Hsu2013-11-131-0/+1
| | | | Notes: svn path=/head/; revision=333703
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | math) Notes: svn path=/head/; revision=327746
* Convert to new perl frameworkBaptiste Daroussin2013-09-161-6/+2
| | | | | | | Convert USE_GMAKE to USES Notes: svn path=/head/; revision=327411
* Convert USE_BISON to USES= bisonBaptiste Daroussin2013-03-081-6/+2
| | | | | | | | | | | | | | | | | 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 Notes: svn path=/head/; revision=313635
* - Update to 2.4.1Li-Wen Hsu2012-02-043-7/+21
| | | | Notes: svn path=/head/; revision=290393
* - Get Rid MD5 supportMartin Wilke2011-03-201-1/+0
| | | | Notes: svn path=/head/; revision=271346
* Switch to use newer GMP version.Alex Dupre2010-04-191-2/+2
| | | | | | | | | PR: ports/144487 Submitted by: ale Approved by: portmgr (-exp run by erwin) Notes: svn path=/head/; revision=252906
* Chase libgmp and bump PORTREVISION.Alex Dupre2009-05-131-1/+1
| | | | Notes: svn path=/head/; revision=233833
* Migration from bison 1.x to 2.xAde Lovett2007-10-171-1/+2
| | | | | | | | PR: 117086 Tested by: -exp runs Notes: svn path=/head/; revision=201613
* - Update to 1.2.1Li-Wen Hsu2007-09-073-4/+7
| | | | Notes: svn path=/head/; revision=199057
* - Change to my FreeBSD.org emailLi-Wen Hsu2007-04-041-1/+1
| | | | | | | Approved by: clsung (mentor) Notes: svn path=/head/; revision=189163
* Add cvc3 1.0, an automatic theorem prover for the SMT problem.Cheng-Lung Sung2007-03-254-0/+143
PR: ports/110770 Submitted by: Li-Wen Hsu <lwhsu at lwhsu.org> Notes: svn path=/head/; revision=188227
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-26 16:43:02 +0000