math/gringo/Makefile

   1 # Created by: Vsevolod Stakhov <vsevolod@FreeBSD.org>
   2 # $FreeBSD$
   3
   4 PORTNAME=       gringo
   5 PORTVERSION=    4.5.2
   6 DISTVERSIONSUFFIX=      -source
   7 CATEGORIES=     math devel
   8 MASTER_SITES=   SOURCEFORGE/potassco/${PORTNAME}/${PORTVERSION}
   9
  10 MAINTAINER=     vsevolod@FreeBSD.org
  11 COMMENT=        Grounding algorithm based on semi-naive database evaluation
  12
  13 LICENSE=        GPLv3
  14
  15 BUILD_DEPENDS=  re2c:devel/re2c
  16
  17 USES=           bison compiler:c++11-lib scons
  18
  19 MAKE_ARGS+=     ${MAKE_ENV}
  20 CXXFLAGS+=      -std=c++11
  21 MAKE_ENV+=      WITH_LUA=no
  22
  23 # Unhide std::to_string() with GCC < 4.9 (ports/193528)
  24 CXXFLAGS+=      -D_GLIBCXX_USE_C99
  25
  26 PLIST_FILES=    bin/${PORTNAME} bin/clingo
  27
  28 do-install:
  29         ${INSTALL_PROGRAM} ${INSTALL_WRKSRC}/build/debug/${PORTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
  30         ${INSTALL_PROGRAM} ${INSTALL_WRKSRC}/build/debug/clingo ${STAGEDIR}${PREFIX}/bin/clingo
  31
  32 .include <bsd.port.mk>