blob: 86bda221c68641710c0890839fe245fb491bfc3a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
# 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= -11-18-2008
PORTREVISION= 1
CATEGORIES= math
MASTER_SITES= SF/${PORTNAME}-fast-prover/${PORTNAME}-fast-prover/${PORTNAME}-ver-${PORTVERSION}
EXTRACT_SUFX= .tgz
MAINTAINER= lwhsu@FreeBSD.org
COMMENT= A Decision Procedure for Bitvectors and Arrays
USE_BISON= build
USE_GMAKE= yes
USE_PERL5_BUILD= yes
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>
|
