math/minisat/Makefile

   1 # Created by: Vsevolod Stakhov <vsevolod@FreeBSD.org>
   2 # $FreeBSD$
   3
   4 PORTNAME=       minisat
   5 PORTVERSION=    2.2.1
   6 PORTREVISION=   2
   7 CATEGORIES=     math devel
   8 MASTER_SITES=   http://highsecure.ru/distfiles/
   9
  10 MAINTAINER=     vsevolod@FreeBSD.org
  11 COMMENT=        Minimalistic, open-source SAT solver
  12
  13 LICENSE=        MIT
  14 LICENSE_FILE=   ${WRKSRC}/LICENSE
  15
  16 USES=           gmake
  17 USE_LDCONFIG=   yes
  18 MAKE_ENV=       prefix=${PREFIX} CFLAGS="-std=gnu++98"
  19
  20 post-install:
  21         ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/${PORTNAME} \
  22                 ${STAGEDIR}${PREFIX}/lib/libminisat.so
  23
  24 .include <bsd.port.mk>