27 lines
732 B
Makefile
27 lines
732 B
Makefile
# $NetBSD: Makefile,v 1.2 2012/09/24 18:26:56 asau Exp $
|
|
#
|
|
|
|
DISTNAME= cvc3-2.2
|
|
CATEGORIES= devel
|
|
MASTER_SITES= http://www.cs.nyu.edu/acsys/cvc3/releases/2.2/
|
|
|
|
MAINTAINER= MarkoSchuetz@web.de
|
|
HOMEPAGE= http://www.cs.nyu.edu/acsys/cvc3/releases/2.2/
|
|
COMMENT= Automatic theorem prover for SMT problems
|
|
|
|
GNU_CONFIGURE= yes
|
|
USE_LANGUAGES= c c++
|
|
|
|
USE_TOOLS+= gmake bash perl bison
|
|
|
|
CONFIGURE_ENV+= ac_cv_prog_YACC="bison -y"
|
|
|
|
SUBST_CLASSES+= fix-bash
|
|
SUBST_STAGE.fix-bash= pre-configure
|
|
SUBST_MESSAGE.fix-bash= Fixing hard-coded reference to bash.
|
|
SUBST_FILES.fix-bash= Makefile.std
|
|
SUBST_SED.fix-bash= -e 's,SHELL = /bin/bash,SHELL = ${TOOLS_PATH.bash},g'
|
|
|
|
.include "../../devel/gmp/buildlink3.mk"
|
|
.include "../../mk/bsd.pkg.mk"
|