math/clasp/Makefile

   1 # Created by: Vsevolod Stakhov <vsevolod@FreeBSD.org>
   2 # $FreeBSD$
   3
   4 PORTNAME=       clasp
   5 PORTVERSION=    3.1.3
   6 CATEGORIES=     math devel
   7 MASTER_SITES=   SOURCEFORGE/potassco/${PORTNAME}/${PORTVERSION}
   8 EXTRACT_SUFX=   -source.tar.gz
   9
  10 MAINTAINER=     vsevolod@FreeBSD.org
  11 COMMENT=        Answer set solver for (extended) normal logic programs
  12
  13 BROKEN_sparc64= Fails to build: internal compiler error
  14
  15 USES=   cmake
  16
  17 PLIST_FILES=    bin/${PORTNAME}
  18
  19 do-install:
  20         ${INSTALL_PROGRAM} ${INSTALL_WRKSRC}/bin/${PORTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
  21
  22 .include <bsd.port.mk>