Date: Sun, 5 Nov 2023 18:23:59 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 0907c99193c5 - main - math/minizinc: update 2.6.4 =?utf-8?Q?=E2=86=92?= 2.7.6 Message-ID: <202311051823.3A5INxXa021752@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=0907c99193c59903b3448ef000f75341252a6247 commit 0907c99193c59903b3448ef000f75341252a6247 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2023-11-05 17:53:30 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2023-11-05 17:53:30 +0000 math/minizinc: update 2.6.4 → 2.7.6 Reported by: portscout --- math/minizinc/Makefile | 6 ++++-- math/minizinc/distinfo | 6 +++--- math/minizinc/pkg-plist | 31 +++++++++++++++++++++++++++++++ 3 files changed, 38 insertions(+), 5 deletions(-) diff --git a/math/minizinc/Makefile b/math/minizinc/Makefile index d4d71f3db17d..ac2964cf5fb7 100644 --- a/math/minizinc/Makefile +++ b/math/minizinc/Makefile @@ -1,6 +1,5 @@ PORTNAME= minizinc -DISTVERSION= 2.6.4 -PORTREVISION= 1 +DISTVERSION= 2.7.6 CATEGORIES= math lang MAINTAINER= yuri@FreeBSD.org @@ -16,6 +15,7 @@ LIB_DEPENDS= libCbc.so:math/cbc \ libCgl.so:math/cgl \ libCoinUtils.so:math/coinutils \ libgecodekernel.so:math/gecode \ + libhighs.so:math/highs \ libOsi.so:math/osi \ libOsiClp.so:math/clp @@ -29,6 +29,8 @@ GH_PROJECT= libminizinc CMAKE_ON= BUILD_SHARED_LIBS CXXFLAGS+= -DFREEBSD_MZN_STDLIB_DIR="\\\"${DATADIR}\\\"" +CXXFLAGS+= -I${LOCALBASE}/include/highs # workaround for https://github.com/MiniZinc/libminizinc/issues/744 +LDFLAGS+= -L${LOCALBASE}/lib # workaround for https://github.com/MiniZinc/libminizinc/issues/744 OPTIONS_DEFINE= WITH_SCIP diff --git a/math/minizinc/distinfo b/math/minizinc/distinfo index 2e157cf031cd..58b314ad5b4f 100644 --- a/math/minizinc/distinfo +++ b/math/minizinc/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1656370768 -SHA256 (MiniZinc-libminizinc-2.6.4_GH0.tar.gz) = f1f5adba23c749ddfdb2420e797d7ff46e72b843850529978f867583dbc599ca -SIZE (MiniZinc-libminizinc-2.6.4_GH0.tar.gz) = 12975175 +TIMESTAMP = 1699204241 +SHA256 (MiniZinc-libminizinc-2.7.6_GH0.tar.gz) = 99de3a1051bd4b3ed2d436f62d965fce067286d954b5693d74a5f7c75877ddfb +SIZE (MiniZinc-libminizinc-2.7.6_GH0.tar.gz) = 13053472 diff --git a/math/minizinc/pkg-plist b/math/minizinc/pkg-plist index 98ed1711c4b8..61cc7b6f0a7e 100644 --- a/math/minizinc/pkg-plist +++ b/math/minizinc/pkg-plist @@ -1,6 +1,7 @@ bin/minizinc bin/mzn2doc include/minizinc/MIPdomains.hh +include/minizinc/_thirdparty/b64/ccommon.h include/minizinc/_thirdparty/b64/cdecode.h include/minizinc/_thirdparty/b64/cencode.h include/minizinc/_thirdparty/b64/decode.h @@ -58,6 +59,8 @@ include/minizinc/solvers/MIP/MIP_cplex_solverfactory.hh include/minizinc/solvers/MIP/MIP_cplex_wrap.hh include/minizinc/solvers/MIP/MIP_gurobi_solverfactory.hh include/minizinc/solvers/MIP/MIP_gurobi_wrap.hh +include/minizinc/solvers/MIP/MIP_highs_solverfactory.hh +include/minizinc/solvers/MIP/MIP_highs_wrap.hh include/minizinc/solvers/MIP/MIP_osicbc_solverfactory.hh include/minizinc/solvers/MIP/MIP_osicbc_wrap.hh include/minizinc/solvers/MIP/MIP_scip_solverfactory.hh @@ -67,6 +70,8 @@ include/minizinc/solvers/MIP/MIP_solverinstance.hpp include/minizinc/solvers/MIP/MIP_wrap.hh include/minizinc/solvers/MIP/MIP_xpress_solverfactory.hh include/minizinc/solvers/MIP/MIP_xpress_wrap.hh +include/minizinc/solvers/chuffed_solverfactory.hh +include/minizinc/solvers/chuffed_solverinstance.hh include/minizinc/solvers/fzn_solverfactory.hh include/minizinc/solvers/fzn_solverinstance.hh include/minizinc/solvers/geas/geas_constraints.hh @@ -244,6 +249,7 @@ lib/libmzn.so %%DATADIR%%/std/arg_sort_float.mzn.deprecated.mzn %%DATADIR%%/std/arg_sort_int.mzn %%DATADIR%%/std/arg_sort_int.mzn.deprecated.mzn +%%DATADIR%%/std/arg_val.mzn %%DATADIR%%/std/at_least.mzn %%DATADIR%%/std/at_least.mzn.deprecated.mzn %%DATADIR%%/std/at_least_int.mzn @@ -311,6 +317,20 @@ lib/libmzn.so %%DATADIR%%/std/exactly_int.mzn %%DATADIR%%/std/exactly_set.mzn %%DATADIR%%/std/experimental.mzn +%%DATADIR%%/std/experimental/all.mzn +%%DATADIR%%/std/experimental/on_restart.mzn +%%DATADIR%%/std/experimental/on_restart/fzn_on_restart_complete.mzn +%%DATADIR%%/std/experimental/on_restart/fzn_on_restart_last_val_bool.mzn +%%DATADIR%%/std/experimental/on_restart/fzn_on_restart_last_val_float.mzn +%%DATADIR%%/std/experimental/on_restart/fzn_on_restart_last_val_int.mzn +%%DATADIR%%/std/experimental/on_restart/fzn_on_restart_last_val_set.mzn +%%DATADIR%%/std/experimental/on_restart/fzn_on_restart_sol_bool.mzn +%%DATADIR%%/std/experimental/on_restart/fzn_on_restart_sol_float.mzn +%%DATADIR%%/std/experimental/on_restart/fzn_on_restart_sol_int.mzn +%%DATADIR%%/std/experimental/on_restart/fzn_on_restart_sol_set.mzn +%%DATADIR%%/std/experimental/on_restart/fzn_on_restart_status.mzn +%%DATADIR%%/std/experimental/on_restart/fzn_on_restart_uniform_float.mzn +%%DATADIR%%/std/experimental/on_restart/fzn_on_restart_uniform_int.mzn %%DATADIR%%/std/flatzinc_builtins.mzn %%DATADIR%%/std/fzn_all_different_int.mzn %%DATADIR%%/std/fzn_all_different_int_opt.mzn @@ -347,6 +367,12 @@ lib/libmzn.so %%DATADIR%%/std/fzn_arg_sort_float_reif.mzn %%DATADIR%%/std/fzn_arg_sort_int.mzn %%DATADIR%%/std/fzn_arg_sort_int_reif.mzn +%%DATADIR%%/std/fzn_arg_val_bool.mzn +%%DATADIR%%/std/fzn_arg_val_bool_opt.mzn +%%DATADIR%%/std/fzn_arg_val_float.mzn +%%DATADIR%%/std/fzn_arg_val_float_opt.mzn +%%DATADIR%%/std/fzn_arg_val_int.mzn +%%DATADIR%%/std/fzn_arg_val_int_opt.mzn %%DATADIR%%/std/fzn_array_int_union.mzn %%DATADIR%%/std/fzn_array_opt_int_union.mzn %%DATADIR%%/std/fzn_array_set_intersect.mzn @@ -661,6 +687,8 @@ lib/libmzn.so %%DATADIR%%/std/fzn_value_precede_int_reif.mzn %%DATADIR%%/std/fzn_value_precede_set.mzn %%DATADIR%%/std/fzn_value_precede_set_reif.mzn +%%DATADIR%%/std/fzn_var_perm_sym.mzn +%%DATADIR%%/std/fzn_var_sqr_sym.mzn %%DATADIR%%/std/fzn_write.mzn %%DATADIR%%/std/fzn_write_reif.mzn %%DATADIR%%/std/fzn_writes.mzn @@ -772,6 +800,7 @@ lib/libmzn.so %%DATADIR%%/std/redefinitions-2.2.1.mzn %%DATADIR%%/std/redefinitions-2.3.3.mzn %%DATADIR%%/std/redefinitions-2.5.2.mzn +%%DATADIR%%/std/redefinitions-2.7.1.mzn %%DATADIR%%/std/redefinitions.mzn %%DATADIR%%/std/regular.mzn %%DATADIR%%/std/regular_nfa.mzn @@ -829,6 +858,8 @@ lib/libmzn.so %%DATADIR%%/std/value_precede_int.mzn.deprecated.mzn %%DATADIR%%/std/value_precede_set.mzn %%DATADIR%%/std/value_precede_set.mzn.deprecated.mzn +%%DATADIR%%/std/var_perm_sym.mzn +%%DATADIR%%/std/var_sqr_sym.mzn %%DATADIR%%/std/weighted_spanning_tree.mzn %%DATADIR%%/std/write.mzn %%DATADIR%%/std/writes.mzn
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202311051823.3A5INxXa021752>