diff --git a/math/clingo/Makefile b/math/clingo/Makefile index 2f025e1d983b..9d34fcac2ffe 100644 --- a/math/clingo/Makefile +++ b/math/clingo/Makefile @@ -1,39 +1,40 @@ PORTNAME= clingo DISTVERSIONPREFIX= v -DISTVERSION= 5.6.1 +DISTVERSION= 5.6.2 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org COMMENT= Grounder and solver for logic programs WWW= https://potassco.org/clingo/ LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.md BUILD_DEPENDS= re2c:devel/re2c -USES= cmake:testing compiler:c++14-lang +USES= cmake:testing compiler:c++14-lang python:test USE_LDCONFIG= yes USE_GITHUB= yes GH_ACCOUNT= potassco GH_TUPLE= potassco:clasp:4c708a7:potassco_clasp/clasp \ - catchorg:Catch2:62fd660:catch/third_party/catch \ + catchorg:Catch2:97313f9: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_ARGS= -DPython_EXECUTABLE=${PYTHON_CMD} CMAKE_TESTING_ON= CLINGO_BUILD_TESTS CONFLICTS_INSTALL= clasp # only installs bin/clasp that is included in clingo 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 .include diff --git a/math/clingo/distinfo b/math/clingo/distinfo index 2dd8d0b82057..27319d26d0f9 100644 --- a/math/clingo/distinfo +++ b/math/clingo/distinfo @@ -1,17 +1,17 @@ -TIMESTAMP = 1663473974 -SHA256 (potassco-clingo-v5.6.1_GH0.tar.gz) = fd94a8eadb0051abd0b7176e228404eeb93e0ad70307913a608aa4aa978fabec -SIZE (potassco-clingo-v5.6.1_GH0.tar.gz) = 3736873 +TIMESTAMP = 1679293637 +SHA256 (potassco-clingo-v5.6.2_GH0.tar.gz) = 81eb7b14977ac57c97c905bd570f30be2859eabc7fe534da3cdc65eaca44f5be +SIZE (potassco-clingo-v5.6.2_GH0.tar.gz) = 5079018 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 (catchorg-Catch2-97313f9_GH0.tar.gz) = 17678ecd174c70d77111d8dab966db168baa6362ee1e89910a51254e424f40c8 +SIZE (catchorg-Catch2-97313f9_GH0.tar.gz) = 1035855 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 diff --git a/math/py-clingo/Makefile b/math/py-clingo/Makefile index e4bc8a7519d8..73b42198358d 100644 --- a/math/py-clingo/Makefile +++ b/math/py-clingo/Makefile @@ -1,27 +1,27 @@ PORTNAME= clingo -DISTVERSION= 5.6.1 +DISTVERSION= 5.6.2 CATEGORIES= math python MASTER_SITES= PYPI PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} MAINTAINER= yuri@FreeBSD.org COMMENT= Grounder and solver for logic programs WWW= https://potassco.org/clingo/ LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.md BUILD_DEPENDS= cmake:devel/cmake-core \ ${PYTHON_PKGNAMEPREFIX}cffi>0:devel/py-cffi@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}scikit-build>0:devel/py-scikit-build@${PY_FLAVOR} USES= compiler:c++14-lang python:3.6+ USE_PYTHON= distutils autoplist unittest # some tests break, see https://github.com/potassco/clingo/issues/390 TEST_ENV= ${MAKE_ENV} PYTHONPATH=${STAGEDIR}${PYTHONPREFIX_SITELIBDIR}/clingo TEST_WRKSRC= ${WRKSRC}/libpyclingo post-install: @${STRIP_CMD} ${STAGEDIR}${PYTHON_SITELIBDIR}/clingo/_clingo${PYTHON_EXT_SUFFIX}.so .include diff --git a/math/py-clingo/distinfo b/math/py-clingo/distinfo index 56cad3d72399..92770e529427 100644 --- a/math/py-clingo/distinfo +++ b/math/py-clingo/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1663474598 -SHA256 (clingo-5.6.1.tar.gz) = facdce78bcb30ae161a44e5dfbd811b769c1245ae7a1aaebb15ef90322753c3b -SIZE (clingo-5.6.1.tar.gz) = 1805178 +TIMESTAMP = 1679294753 +SHA256 (clingo-5.6.2.tar.gz) = 7750f6e47bf2e725f93555cc9acd3b10d2ab73c2a3868e9eb6a098df9a6dd755 +SIZE (clingo-5.6.2.tar.gz) = 1807345