aboutsummaryrefslogtreecommitdiff
path: root/math/cvc3
Commit message (Collapse)AuthorAgeFilesLines
* 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-06-26 04:35:56 +0000