math/cvc3/Makefile

   1 # Created by: Li-Wen Hsu <lwhsu@lwhsu.org>
   2 # $FreeBSD$
   3
   4 PORTNAME=       cvc3
   5 PORTVERSION=    2.4.1
   6 CATEGORIES=     math
   7 MASTER_SITES=   http://www.cs.nyu.edu/acsys/cvc3/download/${PORTVERSION}/
   8
   9 MAINTAINER=     lwhsu@FreeBSD.org
  10 COMMENT=        Automatic theorem prover for the SMT problem
  11
  12 LIB_DEPENDS=    libgmp.so:${PORTSDIR}/math/gmp
  13
  14 CONFIGURE_ARGS= --enable-dynamic \
  15                 --with-arith=gmp \
  16                 --with-build=optimized \
  17                 --with-extra-includes=${LOCALBASE}/include \
  18                 --with-extra-libs=${LOCALBASE}/lib
  19 CXXFLAGS+=      -fPIC
  20 GNU_CONFIGURE=  yes
  21 USES=           bison gmake perl5
  22 USE_GCC=        any
  23 USE_LDCONFIG=   yes
  24
  25 post-patch:
  26         ${REINPLACE_CMD} -e 's,/bin/bash,/bin/sh,' ${WRKSRC}/Makefile.std
  27         ${REINPLACE_CMD} -e 's,.*$$(LDCONFIG).*,,' ${WRKSRC}/src/Makefile
  28         ${REINPLACE_CMD} -e 's,$$(libdir)/pkgconfig,${PREFIX}/libdata/pkgconfig,' ${WRKSRC}/src/Makefile
  29
  30 post-install:
  31         ${INSTALL_PROGRAM} `readlink ${WRKSRC}/bin/cvc3` ${STAGEDIR}${PREFIX}/bin
  32         ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/libcvc3.so.5.0.0
  33
  34 .include <bsd.port.mk>