aboutsummaryrefslogtreecommitdiff
path: root/math/gringo
Commit message (Collapse)AuthorAgeFilesLines
* Drop C++11 workaround for GCC < 6 after r449590Jan Beich2019-09-141-3/+0
| | | | | | | | | | | lang/gcc5 will expire in ~1 month. If someone still uses lang/gcc48 they should backport C++11 fix instead. QA on GCC architecuters is currently limited to powerpc64 which uses GCC_DEFAULT. PR: 193528 Notes: svn path=/head/; revision=512079
* 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
* Unbreak on powerpc64.Mark Linimon2018-10-282-3/+11
| | | | | | | | | PR: 231722 Submitted by: Piotr Kubaj Approved by: portmgr (tier-2 blanket) Notes: svn path=/head/; revision=483254
* 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
* Restore maintainershipVsevolod Stakhov2018-07-271-1/+1
| | | | | | | Approved by: portmgr (bapt) Notes: svn path=/head/; revision=475420
* math/gringo: Update 4.5.2 -> 4.5.4Yuri Victorovich2018-07-273-10/+10
| | | | | | | | | | | | | | | | | Port changes: * Maintainer reset based on 6.5 months timeout * Use DISTVERSION * Add LICENSE_FILE * Add USES=python:2.7 * Remove '+' from '+=' where they aren't needed * Update WWW to anew address PR: 225131 Submitted by: Nathan <ndowens.fbsd@yandex.com> Approved by: vsevolod@FreeBSD.org (maintainer's timeout 6.5 months) Notes: svn path=/head/; revision=475409
* 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
* Mark some ports failing on power64. In cases where the error messageMark Linimon2017-05-131-0/+2
| | | | | | | | | | | was a stub, provide a real one. While here, pet portlint. Approved by: portmgr (tier-2 blanket) Notes: svn path=/head/; revision=440858
* 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
* 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
* - Fix build with ccache by making SCons preserve environmentDmitry Marakasov2015-09-151-0/+20
| | | | | | | | | PR: 202394 Submitted by: amdmi3 Approved by: maintainer timeout (vsevolod, 1 month) Notes: svn path=/head/; revision=397007
* Require a C++11-compliant standard library and make it work with GCC < 4.9.Raphael Kubo da Costa2015-09-011-8/+5
| | | | | | | | | | | | | | | | | | | | | Despite ports r340913, the port still fails to build on FreeBSD 9.3 with lang/gcc (GCC 4.8): libreify/src/parser.cc: In member function 'void Reify::Parser::parseProgram()': libreify/src/parser.cc:130:51: error: 'to_string' is not a member of 'std' Apply a workaround for bug 193528 found in other ports to make that function visible to GCC 4.8 (GCC 4.9 and later are fine). Additionally, the port actually requires a C++11 standard library in addition to a C++11-compliant compiler, so adjust the USES line and later simplify the process of choosing which compiler to use. Approved by: vsevolod (maintainer) Differential Revision: https://reviews.freebsd.org/D3545 Notes: svn path=/head/; revision=395768
* - Update to 4.5.2Vsevolod Stakhov2015-08-174-26/+18
| | | | Notes: svn path=/head/; revision=394459
* MASTER_SITES cleanup.Mathieu Arnold2015-05-141-2/+1
| | | | | | | | | | | | | | | | | | | | | | - Replace ${MASTER_SITE_FOO} with FOO. - Merge MASTER_SITE_SUBDIR into MASTER_SITES when possible. (This means 99.9% of the time.) - Remove occurrences of MASTER_SITE_LOCAL when no subdirectory was present and no hint of what it should be was present. - Fix some logic. - And generally, make things more simple and easy to understand. While there, add magic values to the FESTIVAL, GENTOO, GIMP, GNUPG, QT and SAMBA macros. Also, replace some EXTRACT_SUFX occurences with USES=tar:*. Checked by: make fetch-urlall-list With hat: portmgr Sponsored by: Absolight Notes: svn path=/head/; revision=386312
* Replace USE_GCC=4.8+ by the equivalent, but preferred USE_GCC=yes.Gerald Pfeifer2014-09-201-1/+1
| | | | Notes: svn path=/head/; revision=368664
* Fix build on 8 and 9 where there is no std::strtoull.Vsevolod Stakhov2014-08-271-11/+19
| | | | | | | Do not bump revision since package content is unchanged. Notes: svn path=/head/; revision=366312
* Test fix for math/gringo.Matthias Andree2014-08-211-0/+12
| | | | Notes: svn path=/head/; revision=365596
* - Update to 4.4.0Vsevolod Stakhov2014-08-192-4/+4
| | | | | | | - Add dependency on c++11 compiler. Notes: svn path=/head/; revision=365387
* - Unbreak on FreeBSD < 10Vsevolod Stakhov2014-01-241-5/+13
| | | | | | | | | - Disable lua support as it is terribly broken - Add license - Update portrevision accordingly Notes: svn path=/head/; revision=340913
* Add gringo - an advanced grounder to compute variable-free programs.Vsevolod Stakhov2014-01-103-0/+35
Notes: svn path=/head/; revision=339359
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-18 08:33:42 +0000