From nobody Mon Nov 06 02:07:10 2023 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4SNvqg33wGz50c3y; Mon, 6 Nov 2023 02:07:11 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4SNvqg1M6Sz4Fkh; Mon, 6 Nov 2023 02:07:11 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1699236431; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=iy665CHvdBBwj/QY3xCgm5O+9ChvFRjzZ1ulkCFLykw=; b=wZM5KcWEPF20sTCSXxdclYiJrCHe9sAXkXhV6R4uTXux0vFozNIL8lNv3GgMYbpyF/FowO 53+nIJD3iZa6W768JPvdh7MEj0ucsiEgmv7a90EJbd7cUaJomXJlNA9R2V4ZN3HEQQWtmT M13UnYAGLlYMfaIwkfY4dhxqiVSG+1MtutrIix4BjvqyfBaUh+DHuJ8QovYsIweCYdfGhn B+P+RlaRx7K6gBiIG4+Wiu3B9ZIKBGZ8zP9L+gkZLnv6lX1lP2VfwcVcDOrDBFhGQzNC2k nFUh10uBN60ZbRCsC406we3dcxqeiSkyre6DON6y3zyxKpFveu0tpWuJX4BA+Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1699236431; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=iy665CHvdBBwj/QY3xCgm5O+9ChvFRjzZ1ulkCFLykw=; b=WLKMj9OC3+uAZ8zk4erf9uERDuMo9Q5vrqlrtOiZWCRaQu9oOam7uvs4/7XloeKQijwQm0 LXFhS/AE0oWZTW9VRwyXDoNBYsq0tng01UdyBBNm8oEbaEkme0YROWkQ1o48aF+/nVovpY +SpFVzo7r0yRtNV5MzTIXsWowncm11plcH1TOJtvnQk84PoUj7uVHvla68dOprfjTOmtsv zNc1Qq212OqwNH9NoxPRgjPm5fb/5k2M9WswXxcx8oUnHHbrxOeSIDnSAMGL+8bG5fCsqB EALiSTF+AwXRJNdFb5ZQ11EDKHkT1ysj6fhiImWMfiN+3v9P8H68FSRfCo/kBQ== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1699236431; a=rsa-sha256; cv=none; b=Rfnkaisq4uf99micgSzDvQRf/IiAxWJk3cF9XYtJURMCpmqd3vdBxsxqkyLLOb+jPgccrJ cC5sQVDRiVrxGrbCHXaHSj5ftmFy5KmN+UhBxpv4s01GN6fMb3ePkYJVkxuGj/blvhgtSp 3uzUt471o5noMZscnfLV65v7qtCZfYQrwE5PQEXrarT321NmPoPmeezB/oX62Jd+xrz2M/ 5NgZ/aryJLlSa3JwrSJMG1x/Fmy2+ouqPusdpFcfHmWzI+kWe0uk3HeatG2BAReLemKQus dH5Ox7vr0rlsmBsFbo9oAA7+uWLFvMrzQnRO5/RJ1F+BzEai0clovhrhmUf3iA== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4SNvqg0NXczpV4; Mon, 6 Nov 2023 02:07:11 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 3A627Axi088608; Mon, 6 Nov 2023 02:07:10 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 3A627AE8088605; Mon, 6 Nov 2023 02:07:10 GMT (envelope-from git) Date: Mon, 6 Nov 2023 02:07:10 GMT Message-Id: <202311060207.3A627AE8088605@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 249081720a99 - main - math/chuffed: Remove GH_TAGNAME List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 249081720a998361c3ec20087ae0c4a572e45016 Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=249081720a998361c3ec20087ae0c4a572e45016 commit 249081720a998361c3ec20087ae0c4a572e45016 Author: Yuri Victorovich AuthorDate: 2023-11-06 01:23:21 +0000 Commit: Yuri Victorovich CommitDate: 2023-11-06 02:07:07 +0000 math/chuffed: Remove GH_TAGNAME It was left over in the previous update by mistake. --- math/chuffed/Makefile | 6 +++- math/chuffed/distinfo | 6 ++-- math/chuffed/pkg-plist | 84 ++++++++++++++++++++++++++++++++++++++++++++++++++ 3 files changed, 92 insertions(+), 4 deletions(-) diff --git a/math/chuffed/Makefile b/math/chuffed/Makefile index 49f922e35c2b..e97013426b3f 100644 --- a/math/chuffed/Makefile +++ b/math/chuffed/Makefile @@ -1,5 +1,6 @@ PORTNAME= chuffed DISTVERSION= 0.13.0 +PORTREVISION= 1 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -11,10 +12,13 @@ LICENSE_FILE= ${WRKSRC}/LICENSE USES= bison cmake compiler:c++11-lang USE_GITHUB= yes -GH_TAGNAME= e04bedd # devel branch: only devel branch is compatible with the current MiniZinc GH_TUPLE= cp-profiler:cpp-integration:f16b313:cpi/submodules/cp-profiler-integration +CMAKE_ON= BUILD_SHARED_LIBS + +CXXFLAGS+= -fPIC + DATADIR= ${PREFIX}/share/minizinc/chuffed post-install: diff --git a/math/chuffed/distinfo b/math/chuffed/distinfo index 2ccf4184cda9..194331463887 100644 --- a/math/chuffed/distinfo +++ b/math/chuffed/distinfo @@ -1,5 +1,5 @@ -TIMESTAMP = 1699204303 -SHA256 (chuffed-chuffed-0.13.0-e04bedd_GH0.tar.gz) = 42dc36cf0d7a408ccbced3c7c0b1a492898588401ddab435ff2f30580f0293aa -SIZE (chuffed-chuffed-0.13.0-e04bedd_GH0.tar.gz) = 321590 +TIMESTAMP = 1699226085 +SHA256 (chuffed-chuffed-0.13.0_GH0.tar.gz) = c6a1bff9d12098a6cd996fadb1797b0a23cc1750dcb7d65e8bf767827c363414 +SIZE (chuffed-chuffed-0.13.0_GH0.tar.gz) = 405377 SHA256 (cp-profiler-cpp-integration-f16b313_GH0.tar.gz) = 871b081fbc4ee76077eccd388ff1c6063e0376f365eba2cb9d8ce0ab9a617275 SIZE (cp-profiler-cpp-integration-f16b313_GH0.tar.gz) = 5214 diff --git a/math/chuffed/pkg-plist b/math/chuffed/pkg-plist index 5a2a2085ba9c..454edc3c9b62 100644 --- a/math/chuffed/pkg-plist +++ b/math/chuffed/pkg-plist @@ -1,9 +1,83 @@ bin/fzn-chuffed +include/chuffed/branching/branching.h +include/chuffed/branching/impact.h +include/chuffed/branching/warm-start.h +include/chuffed/core/assume.h +include/chuffed/core/engine.h +include/chuffed/core/options.h +include/chuffed/core/propagator.h +include/chuffed/core/sat-types.h +include/chuffed/core/sat.h +include/chuffed/flatzinc/ast.h +include/chuffed/flatzinc/flatzinc.h +include/chuffed/flatzinc/generated_parser/parser.tab.h +include/chuffed/globals/EdExplFinder.h +include/chuffed/globals/bounded_path.h +include/chuffed/globals/dag.h +include/chuffed/globals/dconnected.h +include/chuffed/globals/dtree.h +include/chuffed/globals/globals.h +include/chuffed/globals/graph.h +include/chuffed/globals/mddglobals.h +include/chuffed/globals/tree.h +include/chuffed/ldsb/ldsb.h +include/chuffed/mdd/CFG.h +include/chuffed/mdd/CYK.h +include/chuffed/mdd/MDD.h +include/chuffed/mdd/circ_fns.h +include/chuffed/mdd/circutil.h +include/chuffed/mdd/mdd_prop.h +include/chuffed/mdd/mdd_to_lgraph.h +include/chuffed/mdd/opcache.h +include/chuffed/mdd/opts.h +include/chuffed/mdd/sorters.h +include/chuffed/mdd/weighted_dfa.h +include/chuffed/mdd/wmdd_prop.h +include/chuffed/mip/mip.h +include/chuffed/mip/simplex.h +include/chuffed/primitives/primitives.h +include/chuffed/support/BVec.h +include/chuffed/support/ParseUtils.h +include/chuffed/support/dijkstra.h +include/chuffed/support/dynamic_kmeans.h +include/chuffed/support/floyd_warshall.h +include/chuffed/support/heap.h +include/chuffed/support/kosaraju_scc.h +include/chuffed/support/lengauer_tarjan.h +include/chuffed/support/misc.h +include/chuffed/support/set_finder.h +include/chuffed/support/sparse_set.h +include/chuffed/support/trailed_cst_list.h +include/chuffed/support/union_find.h +include/chuffed/support/vec.h +include/chuffed/vars/bool-view.h +include/chuffed/vars/int-var-el.h +include/chuffed/vars/int-var-ll.h +include/chuffed/vars/int-var-sl.h +include/chuffed/vars/int-var.h +include/chuffed/vars/int-view.h +include/chuffed/vars/modelling.h +include/chuffed/vars/vars.h +lib/cmake/chuffed/chuffed-config-version.cmake +lib/cmake/chuffed/chuffed-config.cmake +lib/cmake/chuffed/chuffed-targets-%%CMAKE_BUILD_TYPE%%.cmake +lib/cmake/chuffed/chuffed-targets.cmake +lib/libchuffed.so +lib/libchuffed_fzn.so %%DATADIR%%/chuffed.mzn %%DATADIR%%/edit_distance.mzn +%%DATADIR%%/experimental/on_restart/fzn_on_restart_complete.mzn +%%DATADIR%%/experimental/on_restart/fzn_on_restart_last_val_bool.mzn +%%DATADIR%%/experimental/on_restart/fzn_on_restart_last_val_int.mzn +%%DATADIR%%/experimental/on_restart/fzn_on_restart_sol_bool.mzn +%%DATADIR%%/experimental/on_restart/fzn_on_restart_sol_int.mzn +%%DATADIR%%/experimental/on_restart/fzn_on_restart_status.mzn +%%DATADIR%%/experimental/on_restart/fzn_on_restart_uniform_int.mzn %%DATADIR%%/fzn_all_different_int.mzn %%DATADIR%%/fzn_arg_max_bool.mzn +%%DATADIR%%/fzn_bounded_dpath_int.mzn %%DATADIR%%/fzn_circuit.mzn +%%DATADIR%%/fzn_connected.mzn %%DATADIR%%/fzn_cost_regular.mzn %%DATADIR%%/fzn_count_eq.mzn %%DATADIR%%/fzn_count_eq_par.mzn @@ -16,18 +90,28 @@ bin/fzn-chuffed %%DATADIR%%/fzn_count_lt.mzn %%DATADIR%%/fzn_count_lt_par.mzn %%DATADIR%%/fzn_cumulative.mzn +%%DATADIR%%/fzn_dag.mzn %%DATADIR%%/fzn_disjunctive.mzn %%DATADIR%%/fzn_disjunctive_strict.mzn %%DATADIR%%/fzn_distribute.mzn +%%DATADIR%%/fzn_dpath_int.mzn +%%DATADIR%%/fzn_dtree_int.mzn %%DATADIR%%/fzn_global_cardinality_low_up.mzn %%DATADIR%%/fzn_inverse.mzn %%DATADIR%%/fzn_nvalue.mzn %%DATADIR%%/fzn_regular.mzn +%%DATADIR%%/fzn_seq_precede_chain_int.mzn +%%DATADIR%%/fzn_steiner.mzn %%DATADIR%%/fzn_subcircuit.mzn %%DATADIR%%/fzn_table_int.mzn +%%DATADIR%%/fzn_tree_int.mzn +%%DATADIR%%/fzn_value_precede_int.mzn %%DATADIR%%/redefinitions.mzn %%DATADIR%%/values_interchange.mzn %%DATADIR%%/values_sequences.mzn %%DATADIR%%/variables_interchange.mzn %%DATADIR%%/variables_sequences.mzn share/minizinc/solvers/chuffed.msc +@dir include/chuffed/examples +@dir include/chuffed/flatzinc/mznlib/experimental/on_restart +@dir include/chuffed/mzn-models