diff --git a/math/chuffed/Makefile b/math/chuffed/Makefile index cfff614dd95c..b67255ede61a 100644 --- a/math/chuffed/Makefile +++ b/math/chuffed/Makefile @@ -1,28 +1,28 @@ PORTNAME= chuffed -DISTVERSION= 0.13.2 +DISTVERSION= 0.14.0 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org COMMENT= Lazy clause generation CP solver for MiniZinc WWW= https://github.com/chuffed/chuffed LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE USES= bison cmake compiler:c++11-lang USE_GITHUB= yes 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: # correct version in the config file ${REINPLACE_CMD} -i '' -e 's|"version": ".*",|"version": "${PORTVERSION}",|' \ ${STAGEDIR}${PREFIX}/share/minizinc/solvers/chuffed.msc .include diff --git a/math/chuffed/distinfo b/math/chuffed/distinfo index 32973224faae..ce91beb4bea1 100644 --- a/math/chuffed/distinfo +++ b/math/chuffed/distinfo @@ -1,5 +1,5 @@ -TIMESTAMP = 1715321740 -SHA256 (chuffed-chuffed-0.13.2_GH0.tar.gz) = 39426a580690759ecf77ec5704caf5f2e21d41ff0aa09028827f5156bf5cb978 -SIZE (chuffed-chuffed-0.13.2_GH0.tar.gz) = 408360 +TIMESTAMP = 1788939248 +SHA256 (chuffed-chuffed-0.14.0_GH0.tar.gz) = 8f0da88d498bc610d894b784da59f87e1e7570fe017dd7249cc90f6ae81f1267 +SIZE (chuffed-chuffed-0.14.0_GH0.tar.gz) = 417729 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 454edc3c9b62..e91a73765401 100644 --- a/math/chuffed/pkg-plist +++ b/math/chuffed/pkg-plist @@ -1,117 +1,124 @@ 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/blackbox.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/assume/fzn_assume.mzn +%%DATADIR%%/experimental/blackbox/fzn_blackbox.mzn +%%DATADIR%%/experimental/blackbox/fzn_blackbox_bounds.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 %%DATADIR%%/fzn_count_geq.mzn %%DATADIR%%/fzn_count_geq_par.mzn %%DATADIR%%/fzn_count_gt.mzn %%DATADIR%%/fzn_count_gt_par.mzn %%DATADIR%%/fzn_count_leq.mzn %%DATADIR%%/fzn_count_leq_par.mzn %%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-2.0.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/assume +@dir include/chuffed/flatzinc/mznlib/experimental/blackbox @dir include/chuffed/flatzinc/mznlib/experimental/on_restart @dir include/chuffed/mzn-models