# Created by: Vsevolod Stakhov <vsevolod@FreeBSD.org>
# $FreeBSD: head/math/gringo/Makefile 449591 2017-09-10 20:55:38Z gerald $

PORTNAME=	gringo
PORTVERSION=	4.5.2
PORTREVISION=	2
DISTVERSIONSUFFIX=	-source
CATEGORIES=	math devel
MASTER_SITES=	SOURCEFORGE/potassco/${PORTNAME}/${PORTVERSION}

MAINTAINER=	vsevolod@FreeBSD.org
COMMENT=	Grounding algorithm based on semi-naive database evaluation

LICENSE=	GPLv3

BUILD_DEPENDS=	re2c:devel/re2c

BROKEN_powerpc64=	fails to compile: term.cc: error: pow is not a member of std

USES=		bison compiler:c++11-lib scons

MAKE_ARGS+=	${MAKE_ENV}
CXXFLAGS+=	-std=c++11
MAKE_ENV+=	WITH_LUA=no

# Unhide std::to_string() with GCC < 4.9 (ports/193528)
CXXFLAGS+=	-D_GLIBCXX_USE_C99

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>
