freebsd-ports/math/stp/Makefile

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

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

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

LICENSE=	MIT

BROKEN_aarch64=		fails to compile: undefined reference to sbrk
BROKEN_powerpc64=	fails to compile: main.cpp.o: undefined reference to boost::program_options::error_with_option_name::get_canonical_option_name()

LIB_DEPENDS=	libboost_program_options.so:devel/boost-libs \
		libboost_system.so:devel/boost-libs

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

.include <bsd.port.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`
devel/boost-*: update to 1.67.0 Changes: http://www.boost.org/users/history/version_1_67_0.html PR: 227427 Exp-run by: antoine Differential Revision: https://reviews.freebsd.org/D15030 2018-04-18 15:57:42 +02:00			`PORTREVISION= 8`
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`

Mark ports broken on powerpc64, categories g-n. While here, pet portlint and do some other cleanup. Approved by: portmgr (tier-2 blanket) 2018-06-18 16:00:43 +02:00			`BROKEN_aarch64= fails to compile: undefined reference to sbrk`
			`BROKEN_powerpc64= fails to compile: main.cpp.o: undefined reference to boost::program_options::error_with_option_name::get_canonical_option_name()`

Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p. With hat: portmgr Sponsored by: Absolight 2016-04-01 16:16:16 +02:00			`LIB_DEPENDS= libboost_program_options.so:devel/boost-libs \`
			`libboost_system.so: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
Make ninja opt-out in cmake.mk Using ninja instead of make (1) can lead to significant speed ups while building. Therefore switch from having the ninja generator opt-in to having it opt-out. Previously cmake-ports that wanted to use ninja could set CMAKE_NINJA=yes now, ports that do not work with ninja can set cmake:<existing args>,noninja Note, that needing this should be an exception and most often points to a broken cmake of the port. The ports using cmake were modified * removed USES=gmake, if ninja is used * removed MAKE_ARGS, if ninja is used * added the cmake-argument noninja if necessary PR: 219629 PR: 213331 Exp-run by: antoine Reviewed by: rakuco Differential Revision: https://reviews.freebsd.org/D10748 2017-06-25 23:07:58 +02:00			`USES= bison:build cmake:noninja 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
Remove always-true/false conditions after 9.x, 10.[12] EOL While here, couple minor fixes portmgr blanket 2017-01-05 12:00:49 +01:00			`.include <bsd.port.mk>`