freebsd-ports/math/stp/Makefile

# Created by: Li-Wen Hsu <lwhsu@FreeBSD.org>
# $FreeBSD$

PORTNAME=	stp
PORTVERSION=	1436
PORTREVISION=	1
CATEGORIES=	math
MASTER_SITES=	http://intara.arrowdodger.ru/

MAINTAINER=	6yearold@gmail.com
COMMENT=	Decision Procedure for Bitvectors and Arrays

LICENSE=	MIT

LIB_DEPENDS=	libboost_program_options.so:${PORTSDIR}/devel/boost-libs \
		libboost_system.so:${PORTSDIR}/devel/boost-libs

USES=		bison:build cmake perl5 tar:xz
USE_PERL5=	build
CMAKE_ARGS=	-DFL_LIBRARY=/usr/lib/libfl.a

.include <bsd.port.pre.mk>

.if (${OSVERSION} < 1000000)
BUILD_DEPENDS+=flex>=2.5.38:${PORTSDIR}/textproc/flex
CMAKE_ARGS+=	-DFL_LIBRARY=${LOCALBASE}/lib/libfl.a \
		-DFLEX_INCLUDE_DIR=${LOCALBASE}/include/flex \
		-DFLEX_EXECUTABLE=${LOCALBASE}/bin/flex
.endif

.include <bsd.port.post.mk>
Convert USE_BISON to USES= bison It brings bison as a build dependency in case it is set the following way: USES= bison or USES= bison:build it brings bison as a run dependency in case it is set the following way: USES= bison:run it brings bison both as a run and build dependency in case it the set the following way: USES= bison:both While here trim some headers Convert some USE_GNOME= gnomehack to USES= pathfix 2013-03-08 12:32:11 +01:00			`# Created by: Li-Wen Hsu <lwhsu@FreeBSD.org>`
Add stp , a Decision Procedure for Bitvectors and Arrays. 2008-06-19 03:52:25 +02:00			`# $FreeBSD$`

			`PORTNAME= stp`
- Update to revision 1436 PR: ports/186512 Submitted by: arrowdodger <6yearold@gmail.com> (maintainer) 2014-03-03 17:21:03 +01:00			`PORTVERSION= 1436`
Package something 2014-08-26 14:29:48 +02:00			`PORTREVISION= 1`
Add stp , a Decision Procedure for Bitvectors and Arrays. 2008-06-19 03:52:25 +02:00			`CATEGORIES= math`
- Update to revision 1436 PR: ports/186512 Submitted by: arrowdodger <6yearold@gmail.com> (maintainer) 2014-03-03 17:21:03 +01:00			`MASTER_SITES= http://intara.arrowdodger.ru/`
Add stp , a Decision Procedure for Bitvectors and Arrays. 2008-06-19 03:52:25 +02:00
- Update to revision 1407 - Pass maintainership to arrowdodger <6yearold@gmail.com> Original patch by: arrowdodger <6yearold@gmail.com> Feature safe: yes 2011-11-11 07:15:30 +01:00			`MAINTAINER= 6yearold@gmail.com`
Remove indefinite articles and trailing periods from COMMENT, plus minor COMMENT typos and surrounding whitespace fixes. A few Makefiles where not included as they contain Latin-1 characters that break the Phabricator workflow. Category M. CR: D306 Approved by: portmgr (bapt) 2014-07-07 17:31:01 +02:00			`COMMENT= Decision Procedure for Bitvectors and Arrays`
Add stp , a Decision Procedure for Bitvectors and Arrays. 2008-06-19 03:52:25 +02:00
- Update to revision 1407 - Pass maintainership to arrowdodger <6yearold@gmail.com> Original patch by: arrowdodger <6yearold@gmail.com> Feature safe: yes 2011-11-11 07:15:30 +01:00			`LICENSE= MIT`

- Update to revision 1436 PR: ports/186512 Submitted by: arrowdodger <6yearold@gmail.com> (maintainer) 2014-03-03 17:21:03 +01:00			`LIB_DEPENDS= libboost_program_options.so:${PORTSDIR}/devel/boost-libs \`
			`libboost_system.so:${PORTSDIR}/devel/boost-libs`
- Update to revision 1407 - Pass maintainership to arrowdodger <6yearold@gmail.com> Original patch by: arrowdodger <6yearold@gmail.com> Feature safe: yes 2011-11-11 07:15:30 +01:00
Convert a bunch of USE_XZ to USES=tar:xz. Approved by: portmgr (not really, but touches unstaged ports) 2014-07-29 23:07:39 +02:00			`USES= bison:build cmake perl5 tar:xz`
- Update to revision 1436 PR: ports/186512 Submitted by: arrowdodger <6yearold@gmail.com> (maintainer) 2014-03-03 17:21:03 +01:00			`USE_PERL5= build`
			`CMAKE_ARGS= -DFL_LIBRARY=/usr/lib/libfl.a`
- Update to revision 1407 - Pass maintainership to arrowdodger <6yearold@gmail.com> Original patch by: arrowdodger <6yearold@gmail.com> Feature safe: yes 2011-11-11 07:15:30 +01:00
			`.include <bsd.port.pre.mk>`
Add stp , a Decision Procedure for Bitvectors and Arrays. 2008-06-19 03:52:25 +02:00
- Update to revision 1436 PR: ports/186512 Submitted by: arrowdodger <6yearold@gmail.com> (maintainer) 2014-03-03 17:21:03 +01:00			`.if (${OSVERSION} < 1000000)`
			`BUILD_DEPENDS+=flex>=2.5.38:${PORTSDIR}/textproc/flex`
Do not overwrite CMAKE_ARGS, fixes packaging on freebsd 9.x 2014-08-26 14:44:36 +02:00			`CMAKE_ARGS+= -DFL_LIBRARY=${LOCALBASE}/lib/libfl.a \`
Fix math/stp build for FreeBSD 9.x PR: 187311 Submitted by: arrowdodger <6yearold@gmail.com> (maintainer) 2014-03-06 17:05:32 +01:00			`-DFLEX_INCLUDE_DIR=${LOCALBASE}/include/flex \`
			`-DFLEX_EXECUTABLE=${LOCALBASE}/bin/flex`
- Update to revision 1407 - Pass maintainership to arrowdodger <6yearold@gmail.com> Original patch by: arrowdodger <6yearold@gmail.com> Feature safe: yes 2011-11-11 07:15:30 +01:00			`.endif`
Add stp , a Decision Procedure for Bitvectors and Arrays. 2008-06-19 03:52:25 +02:00
- Update to revision 1407 - Pass maintainership to arrowdodger <6yearold@gmail.com> Original patch by: arrowdodger <6yearold@gmail.com> Feature safe: yes 2011-11-11 07:15:30 +01:00			`.include <bsd.port.post.mk>`