7 files changed, 0 insertions, 81 deletions
diff --git a/math/Makefile b/math/Makefile
index c4c30d96d412..6c40d0c64954 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -311,7 +311,6 @@
     SUBDIR += graphthing
     SUBDIR += gretl
     SUBDIR += gri
-    SUBDIR += gringo
     SUBDIR += grpn
     SUBDIR += gsl
     SUBDIR += half
diff --git a/math/gringo/Makefile b/math/gringo/Makefile
deleted file mode 100644
index 408136b78ee1..000000000000
--- a/math/gringo/Makefile
+++ /dev/null
@@ -1,30 +0,0 @@
-# Created by: Vsevolod Stakhov <vsevolod@FreeBSD.org>
-# $FreeBSD$
-
-PORTNAME=	gringo
-DISTVERSION=	4.5.4
-DISTVERSIONSUFFIX=	-source
-PORTREVISION=	3
-CATEGORIES=	math devel
-MASTER_SITES=	SOURCEFORGE/potassco/${PORTNAME}/${PORTVERSION}
-
-MAINTAINER=	vsevolod@FreeBSD.org
-COMMENT=	Grounding algorithm based on semi-naive database evaluation
-
-LICENSE=	GPLv3
-LICENSE_FILE=	${WRKSRC}/COPYING
-
-BUILD_DEPENDS=	re2c:devel/re2c
-
-USES=		bison compiler:c++11-lib python:2.7 scons:python2
-MAKE_ARGS=	${MAKE_ENV}
-CXXFLAGS+=	-std=c++11
-MAKE_ENV=	WITH_LUA=no
-
-PLIST_FILES=	bin/${PORTNAME} bin/clingo
-
-do-install:
-	${INSTALL_PROGRAM} ${INSTALL_WRKSRC}/build/debug/${PORTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
-	${INSTALL_PROGRAM} ${INSTALL_WRKSRC}/build/debug/clingo ${STAGEDIR}${PREFIX}/bin/clingo
-
-.include <bsd.port.mk>
diff --git a/math/gringo/distinfo b/math/gringo/distinfo
deleted file mode 100644
index ea7b46341f2b..000000000000
--- a/math/gringo/distinfo
+++ /dev/null
@@ -1,3 +0,0 @@
-TIMESTAMP = 1532665392
-SHA256 (gringo-4.5.4-source.tar.gz) = 81f8bbbb1b06236778028e5f1b8627ee38a712ec708724112fb08aecf9bc649a
-SIZE (gringo-4.5.4-source.tar.gz) = 1677479
diff --git a/math/gringo/files/patch-SConscript b/math/gringo/files/patch-SConscript
deleted file mode 100644
index ca548bd49f60..000000000000
--- a/math/gringo/files/patch-SConscript
+++ /dev/null
@@ -1,11 +0,0 @@
---- SConscript.orig	2015-08-17 12:39:49 UTC
-+++ SConscript
-@@ -202,7 +202,7 @@ if env['WITH_LUA'] == "auto":
-     if conf.CheckWithPkgConfig("lua", ["lua", "lua5.1", "lua-5.1", "lua5.2", "lua-5.2", "lua5.3", "lua-5.3"]):
-         with_lua = True
-         DEFS["WITH_LUA"] = 1
--elif env['WITH_LUA']:
-+elif env['WITH_LUA'] != "no":
-     if not conf.CheckLibs("lua", env['WITH_LUA'], "lua.hpp"):
-         failure = True
-     else:
diff --git a/math/gringo/files/patch-SConstruct b/math/gringo/files/patch-SConstruct
deleted file mode 100644
index 3d488727f4f8..000000000000
--- a/math/gringo/files/patch-SConstruct
+++ /dev/null
@@ -1,20 +0,0 @@
---- SConstruct.orig	2015-07-13 17:25:17 UTC
-+++ SConstruct
-@@ -19,7 +19,7 @@
- 
- # }}}
- 
--from os import mkdir
-+from os import mkdir, environ
- from os.path import join, exists
- 
- if not exists("build"): mkdir("build")
-@@ -52,7 +52,7 @@ opts.AddVariables(
-     ('WITH_CPPUNIT'  , 'enable target test, running unit tests using cppunit; None, "auto", or library name or test'),
-     )
- 
--env = Environment()
-+env = Environment(ENV = environ)
- env['BISON']          = 'bison'
- env['RE2C']           = 're2c'
- env['CXX']            = 'g++'
diff --git a/math/gringo/files/patch-libgringo_src_term.cc b/math/gringo/files/patch-libgringo_src_term.cc
deleted file mode 100644
index eb0e5fcaf30a..000000000000
--- a/math/gringo/files/patch-libgringo_src_term.cc
+++ /dev/null
@@ -1,10 +0,0 @@
---- libgringo/src/term.cc.orig	2018-09-25 16:02:56 UTC
-+++ libgringo/src/term.cc
-@@ -21,6 +21,7 @@
- #include "gringo/term.hh"
- #include "gringo/logger.hh"
- #include "gringo/graph.hh"
-+#include <cmath>
- 
- namespace Gringo {
- 
diff --git a/math/gringo/pkg-descr b/math/gringo/pkg-descr
deleted file mode 100644
index fed7edffef2f..000000000000
--- a/math/gringo/pkg-descr
+++ /dev/null
@@ -1,6 +0,0 @@
-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/