mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-31 10:46:16 +00:00
d09ed096c4
USE_GCC=any has been equivalent to USE_GCC=yes in most cases (such
as i386 and amd64 since 12.x and depending on configuration 11.x,
most newer installations on other platforms, and 13.x across the
board).
Since commit 96c17633d9 Mk/bsd.gcc.mk is treating them as
different spellings of the same, so continue the deorbiting of the
USE_GCC=any form and simply replace it with USE_GCC=yes.
This should not make any functional difference at all.
Discussed with: mat, linimon, pkubaj
36 lines
935 B
Makefile
36 lines
935 B
Makefile
# Created by: Li-Wen Hsu <lwhsu@lwhsu.org>
|
|
|
|
PORTNAME= cvc3
|
|
PORTVERSION= 2.4.1
|
|
PORTREVISION= 7
|
|
CATEGORIES= math
|
|
MASTER_SITES= http://www.cs.nyu.edu/acsys/cvc3/download/${PORTVERSION}/
|
|
|
|
MAINTAINER= lwhsu@FreeBSD.org
|
|
COMMENT= Automatic theorem prover for the SMT problem
|
|
|
|
LIB_DEPENDS= libgmp.so:math/gmp
|
|
|
|
CONFIGURE_ARGS= --enable-dynamic \
|
|
--with-arith=gmp \
|
|
--with-build=optimized \
|
|
--with-extra-includes=${LOCALBASE}/include \
|
|
--with-extra-libs=${LOCALBASE}/lib
|
|
CXXFLAGS+= -fPIC
|
|
GNU_CONFIGURE= yes
|
|
USES= bison gmake pathfix perl5
|
|
PATHFIX_MAKEFILEIN= Makefile
|
|
USE_CXXSTD= gnu++98
|
|
USE_GCC= yes
|
|
USE_LDCONFIG= yes
|
|
|
|
post-patch:
|
|
${REINPLACE_CMD} -e 's,/bin/bash,/bin/sh,' ${WRKSRC}/Makefile.std
|
|
${REINPLACE_CMD} -e 's,.*$$(LDCONFIG).*,,' ${WRKSRC}/src/Makefile
|
|
|
|
post-install:
|
|
${INSTALL_PROGRAM} `readlink ${WRKSRC}/bin/cvc3` ${STAGEDIR}${PREFIX}/bin
|
|
${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/libcvc3.so.5.0.0
|
|
|
|
.include <bsd.port.mk>
|