notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
Port details
gringo Grounding algorithm based on semi-naive database evaluation
4.5.4_3 math Deleted on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 4.5.4_3Version of this port present on the latest quarterly branch.
Deprecated DEPRECATED: Uses Python 2.7 which is EOLed upstream
Expired This port expired on: 2020-12-31
Maintainer: vsevolod@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2014-01-10 14:31:38
Last Update: 2021-06-26 16:07:04
Commit Hash: 4e58570
Also Listed In: devel
License: GPLv3
WWW:
https://potassco.org/
Description:
Current answer set solvers work on variable-free programs. Hence, a grounder is needed that, given an input program with first-order variables, computes an equivalent ground (variable-free) program. Gringo is such a grounder. Its output can be processed further with clasp. WWW: https://potassco.org/
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (5 items)
Collapse this list.
  1. bin/gringo
  2. bin/clingo
  3. /usr/local/share/licenses/gringo-4.5.4_3/catalog.mk
  4. /usr/local/share/licenses/gringo-4.5.4_3/LICENSE
  5. /usr/local/share/licenses/gringo-4.5.4_3/GPLv3
Collapse this list.
Dependency lines:
  • gringo>0:math/gringo
No installation instructions:
This port has been deleted.
PKGNAME: gringo
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1532665392 SHA256 (gringo-4.5.4-source.tar.gz) = 81f8bbbb1b06236778028e5f1b8627ee38a712ec708724112fb08aecf9bc649a SIZE (gringo-4.5.4-source.tar.gz) = 1677479

Packages (timestamps in pop-ups are UTC):
gringo
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest--4.5.4_3---4.5.4_3-
FreeBSD:13:quarterly--------
FreeBSD:14:latest--------
FreeBSD:14:quarterly--------
FreeBSD:15:latest--n/a-n/a---
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. re2c : devel/re2c
  2. bison : devel/bison
  3. python2.7 : lang/python27
  4. scons-3.8 : devel/scons@py38
Runtime dependencies:
  1. python2.7 : lang/python27
NOTE: dependencies for deleted ports are notoriously suspect
This port is required by:
for Run

Deleted ports which required this port:

Expand this list of 2 deleted ports
  1. math/aspcud*
  2. math/py-pyasp*
  3. Collapse this list of deleted ports.
* - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...

Configuration Options:
No options to configure
Options name:
math_gringo
USES:
bison compiler:c++11-lib python:2.7 scons
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (22 items)
Collapse this list.
  1. http://downloads.sourceforge.net/project/potassco/gringo/4.5.4/
  2. http://excellmedia.dl.sourceforge.net/project/potassco/gringo/4.5.4/
  3. http://freefr.dl.sourceforge.net/project/potassco/gringo/4.5.4/
  4. http://jaist.dl.sourceforge.net/project/potassco/gringo/4.5.4/
  5. http://nchc.dl.sourceforge.net/project/potassco/gringo/4.5.4/
  6. http://netcologne.dl.sourceforge.net/project/potassco/gringo/4.5.4/
  7. http://netix.dl.sourceforge.net/project/potassco/gringo/4.5.4/
  8. http://superb-dca2.dl.sourceforge.net/project/potassco/gringo/4.5.4/
  9. http://superb-sea2.dl.sourceforge.net/project/potassco/gringo/4.5.4/
  10. http://ufpr.dl.sourceforge.net/project/potassco/gringo/4.5.4/
  11. http://vorboss.dl.sourceforge.net/project/potassco/gringo/4.5.4/
  12. https://downloads.sourceforge.net/project/potassco/gringo/4.5.4/
  13. https://excellmedia.dl.sourceforge.net/project/potassco/gringo/4.5.4/
  14. https://freefr.dl.sourceforge.net/project/potassco/gringo/4.5.4/
  15. https://jaist.dl.sourceforge.net/project/potassco/gringo/4.5.4/
  16. https://nchc.dl.sourceforge.net/project/potassco/gringo/4.5.4/
  17. https://netcologne.dl.sourceforge.net/project/potassco/gringo/4.5.4/
  18. https://netix.dl.sourceforge.net/project/potassco/gringo/4.5.4/
  19. https://superb-dca2.dl.sourceforge.net/project/potassco/gringo/4.5.4/
  20. https://superb-sea2.dl.sourceforge.net/project/potassco/gringo/4.5.4/
  21. https://ufpr.dl.sourceforge.net/project/potassco/gringo/4.5.4/
  22. https://vorboss.dl.sourceforge.net/project/potassco/gringo/4.5.4/
Collapse this list.
Port Moves
  • port deleted on 2021-06-26
    REASON: Has expired: Uses Python 2.7 which is EOLed upstream

Number of commits found: 27

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
4.5.4_3
26 Jun 2021 16:07:04
commit hash: 4e585706c989dc8acc8e59cbc6a6b9eb308d2775commit hash: 4e585706c989dc8acc8e59cbc6a6b9eb308d2775commit hash: 4e585706c989dc8acc8e59cbc6a6b9eb308d2775commit hash: 4e585706c989dc8acc8e59cbc6a6b9eb308d2775 files touched by this commit
Rene Ladan (rene) search for other commits by this committer
*/*: 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
4.5.4_3
26 May 2021 15:05:36
commit hash: a8f6a20fd3a56fce35572e16b484a41e175946d9commit hash: a8f6a20fd3a56fce35572e16b484a41e175946d9commit hash: a8f6a20fd3a56fce35572e16b484a41e175946d9commit hash: a8f6a20fd3a56fce35572e16b484a41e175946d9 files touched by this commit
Dmitry Marakasov (amdmi3) search for other commits by this committer
math/gringo: fix build with python3 scons

Approved by:	portmgr blanket
4.5.4_3
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
4.5.4_3
01 Jan 2021 10:11:35
Revision:559822Original commit files touched by this commit
antoine search for other commits by this committer
Revert r559792 to unbreak INDEX and bulk -a
It seems a lot of reverse dependencies were missed

With hat:	portmgr
4.5.4_3
01 Jan 2021 00:57:24
Revision:559792Original commit files touched by this commit
rene search for other commits by this committer
Remove most expired ports that depend on Python 2.7:

Exceptions are:
- mail/mailman, our listservers still use it
- www/chromium, solely because of popular demand,
  upstream is (slowly) working on porting it to Python 3
- ports that have actual patches for Python 3 against
  them (Cinnamon and a few unrelated other ports)
- llvm70 and qt5-webengine because they seem to have a lot
  of dependencies which need further analysis
- sysutils/uefi-edk2-bhyve because bhyve seems to use them
- python2 and python27 themselves

I'm sure there will be complaints, but the nice thing about
a version control system is that we can revert and adjust things.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
4.5.4_3
25 May 2020 18:33:44
Revision:536497Original commit files touched by this commit
sunpoet search for other commits by this committer
Update USES=scons to specify scons of Python 2

- While I'm here, convert emulators/gem5 and games/marsnomercy to USES=scons
4.5.4_3
14 Sep 2019 22:01:13
Revision:512079Original commit files touched by this commit
jbeich search for other commits by this committer
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
4.5.4_3
26 Jul 2019 20:46:57
Revision:507372Original commit files touched by this commit
gerald search for other commits by this committer
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
4.5.4_2
12 Dec 2018 01:35:36
Revision:487272Original commit files touched by this commit
gerald search for other commits by this committer
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
4.5.4_1
28 Oct 2018 09:49:51
Revision:483254Original commit files touched by this commit
linimon search for other commits by this committer
Unbreak on powerpc64.

PR:		231722
Submitted by:	Piotr Kubaj
Approved by:	portmgr (tier-2 blanket)
4.5.4_1
29 Jul 2018 22:18:46
Revision:475857Original commit files touched by this commit
gerald search for other commits by this committer
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
4.5.4
27 Jul 2018 09:31:56
Revision:475420Original commit files touched by this commit
vsevolod search for other commits by this committer
Restore maintainership

Approved by:	portmgr (bapt)
4.5.4
27 Jul 2018 04:37:40
Revision:475409Original commit files touched by this commit
yuri search for other commits by this committer
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)
4.5.2_2
10 Sep 2017 20:55:39
Revision:449591Original commit files touched by this commit
gerald search for other commits by this committer
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
4.5.2_1
13 May 2017 23:21:37
Revision:440858Original commit files touched by this commit
linimon search for other commits by this committer
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)
4.5.2_1
01 Apr 2017 15:23:32
Revision:437439Original commit files touched by this commit
gerald search for other commits by this committer
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
4.5.2
01 Apr 2016 14:16:20
Revision:412348Original commit files touched by this commit
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
4.5.2
15 Sep 2015 17:31:20
Revision:397007Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Fix build with ccache by making SCons preserve environment

PR:		202394
Submitted by:	amdmi3
Approved by:	maintainer timeout (vsevolod, 1 month)
4.5.2
01 Sep 2015 15:40:33
Revision:395768Original commit files touched by this commit
rakuco search for other commits by this committer
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
4.5.2
17 Aug 2015 12:43:36
Revision:394459Original commit files touched by this commit
vsevolod search for other commits by this committer
- Update to 4.5.2
4.4.0_1
14 May 2015 10:15:09
Revision:386312Original commit files touched by this commit
mat search for other commits by this committer
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
4.4.0_1
20 Sep 2014 17:06:47
Revision:368664Original commit files touched by this commit
gerald search for other commits by this committer
Replace USE_GCC=4.8+ by the equivalent, but preferred USE_GCC=yes.
4.4.0_1
27 Aug 2014 12:09:49
Revision:366312Original commit files touched by this commit
vsevolod search for other commits by this committer
Fix build on 8 and 9 where there is no std::strtoull.

Do not bump revision since package content is unchanged.
4.4.0_1
21 Aug 2014 20:40:52
Revision:365596Original commit files touched by this commit
mandree search for other commits by this committer
Test fix for math/gringo.
4.4.0_1
19 Aug 2014 15:05:31
Revision:365387Original commit files touched by this commit
vsevolod search for other commits by this committer
- Update to 4.4.0
- Add dependency on c++11 compiler.
4.2.1_1
24 Jan 2014 15:44:33
Revision:340913Original commit files touched by this commit
vsevolod search for other commits by this committer
- Unbreak on FreeBSD < 10
- Disable lua support as it is terribly broken
- Add license
- Update portrevision accordingly
4.2.1
10 Jan 2014 14:31:27
Revision:339359Original commit files touched by this commit
vsevolod search for other commits by this committer
Add gringo - an advanced grounder to compute variable-free programs.

Number of commits found: 27