| non port: math/gringo/Makefile |
|
SVNWeb
|
Number of commits found: 22 |
|
Sat, 26 Jun 2021
|
[ 16:07 Rene Ladan (rene)  ]    4e58570 (Only the first 10 of 16 ports in this commit are shown above.  )
*/*: Remove expired ports:
2020-12-31 math/gringo: Uses Python 2.7 which is EOLed upstream
2021-06-23 math/aspcud: Uses EOL Python 2.7 via math/gringo
2021-06-23 math/py-pyasp: Uses EOL Python 2.7 via math/gringo
|
|
Wed, 26 May 2021
|
[ 15:05 Dmitry Marakasov (amdmi3) ] a8f6a20
math/gringo: fix build with python3 scons
Approved by: portmgr blanket
|
|
Tue, 6 Apr 2021
|
[ 14:31 Mathieu Arnold (mat) ] 305f148 (Only the first 10 of 29333 ports in this commit are shown above. )
Remove # $FreeBSD$ from Makefiles.
|
|
Mon, 25 May 2020
|
[ 18:33 sunpoet ]   (Only the first 10 of 35 ports in this commit are shown above. )
Update USES=scons to specify scons of Python 2
- While I'm here, convert emulators/gem5 and games/marsnomercy to USES=scons
|
|
Sat, 14 Sep 2019
|
[ 22:01 jbeich ] (Only the first 10 of 47 ports in this commit are shown above. )
Drop C++11 workaround for GCC < 6 after r449590
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
|
|
Fri, 26 Jul 2019
|
[ 20:46 gerald ] (Only the first 10 of 3853 ports in this commit are shown above. )
Bump PORTREVISION for ports depending on the canonical version of GCC
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
|
|
Wed, 12 Dec 2018
|
[ 01:35 gerald ] (Only the first 10 of 3168 ports in this commit are shown above. )
Bump PORTREVISION for ports depending on the canonical version of GCC
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
|
|
Sun, 28 Oct 2018
|
[ 09:49 linimon ]
Unbreak on powerpc64.
PR: 231722
Submitted by: Piotr Kubaj
Approved by: portmgr (tier-2 blanket)
|
|
Sun, 29 Jul 2018
|
[ 22:18 gerald ] (Only the first 10 of 1480 ports in this commit are shown above. )
Bump PORTREVISION for ports depending on the canonical version of GCC
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
|
|
Fri, 27 Jul 2018
|
[ 09:31 vsevolod ]
Restore maintainership
Approved by: portmgr (bapt)
|
[ 04:37 yuri ]
math/gringo: Update 4.5.2 -> 4.5.4
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)
|
|
Sun, 10 Sep 2017
|
[ 20:55 gerald ] (Only the first 10 of 1201 ports in this commit are shown above. )
Bump PORTREVISION for ports depending on the canonical version of GCC
(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
|
|
Sat, 13 May 2017
|
[ 23:21 linimon ] (Only the first 10 of 24 ports in this commit are shown above. )
Mark some ports failing on power64. In cases where the error message
was a stub, provide a real one.
While here, pet portlint.
Approved by: portmgr (tier-2 blanket)
|
|
Sat, 1 Apr 2017
|
[ 15:23 gerald ] (Only the first 10 of 1118 ports in this commit are shown above. )
Bump PORTREVISIONs for ports depending on the canonical version of GCC and
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
|
|
Fri, 1 Apr 2016
|
[ 14:16 mat ] (Only the first 10 of 2612 ports in this commit are shown above. )
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight
|
|
Tue, 1 Sep 2015
|
[ 15:40 rakuco ]
Require a C++11-compliant standard library and make it work with GCC < 4.9.
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
|
|
Mon, 17 Aug 2015
|
[ 12:43 vsevolod ]
- Update to 4.5.2
|
|
Thu, 14 May 2015
|
[ 10:15 mat ] (Only the first 10 of 1814 ports in this commit are shown above. )
MASTER_SITES cleanup.
- 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
|
|
Sat, 20 Sep 2014
|
[ 17:06 gerald ]
Replace USE_GCC=4.8+ by the equivalent, but preferred USE_GCC=yes.
|
|
Tue, 19 Aug 2014
|
[ 15:05 vsevolod ]
- Update to 4.4.0
- Add dependency on c++11 compiler.
|
|
Fri, 24 Jan 2014
|
[ 15:44 vsevolod ]
- Unbreak on FreeBSD < 10
- Disable lua support as it is terribly broken
- Add license
- Update portrevision accordingly
|
|
Fri, 10 Jan 2014
|
[ 14:31 vsevolod ]
Add gringo - an advanced grounder to compute variable-free programs.
|
Number of commits found: 22 |
As an Amazon Associate I earn from qualifying purchases.