mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-23 04:23:08 +00:00
62307392cf
Reset maintainer due to extended timeouts on bug #240101, #240100, #240089, as per policy. Approved by: dem.procopiou@gmail.com (maintainer's timeout; 62 days)
37 lines
961 B
Makefile
37 lines
961 B
Makefile
# Created by: Peter Pentchev <roam@FreeBSD.org>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= gecode
|
|
DISTVERSIONPREFIX= release-
|
|
DISTVERSION= 6.2.0
|
|
CATEGORIES= devel math
|
|
|
|
PATCH_SITES= https://github.com/${GH_ACCOUNT}/${PORTNAME}/commit/
|
|
PATCHFILES= f08079c5df271869bc7c0799b3eccc52ca2f4d83.patch:-p1 # https://github.com/Gecode/gecode/pull/51
|
|
|
|
MAINTAINER= ports@FreeBSD.org
|
|
COMMENT= Generic Constraint Development Environment
|
|
|
|
LICENSE= BSL MIT
|
|
LICENSE_COMB= multi
|
|
|
|
NOT_FOR_ARCHS= aarch64 armv6 armv7 mips mips64
|
|
NOT_FOR_ARCHS_REASON= needs code written to specify rounding control mechanism in Boost.Numeric.Interval
|
|
|
|
USES= bison cmake compiler:c++11-lang
|
|
USE_GITHUB= yes
|
|
GH_ACCOUNT= Gecode
|
|
USE_LDCONFIG= yes
|
|
|
|
CMAKE_ON= BUILD_SHARED_LIBS
|
|
|
|
OPTIONS_DEFINE= GIST
|
|
OPTIONS_SUB= yes
|
|
|
|
GIST_DESC= Enable gist, graphical and interactive search tool
|
|
GIST_CMAKE_BOOL= ENABLE_GIST
|
|
GIST_USES= qt:5
|
|
GIST_USE= qt=core,gui,printsupport,widgets,qmake_build,buildtools_build
|
|
|
|
.include <bsd.port.mk>
|