42 lines
926 B
Makefile
42 lines
926 B
Makefile
|
# New ports collection makefile for: stp
|
||
|
|
# Date created: 2008-06-18
|
||
|
|
# Whom: Li-Wen Hsu <lwhsu@FreeBSD.org>
|
||
|
|
#
|
||
|
|
# $FreeBSD$
|
||
|
|
#
|
||
|
|
|
||
|
|
PORTNAME= stp
|
||
|
|
DISTVERSIONPREFIX= ver-
|
||
|
|
DISTVERSION= 0.1
|
||
|
|
DISTVERSIONSUFFIX= -02-26-2008
|
||
|
|
CATEGORIES= math
|
||
|
|
MASTER_SITES= SF
|
||
|
|
MASTER_SITE_SUBDIR= stp-fast-prover
|
||
|
|
|
||
|
|
MAINTAINER= lwhsu@FreeBSD.org
|
||
|
|
COMMENT= A Decision Procedure for Bitvectors and Arrays
|
||
|
|
|
||
|
|
USE_BISON= build
|
||
|
|
USE_GMAKE= yes
|
||
|
|
USE_PERL5_BUILD= yes
|
||
|
|
|
||
|
|
WRKSRC= ${WRKDIR}/stp
|
||
|
|
|
||
|
|
PLIST_FILES= bin/stp \
|
||
|
|
include/stp/c_interface.h \
|
||
|
|
include/stp/fdstream.h \
|
||
|
|
lib/libstp.a
|
||
|
|
PLIST_DIRS= include/stp
|
||
|
|
|
||
|
|
do-configure:
|
||
|
|
${ECHO_CMD} "PREFIX=${PREFIX}" > ${WRKSRC}/config.info
|
||
|
|
${CP} ${WRKSRC}/Makefile.in ${WRKSRC}/Makefile
|
||
|
|
|
||
|
|
do-install:
|
||
|
|
${INSTALL_PROGRAM} ${WRKSRC}/bin/stp ${PREFIX}/bin
|
||
|
|
${INSTALL_DATA} ${WRKSRC}/lib/libstp.a ${PREFIX}/lib
|
||
|
|
${MKDIR} ${PREFIX}/include/stp
|
||
|
|
${INSTALL_DATA} ${WRKSRC}/c_interface/*.h ${PREFIX}/include/stp
|
||
|
|
|
||
|
|
.include <bsd.port.mk>
|