math/clingo: Update 5.5.2 -> 5.6.0
Reported by: portscout
This commit is contained in:
parent
5924e796df
commit
11f31e1c0e
@ -1,30 +1,37 @@
|
||||
PORTNAME= clingo
|
||||
DISTVERSIONPREFIX= v
|
||||
DISTVERSION= 5.5.2
|
||||
DISTVERSION= 5.6.0
|
||||
CATEGORIES= math
|
||||
|
||||
MAINTAINER= yuri@FreeBSD.org
|
||||
COMMENT= Grounder and solver for logic programs
|
||||
WWW= https://potassco.org/
|
||||
WWW= https://potassco.org/clingo/
|
||||
|
||||
LICENSE= MIT
|
||||
LICENSE_FILE= ${WRKSRC}/LICENSE.md
|
||||
|
||||
BUILD_DEPENDS= re2c:devel/re2c
|
||||
|
||||
USES= cmake compiler:c++14-lang
|
||||
USES= cmake:testing compiler:c++14-lang
|
||||
USE_LDCONFIG= yes
|
||||
|
||||
USE_GITHUB= yes
|
||||
GH_ACCOUNT= potassco
|
||||
GH_TUPLE= potassco:clasp:17c4e46:potassco_clasp/clasp
|
||||
|
||||
USE_LDCONFIG= yes
|
||||
GH_TUPLE= potassco:clasp:4c708a7:potassco_clasp/clasp \
|
||||
catchorg:Catch2:62fd660:catch/third_party/catch \
|
||||
mpark:variant:23cb94f:variant/third_party/variant \
|
||||
TartanLlama:optional:c28fcf7:optional/third_party/optional \
|
||||
Tessil:hopscotch-map:4442316:hopscotch_map/third_party/hopscotch-map \
|
||||
Tessil:ordered-map:1619d52:ordered_map/third_party/ordered-map \
|
||||
Tessil:sparse-map:89d3053:sparse_map/third_party/sparse-map
|
||||
|
||||
CMAKE_OFF= CLINGO_BUILD_WITH_PYTHON # broken, see https://github.com/potassco/clingo/issues/178
|
||||
CMAKE_OFF+= CLINGO_BUILD_WITH_LUA
|
||||
CMAKE_TESTING_ON= CLINGO_BUILD_TESTS
|
||||
|
||||
CONFLICTS_INSTALL= clasp # only installs bin/clasp that is included in clingo
|
||||
|
||||
do-test:
|
||||
extra-test:
|
||||
@${ECHO} "Testing ${PORTNAME}: solving 15puzzle"
|
||||
@cd ${WRKSRC}/examples/clingo/15puzzle && \
|
||||
LD_LIBRARY_PATH=${STAGEDIR}${PREFIX}/lib ${STAGEDIR}${PREFIX}/bin/clingo encoding.lp instance1.lp -c consecutive=0
|
||||
|
@ -1,5 +1,17 @@
|
||||
TIMESTAMP = 1651730211
|
||||
SHA256 (potassco-clingo-v5.5.2_GH0.tar.gz) = a2a0a590485e26dce18860ac002576232d70accc5bfcb11c0c22e66beb23baa6
|
||||
SIZE (potassco-clingo-v5.5.2_GH0.tar.gz) = 3136393
|
||||
SHA256 (potassco-clasp-17c4e46_GH0.tar.gz) = fe65a7580849948daf00343a5f9fb92a495aee9a8daf61eb63d86a9d36cbaec6
|
||||
SIZE (potassco-clasp-17c4e46_GH0.tar.gz) = 677901
|
||||
TIMESTAMP = 1663122601
|
||||
SHA256 (potassco-clingo-v5.6.0_GH0.tar.gz) = 2891ecfcccbe728168ac27d62c3036aae0164b15b219b4954fb18614eda79f53
|
||||
SIZE (potassco-clingo-v5.6.0_GH0.tar.gz) = 3741641
|
||||
SHA256 (potassco-clasp-4c708a7_GH0.tar.gz) = 9dc6d49b017b970fbee62296bde2eed2b9e02b9d025458548f7fbf740c427968
|
||||
SIZE (potassco-clasp-4c708a7_GH0.tar.gz) = 677863
|
||||
SHA256 (catchorg-Catch2-62fd660_GH0.tar.gz) = 6ffb927225dcae98bcb3f1af908f2cc5cd9a71cfdb29f7a3995aad1fd8336840
|
||||
SIZE (catchorg-Catch2-62fd660_GH0.tar.gz) = 661905
|
||||
SHA256 (mpark-variant-23cb94f_GH0.tar.gz) = e29ba09f184022095f558b043d85a61c1585020095c232e969dc1179a312de9f
|
||||
SIZE (mpark-variant-23cb94f_GH0.tar.gz) = 33918
|
||||
SHA256 (TartanLlama-optional-c28fcf7_GH0.tar.gz) = 6f9fdc78582d34bf50d7bb9379de3d5185a5dd93be664e0c01e9d54fcbe0872d
|
||||
SIZE (TartanLlama-optional-c28fcf7_GH0.tar.gz) = 22257
|
||||
SHA256 (Tessil-hopscotch-map-4442316_GH0.tar.gz) = 60266643f4682fd9d476d7e80a29693d9824863a334483ad72ebf8f3b3d41d32
|
||||
SIZE (Tessil-hopscotch-map-4442316_GH0.tar.gz) = 70706
|
||||
SHA256 (Tessil-ordered-map-1619d52_GH0.tar.gz) = d84f853910a120b5e81732e9068a457ca1237c2eff7b63e735ad901d2936331c
|
||||
SIZE (Tessil-ordered-map-1619d52_GH0.tar.gz) = 67442
|
||||
SHA256 (Tessil-sparse-map-89d3053_GH0.tar.gz) = 9d705edfb2dc6051168a1a1c72dfecc52c06248be2c24cbd64bca39efe9fcc3b
|
||||
SIZE (Tessil-sparse-map-89d3053_GH0.tar.gz) = 71486
|
||||
|
Loading…
Reference in New Issue
Block a user