pkgsrc-WIP-changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
gecode: update to 6.2.0
Module Name: pkgsrc-wip
Committed By: Thomas Klausner <wiz%NetBSD.org@localhost>
Pushed By: wiz
Date: Mon Sep 15 00:48:36 2025 +0200
Changeset: f69ef0094b70141d4846222b2642b84621a988ac
Modified Files:
gecode/DESCR
gecode/Makefile
gecode/PLIST
gecode/distinfo
Added Files:
gecode/patches/patch-gecode_search_cpprofiler_connector.hpp
Removed Files:
gecode/patches/patch-Makefile
gecode/patches/patch-configure
Log Message:
gecode: update to 6.2.0
To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=f69ef0094b70141d4846222b2642b84621a988ac
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
diffstat:
gecode/DESCR | 6 +-
gecode/Makefile | 24 +-
gecode/PLIST | 425 +++++++++++++++++----
gecode/distinfo | 10 +-
gecode/patches/patch-Makefile | 14 -
gecode/patches/patch-configure | 28 --
.../patch-gecode_search_cpprofiler_connector.hpp | 14 +
7 files changed, 387 insertions(+), 134 deletions(-)
diffs:
diff --git a/gecode/DESCR b/gecode/DESCR
index 905d012797..502ad7a864 100644
--- a/gecode/DESCR
+++ b/gecode/DESCR
@@ -1,3 +1,3 @@
-Gecode is a toolkit for developing constraint-based systems and applications.
-Gecode provides a constraint solver with state-of-the-art performance while
-being modular and extensible.
+Gecode is an open source C++ toolkit for developing constraint-based
+systems and applications. Gecode provides a constraint solver with
+state-of-the-art performance while being modular and extensible.
diff --git a/gecode/Makefile b/gecode/Makefile
index 280d07eeb7..cb1ce9c7e5 100644
--- a/gecode/Makefile
+++ b/gecode/Makefile
@@ -1,21 +1,23 @@
-# $NetBSD: Makefile,v 1.1 2013/01/10 13:47:27 fhajny Exp $
-#
+# $NetBSD$
-DISTNAME= gecode-3.7.3
-CATEGORIES= devel
-MASTER_SITES= http://www.gecode.org/download/
+DISTNAME= gecode-6.2.0
+CATEGORIES= math
+MASTER_SITES= ${MASTER_SITE_GITHUB:=Gecode/}
+GITHUB_PROJECT= gecode
+GITHUB_TAG= release-${PKGVERSION_NOREV}
MAINTAINER= pkgsrc-users%NetBSD.org@localhost
-HOMEPAGE= https://www.gecode.org/
-COMMENT= Toolkit for developing constraint-based systems
+HOMEPAGE= https://github.com/Gecode/gecode/
+COMMENT= Generic Constraint Development Environment
LICENSE= mit
-GNU_CONFIGURE= yes
+WRKSRC= ${WRKDIR}/gecode-release-6.2.0
USE_LANGUAGES= c c++
-USE_TOOLS= gmake perl bash
-CONFIG_SHELL= ${TOOLS_PATH.bash}
+# unused
+CHECK_PORTABILITY_SKIP= configure
-CONFIGURE_ARGS+= --enable-examples=no
+CMAKE_CONFIGURE_ARGS+= -DCMAKE_POLICY_VERSION_MINIMUM=3.5
+.include "../../devel/cmake/build.mk"
.include "../../mk/bsd.pkg.mk"
diff --git a/gecode/PLIST b/gecode/PLIST
index 81da3a9008..38d579fea8 100644
--- a/gecode/PLIST
+++ b/gecode/PLIST
@@ -1,19 +1,82 @@
-@comment $NetBSD: PLIST,v 1.1 2013/01/10 13:47:27 fhajny Exp $
-bin/fz
+@comment $NetBSD$
+bin/fzn-gecode
bin/mzn-gecode
-include/examples/scowl.hpp
include/gecode/driver.hh
include/gecode/driver/options.hpp
include/gecode/driver/script.hpp
include/gecode/flatzinc.hh
include/gecode/flatzinc/ast.hh
+include/gecode/flatzinc/branch.hh
+include/gecode/flatzinc/branch.hpp
include/gecode/flatzinc/conexpr.hh
include/gecode/flatzinc/option.hh
include/gecode/flatzinc/parser.hh
+include/gecode/flatzinc/parser.tab.hh
include/gecode/flatzinc/plugin.hh
include/gecode/flatzinc/registry.hh
include/gecode/flatzinc/symboltable.hh
include/gecode/flatzinc/varspec.hh
+include/gecode/float.hh
+include/gecode/float/arithmetic.hh
+include/gecode/float/arithmetic/abs.hpp
+include/gecode/float/arithmetic/div.hpp
+include/gecode/float/arithmetic/min-max.hpp
+include/gecode/float/arithmetic/mult.hpp
+include/gecode/float/arithmetic/pow-nroot.hpp
+include/gecode/float/arithmetic/sqr-sqrt.hpp
+include/gecode/float/array-traits.hpp
+include/gecode/float/array.hpp
+include/gecode/float/bool.hh
+include/gecode/float/bool/ite.hpp
+include/gecode/float/branch.hh
+include/gecode/float/branch.hpp
+include/gecode/float/branch/action.hpp
+include/gecode/float/branch/afc.hpp
+include/gecode/float/branch/assign.hpp
+include/gecode/float/branch/chb.hpp
+include/gecode/float/branch/merit.hpp
+include/gecode/float/branch/traits.hpp
+include/gecode/float/branch/val-commit.hpp
+include/gecode/float/branch/val-sel.hpp
+include/gecode/float/branch/val.hpp
+include/gecode/float/branch/var.hpp
+include/gecode/float/channel.hh
+include/gecode/float/channel.hpp
+include/gecode/float/channel/channel.hpp
+include/gecode/float/exception.hpp
+include/gecode/float/limits.hpp
+include/gecode/float/linear.hh
+include/gecode/float/linear/nary.hpp
+include/gecode/float/nextafter.hpp
+include/gecode/float/num.hpp
+include/gecode/float/rel.hh
+include/gecode/float/rel/eq.hpp
+include/gecode/float/rel/lq-le.hpp
+include/gecode/float/rel/nq.hpp
+include/gecode/float/rounding.hpp
+include/gecode/float/trace.hpp
+include/gecode/float/trace/delta.hpp
+include/gecode/float/trace/trace-view.hpp
+include/gecode/float/trace/traits.hpp
+include/gecode/float/transcendental.hh
+include/gecode/float/transcendental/exp-log.hpp
+include/gecode/float/trigonometric.hh
+include/gecode/float/trigonometric/asinacos.hpp
+include/gecode/float/trigonometric/sincos.hpp
+include/gecode/float/trigonometric/tanatan.hpp
+include/gecode/float/val.hpp
+include/gecode/float/var-imp.hpp
+include/gecode/float/var-imp/delta.hpp
+include/gecode/float/var-imp/float.hpp
+include/gecode/float/var/float.hpp
+include/gecode/float/var/print.hpp
+include/gecode/float/view.hpp
+include/gecode/float/view/float.hpp
+include/gecode/float/view/minus.hpp
+include/gecode/float/view/offset.hpp
+include/gecode/float/view/print.hpp
+include/gecode/float/view/rel-test.hpp
+include/gecode/float/view/scale.hpp
include/gecode/gist.hh
include/gecode/gist/drawingcursor.hh
include/gecode/gist/drawingcursor.hpp
@@ -43,29 +106,43 @@ include/gecode/gist/zoomToFitIcon.hpp
include/gecode/int.hh
include/gecode/int/arithmetic.hh
include/gecode/int/arithmetic/abs.hpp
+include/gecode/int/arithmetic/argmax.hpp
include/gecode/int/arithmetic/divmod.hpp
include/gecode/int/arithmetic/max.hpp
include/gecode/int/arithmetic/mult.hpp
-include/gecode/int/arithmetic/sqr.hpp
-include/gecode/int/arithmetic/sqrt.hpp
+include/gecode/int/arithmetic/nroot.hpp
+include/gecode/int/arithmetic/pow-ops.hpp
+include/gecode/int/arithmetic/pow.hpp
include/gecode/int/array-traits.hpp
include/gecode/int/array.hpp
include/gecode/int/bin-packing.hh
+include/gecode/int/bin-packing/conflict-graph.hpp
include/gecode/int/bin-packing/propagate.hpp
include/gecode/int/bool.hh
include/gecode/int/bool/base.hpp
include/gecode/int/bool/clause.hpp
include/gecode/int/bool/eq.hpp
include/gecode/int/bool/eqv.hpp
+include/gecode/int/bool/ite.hpp
include/gecode/int/bool/lq.hpp
include/gecode/int/bool/or.hpp
include/gecode/int/branch.hh
-include/gecode/int/branch/post-val-bool.hpp
-include/gecode/int/branch/post-val-int.hpp
-include/gecode/int/branch/select-val.hpp
-include/gecode/int/branch/select-values.hpp
-include/gecode/int/branch/select-view.hpp
+include/gecode/int/branch.hpp
+include/gecode/int/branch/action.hpp
+include/gecode/int/branch/afc.hpp
+include/gecode/int/branch/assign.hpp
+include/gecode/int/branch/cbs.hpp
+include/gecode/int/branch/chb.hpp
+include/gecode/int/branch/merit.hpp
+include/gecode/int/branch/ngl.hpp
+include/gecode/int/branch/traits.hpp
+include/gecode/int/branch/val-commit.hpp
+include/gecode/int/branch/val-sel.hpp
+include/gecode/int/branch/val.hpp
+include/gecode/int/branch/var.hpp
+include/gecode/int/branch/view-values.hpp
include/gecode/int/channel.hh
+include/gecode/int/channel.hpp
include/gecode/int/channel/base.hpp
include/gecode/int/channel/dom.hpp
include/gecode/int/channel/link-multi.hpp
@@ -86,26 +163,33 @@ include/gecode/int/count/view-eq.hpp
include/gecode/int/count/view-gq.hpp
include/gecode/int/count/view-lq.hpp
include/gecode/int/cumulative.hh
-include/gecode/int/cumulative/basic.hpp
include/gecode/int/cumulative/edge-finding.hpp
+include/gecode/int/cumulative/limits.hpp
include/gecode/int/cumulative/man-prop.hpp
include/gecode/int/cumulative/opt-prop.hpp
include/gecode/int/cumulative/overload.hpp
+include/gecode/int/cumulative/post.hpp
+include/gecode/int/cumulative/subsumption.hpp
include/gecode/int/cumulative/task-view.hpp
include/gecode/int/cumulative/task.hpp
+include/gecode/int/cumulative/time-tabling.hpp
include/gecode/int/cumulative/tree.hpp
include/gecode/int/cumulatives.hh
include/gecode/int/cumulatives/val.hpp
include/gecode/int/distinct.hh
include/gecode/int/distinct/bnd.hpp
+include/gecode/int/distinct/cbs.hpp
include/gecode/int/distinct/dom-ctrl.hpp
include/gecode/int/distinct/dom.hpp
+include/gecode/int/distinct/eqite.hpp
include/gecode/int/distinct/graph.hpp
include/gecode/int/distinct/ter-dom.hpp
include/gecode/int/distinct/val.hpp
+include/gecode/int/div.hh
+include/gecode/int/div.hpp
include/gecode/int/dom.hh
include/gecode/int/dom/range.hpp
-include/gecode/int/dom/spec.hpp
+include/gecode/int/dom/set.hpp
include/gecode/int/element.hh
include/gecode/int/element/int.hpp
include/gecode/int/element/pair.hpp
@@ -114,11 +198,12 @@ include/gecode/int/exception.hpp
include/gecode/int/exec.hh
include/gecode/int/exec/when.hpp
include/gecode/int/extensional.hh
-include/gecode/int/extensional/base.hpp
-include/gecode/int/extensional/basic.hpp
+include/gecode/int/extensional.hpp
+include/gecode/int/extensional/bit-set.hpp
+include/gecode/int/extensional/compact.hpp
include/gecode/int/extensional/dfa.hpp
-include/gecode/int/extensional/incremental.hpp
include/gecode/int/extensional/layered-graph.hpp
+include/gecode/int/extensional/tiny-bit-set.hpp
include/gecode/int/extensional/tuple-set.hpp
include/gecode/int/gcc.hh
include/gecode/int/gcc/bnd-sup.hpp
@@ -128,8 +213,15 @@ include/gecode/int/gcc/dom.hpp
include/gecode/int/gcc/post.hpp
include/gecode/int/gcc/val.hpp
include/gecode/int/gcc/view.hpp
+include/gecode/int/idx-view.hh
+include/gecode/int/idx-view.hpp
include/gecode/int/int-set-1.hpp
include/gecode/int/int-set-2.hpp
+include/gecode/int/ipl.hpp
+include/gecode/int/irt.hpp
+include/gecode/int/ldsb.hh
+include/gecode/int/ldsb/brancher.hpp
+include/gecode/int/ldsb/sym-imp.hpp
include/gecode/int/limits.hpp
include/gecode/int/linear.hh
include/gecode/int/linear/bool-int.hpp
@@ -162,9 +254,12 @@ include/gecode/int/nvalues/int-gq.hpp
include/gecode/int/nvalues/int-lq.hpp
include/gecode/int/nvalues/range-event.hpp
include/gecode/int/nvalues/sym-bit-matrix.hpp
+include/gecode/int/order.hh
+include/gecode/int/order/propagate.hpp
include/gecode/int/precede.hh
include/gecode/int/precede/single.hpp
include/gecode/int/propagator.hpp
+include/gecode/int/reify.hpp
include/gecode/int/rel.hh
include/gecode/int/rel/eq.hpp
include/gecode/int/rel/lex.hpp
@@ -185,6 +280,7 @@ include/gecode/int/support-values.hh
include/gecode/int/support-values.hpp
include/gecode/int/task.hh
include/gecode/int/task/array.hpp
+include/gecode/int/task/event.hpp
include/gecode/int/task/fwd-to-bwd.hpp
include/gecode/int/task/iter.hpp
include/gecode/int/task/man-to-opt.hpp
@@ -192,6 +288,12 @@ include/gecode/int/task/prop.hpp
include/gecode/int/task/purge.hpp
include/gecode/int/task/sort.hpp
include/gecode/int/task/tree.hpp
+include/gecode/int/trace.hpp
+include/gecode/int/trace/bool-delta.hpp
+include/gecode/int/trace/bool-trace-view.hpp
+include/gecode/int/trace/int-delta.hpp
+include/gecode/int/trace/int-trace-view.hpp
+include/gecode/int/trace/traits.hpp
include/gecode/int/unary.hh
include/gecode/int/unary/detectable.hpp
include/gecode/int/unary/edge-finding.hpp
@@ -199,9 +301,11 @@ include/gecode/int/unary/man-prop.hpp
include/gecode/int/unary/not-first-not-last.hpp
include/gecode/int/unary/opt-prop.hpp
include/gecode/int/unary/overload.hpp
+include/gecode/int/unary/post.hpp
include/gecode/int/unary/subsumption.hpp
include/gecode/int/unary/task-view.hpp
include/gecode/int/unary/task.hpp
+include/gecode/int/unary/time-tabling.hpp
include/gecode/int/unary/tree.hpp
include/gecode/int/val-set.hh
include/gecode/int/val-set.hpp
@@ -259,6 +363,7 @@ include/gecode/iter/ranges-union.hpp
include/gecode/iter/ranges-values.hpp
include/gecode/iter/values-array.hpp
include/gecode/iter/values-bitset.hpp
+include/gecode/iter/values-bitsetoffset.hpp
include/gecode/iter/values-inter.hpp
include/gecode/iter/values-list.hpp
include/gecode/iter/values-map.hpp
@@ -271,36 +376,64 @@ include/gecode/iter/values-singleton.hpp
include/gecode/iter/values-union.hpp
include/gecode/iter/values-unique.hpp
include/gecode/kernel.hh
-include/gecode/kernel/advisor.hpp
-include/gecode/kernel/allocators.hpp
include/gecode/kernel/archive.hpp
-include/gecode/kernel/array.hpp
-include/gecode/kernel/branch.hpp
-include/gecode/kernel/brancher-tiebreak.hpp
-include/gecode/kernel/brancher-val.hpp
-include/gecode/kernel/brancher-view.hpp
-include/gecode/kernel/brancher.hpp
+include/gecode/kernel/branch/action.hpp
+include/gecode/kernel/branch/afc.hpp
+include/gecode/kernel/branch/chb.hpp
+include/gecode/kernel/branch/filter.hpp
+include/gecode/kernel/branch/merit.hpp
+include/gecode/kernel/branch/print.hpp
+include/gecode/kernel/branch/tiebreak.hpp
+include/gecode/kernel/branch/traits.hpp
+include/gecode/kernel/branch/val-commit.hpp
+include/gecode/kernel/branch/val-sel-commit.hpp
+include/gecode/kernel/branch/val-sel.hpp
+include/gecode/kernel/branch/val.hpp
+include/gecode/kernel/branch/var.hpp
+include/gecode/kernel/branch/view-sel.hpp
+include/gecode/kernel/branch/view-val.hpp
+include/gecode/kernel/branch/view.hpp
include/gecode/kernel/core.hpp
+include/gecode/kernel/data/array.hpp
+include/gecode/kernel/data/rnd.hpp
+include/gecode/kernel/data/shared-array.hpp
+include/gecode/kernel/data/shared-data.hpp
include/gecode/kernel/exception.hpp
-include/gecode/kernel/global-prop-info.hpp
+include/gecode/kernel/gpi.hpp
include/gecode/kernel/macros.hpp
-include/gecode/kernel/memory-config.hpp
-include/gecode/kernel/memory-manager.hpp
+include/gecode/kernel/memory/allocators.hpp
+include/gecode/kernel/memory/config.hpp
+include/gecode/kernel/memory/manager.hpp
+include/gecode/kernel/memory/region.hpp
include/gecode/kernel/modevent.hpp
-include/gecode/kernel/propagator.hpp
+include/gecode/kernel/propagator/advisor.hpp
+include/gecode/kernel/propagator/pattern.hpp
+include/gecode/kernel/propagator/subscribed.hpp
+include/gecode/kernel/propagator/wait.hpp
include/gecode/kernel/range-list.hpp
-include/gecode/kernel/region.hpp
-include/gecode/kernel/shared-array.hpp
+include/gecode/kernel/shared-object.hpp
+include/gecode/kernel/shared-space-data.hpp
+include/gecode/kernel/trace/filter.hpp
+include/gecode/kernel/trace/general.hpp
+include/gecode/kernel/trace/print.hpp
+include/gecode/kernel/trace/recorder.hpp
+include/gecode/kernel/trace/tracer.hpp
+include/gecode/kernel/trace/traits.hpp
include/gecode/kernel/var-imp.hpp
include/gecode/kernel/var-type.hpp
include/gecode/kernel/var.hpp
include/gecode/kernel/view.hpp
-include/gecode/kernel/wait.hh
include/gecode/minimodel.hh
+include/gecode/minimodel/aliases.hpp
include/gecode/minimodel/bool-expr.hpp
+include/gecode/minimodel/channel.hpp
include/gecode/minimodel/exception.hpp
-include/gecode/minimodel/lin-expr.hpp
-include/gecode/minimodel/lin-rel.hpp
+include/gecode/minimodel/float-expr.hpp
+include/gecode/minimodel/float-rel.hpp
+include/gecode/minimodel/int-expr.hpp
+include/gecode/minimodel/int-rel.hpp
+include/gecode/minimodel/ipl.hpp
+include/gecode/minimodel/ldsb.hpp
include/gecode/minimodel/matrix.hpp
include/gecode/minimodel/optimize.hpp
include/gecode/minimodel/reg.hpp
@@ -308,29 +441,73 @@ include/gecode/minimodel/set-expr.hpp
include/gecode/minimodel/set-rel.hpp
include/gecode/search.hh
include/gecode/search/bab.hpp
+include/gecode/search/base.hpp
+include/gecode/search/build.hpp
+include/gecode/search/cpprofiler/connector.hpp
+include/gecode/search/cpprofiler/message.hpp
+include/gecode/search/cutoff.hpp
include/gecode/search/dfs.hpp
+include/gecode/search/engine.hpp
+include/gecode/search/exception.hpp
+include/gecode/search/lds.hpp
+include/gecode/search/nogoods.hh
+include/gecode/search/nogoods.hpp
include/gecode/search/options.hpp
-include/gecode/search/parallel/bab.hh
-include/gecode/search/parallel/dfs.hh
-include/gecode/search/parallel/engine.hh
-include/gecode/search/parallel/path.hh
-include/gecode/search/parallel/restart.hh
-include/gecode/search/restart.hpp
-include/gecode/search/sequential/bab.hh
-include/gecode/search/sequential/dfs.hh
-include/gecode/search/sequential/path.hh
-include/gecode/search/sequential/restart.hh
+include/gecode/search/par/bab.hh
+include/gecode/search/par/bab.hpp
+include/gecode/search/par/dfs.hh
+include/gecode/search/par/dfs.hpp
+include/gecode/search/par/engine.hh
+include/gecode/search/par/engine.hpp
+include/gecode/search/par/path.hh
+include/gecode/search/par/path.hpp
+include/gecode/search/par/pbs.hh
+include/gecode/search/par/pbs.hpp
+include/gecode/search/pbs.hpp
+include/gecode/search/rbs.hpp
+include/gecode/search/relax.hh
+include/gecode/search/sebs.hpp
+include/gecode/search/seq/bab.hh
+include/gecode/search/seq/bab.hpp
+include/gecode/search/seq/dead.hh
+include/gecode/search/seq/dfs.hh
+include/gecode/search/seq/dfs.hpp
+include/gecode/search/seq/lds.hh
+include/gecode/search/seq/lds.hpp
+include/gecode/search/seq/path.hh
+include/gecode/search/seq/path.hpp
+include/gecode/search/seq/pbs.hh
+include/gecode/search/seq/pbs.hpp
+include/gecode/search/seq/rbs.hh
+include/gecode/search/seq/rbs.hpp
include/gecode/search/statistics.hpp
include/gecode/search/stop.hpp
include/gecode/search/support.hh
+include/gecode/search/trace-recorder.hpp
+include/gecode/search/tracer.hpp
+include/gecode/search/traits.hpp
include/gecode/search/worker.hh
include/gecode/set.hh
include/gecode/set/array-traits.hpp
include/gecode/set/array.hpp
include/gecode/set/branch.hh
-include/gecode/set/branch/post-val.hpp
-include/gecode/set/branch/select-val.hpp
-include/gecode/set/branch/select-view.hpp
+include/gecode/set/branch.hpp
+include/gecode/set/branch/action.hpp
+include/gecode/set/branch/afc.hpp
+include/gecode/set/branch/assign.hpp
+include/gecode/set/branch/chb.hpp
+include/gecode/set/branch/merit.hpp
+include/gecode/set/branch/ngl.hpp
+include/gecode/set/branch/traits.hpp
+include/gecode/set/branch/val-commit.hpp
+include/gecode/set/branch/val-sel.hpp
+include/gecode/set/branch/val.hpp
+include/gecode/set/branch/var.hpp
+include/gecode/set/channel.hh
+include/gecode/set/channel/bool.hpp
+include/gecode/set/channel/int.hpp
+include/gecode/set/channel/set.hpp
+include/gecode/set/channel/sorted.hpp
include/gecode/set/convex.hh
include/gecode/set/convex/conv.hpp
include/gecode/set/convex/hull.hpp
@@ -343,12 +520,12 @@ include/gecode/set/element/union.hpp
include/gecode/set/element/unionConst.hpp
include/gecode/set/exception.hpp
include/gecode/set/int.hh
+include/gecode/set/int.hpp
include/gecode/set/int/card.hpp
-include/gecode/set/int/channel-bool.hpp
-include/gecode/set/int/channel-int.hpp
-include/gecode/set/int/match.hpp
include/gecode/set/int/minmax.hpp
include/gecode/set/int/weights.hpp
+include/gecode/set/ldsb.hh
+include/gecode/set/ldsb/brancher.hpp
include/gecode/set/limits.hpp
include/gecode/set/precede.hh
include/gecode/set/precede/single.hpp
@@ -374,6 +551,10 @@ include/gecode/set/sequence.hh
include/gecode/set/sequence/common.hpp
include/gecode/set/sequence/seq-u.hpp
include/gecode/set/sequence/seq.hpp
+include/gecode/set/trace.hpp
+include/gecode/set/trace/delta.hpp
+include/gecode/set/trace/trace-view.hpp
+include/gecode/set/trace/traits.hpp
include/gecode/set/var-imp.hpp
include/gecode/set/var-imp/delta.hpp
include/gecode/set/var-imp/integerset.hpp
@@ -389,8 +570,10 @@ include/gecode/set/view/print.hpp
include/gecode/set/view/set.hpp
include/gecode/set/view/singleton.hpp
include/gecode/support.hh
+include/gecode/support/allocator.hpp
include/gecode/support/auto-link.hpp
include/gecode/support/bitset-base.hpp
+include/gecode/support/bitset-offset.hpp
include/gecode/support/bitset.hpp
include/gecode/support/block-allocator.hpp
include/gecode/support/cast.hpp
@@ -399,11 +582,15 @@ include/gecode/support/dynamic-array.hpp
include/gecode/support/dynamic-queue.hpp
include/gecode/support/dynamic-stack.hpp
include/gecode/support/exception.hpp
+include/gecode/support/hash.hpp
include/gecode/support/heap.hpp
+include/gecode/support/hw-rnd.hpp
include/gecode/support/int-type.hpp
include/gecode/support/macros.hpp
include/gecode/support/marked-pointer.hpp
include/gecode/support/random.hpp
+include/gecode/support/ref-count.hpp
+include/gecode/support/run-jobs.hpp
include/gecode/support/sort.hpp
include/gecode/support/static-stack.hpp
include/gecode/support/thread.hpp
@@ -412,33 +599,119 @@ include/gecode/support/thread/pthreads.hpp
include/gecode/support/thread/thread.hpp
include/gecode/support/thread/windows.hpp
include/gecode/support/timer.hpp
-lib/libgecodedriver.so
-lib/libgecodedriver.so.32
-lib/libgecodedriver.so.32.0
-lib/libgecodeflatzinc.so
-lib/libgecodeflatzinc.so.32
-lib/libgecodeflatzinc.so.32.0
-lib/libgecodeint.so
-lib/libgecodeint.so.32
-lib/libgecodeint.so.32.0
-lib/libgecodekernel.so
-lib/libgecodekernel.so.32
-lib/libgecodekernel.so.32.0
-lib/libgecodeminimodel.so
-lib/libgecodeminimodel.so.32
-lib/libgecodeminimodel.so.32.0
-lib/libgecodesearch.so
-lib/libgecodesearch.so.32
-lib/libgecodesearch.so.32.0
-lib/libgecodeset.so
-lib/libgecodeset.so.32
-lib/libgecodeset.so.32.0
-lib/libgecodesupport.so
-lib/libgecodesupport.so.32
-lib/libgecodesupport.so.32.0
+include/gecode/third-party/boost/LICENSE_1_0.txt
+include/gecode/third-party/boost/config.hpp
+include/gecode/third-party/boost/config/compiler/borland.hpp
+include/gecode/third-party/boost/config/compiler/clang.hpp
+include/gecode/third-party/boost/config/compiler/codegear.hpp
+include/gecode/third-party/boost/config/compiler/comeau.hpp
+include/gecode/third-party/boost/config/compiler/common_edg.hpp
+include/gecode/third-party/boost/config/compiler/compaq_cxx.hpp
+include/gecode/third-party/boost/config/compiler/digitalmars.hpp
+include/gecode/third-party/boost/config/compiler/gcc.hpp
+include/gecode/third-party/boost/config/compiler/gcc_xml.hpp
+include/gecode/third-party/boost/config/compiler/greenhills.hpp
+include/gecode/third-party/boost/config/compiler/hp_acc.hpp
+include/gecode/third-party/boost/config/compiler/intel.hpp
+include/gecode/third-party/boost/config/compiler/kai.hpp
+include/gecode/third-party/boost/config/compiler/metrowerks.hpp
+include/gecode/third-party/boost/config/compiler/mpw.hpp
+include/gecode/third-party/boost/config/compiler/nvcc.hpp
+include/gecode/third-party/boost/config/compiler/pathscale.hpp
+include/gecode/third-party/boost/config/compiler/pgi.hpp
+include/gecode/third-party/boost/config/compiler/sgi_mipspro.hpp
+include/gecode/third-party/boost/config/compiler/sunpro_cc.hpp
+include/gecode/third-party/boost/config/compiler/vacpp.hpp
+include/gecode/third-party/boost/config/compiler/visualc.hpp
+include/gecode/third-party/boost/config/no_tr1/cmath.hpp
+include/gecode/third-party/boost/config/no_tr1/utility.hpp
+include/gecode/third-party/boost/config/platform/aix.hpp
+include/gecode/third-party/boost/config/platform/amigaos.hpp
+include/gecode/third-party/boost/config/platform/beos.hpp
+include/gecode/third-party/boost/config/platform/bsd.hpp
+include/gecode/third-party/boost/config/platform/cygwin.hpp
+include/gecode/third-party/boost/config/platform/hpux.hpp
+include/gecode/third-party/boost/config/platform/irix.hpp
+include/gecode/third-party/boost/config/platform/linux.hpp
+include/gecode/third-party/boost/config/platform/macos.hpp
+include/gecode/third-party/boost/config/platform/qnxnto.hpp
+include/gecode/third-party/boost/config/platform/solaris.hpp
+include/gecode/third-party/boost/config/platform/symbian.hpp
+include/gecode/third-party/boost/config/platform/vms.hpp
+include/gecode/third-party/boost/config/platform/vxworks.hpp
+include/gecode/third-party/boost/config/platform/win32.hpp
+include/gecode/third-party/boost/config/posix_features.hpp
+include/gecode/third-party/boost/config/select_compiler_config.hpp
+include/gecode/third-party/boost/config/select_platform_config.hpp
+include/gecode/third-party/boost/config/select_stdlib_config.hpp
+include/gecode/third-party/boost/config/stdlib/dinkumware.hpp
+include/gecode/third-party/boost/config/stdlib/libcomo.hpp
+include/gecode/third-party/boost/config/stdlib/libcpp.hpp
+include/gecode/third-party/boost/config/stdlib/libstdcpp3.hpp
+include/gecode/third-party/boost/config/stdlib/modena.hpp
+include/gecode/third-party/boost/config/stdlib/msl.hpp
+include/gecode/third-party/boost/config/stdlib/roguewave.hpp
+include/gecode/third-party/boost/config/stdlib/sgi.hpp
+include/gecode/third-party/boost/config/stdlib/stlport.hpp
+include/gecode/third-party/boost/config/stdlib/vacpp.hpp
+include/gecode/third-party/boost/config/suffix.hpp
+include/gecode/third-party/boost/config/user.hpp
+include/gecode/third-party/boost/detail/endian.hpp
+include/gecode/third-party/boost/detail/limits.hpp
+include/gecode/third-party/boost/limits.hpp
+include/gecode/third-party/boost/non_type.hpp
+include/gecode/third-party/boost/numeric/interval.hpp
+include/gecode/third-party/boost/numeric/interval/arith.hpp
+include/gecode/third-party/boost/numeric/interval/arith2.hpp
+include/gecode/third-party/boost/numeric/interval/arith3.hpp
+include/gecode/third-party/boost/numeric/interval/checking.hpp
+include/gecode/third-party/boost/numeric/interval/compare.hpp
+include/gecode/third-party/boost/numeric/interval/compare/certain.hpp
+include/gecode/third-party/boost/numeric/interval/compare/explicit.hpp
+include/gecode/third-party/boost/numeric/interval/compare/lexicographic.hpp
+include/gecode/third-party/boost/numeric/interval/compare/possible.hpp
+include/gecode/third-party/boost/numeric/interval/compare/set.hpp
+include/gecode/third-party/boost/numeric/interval/constants.hpp
+include/gecode/third-party/boost/numeric/interval/detail/alpha_rounding_control.hpp
+include/gecode/third-party/boost/numeric/interval/detail/bcc_rounding_control.hpp
+include/gecode/third-party/boost/numeric/interval/detail/bugs.hpp
+include/gecode/third-party/boost/numeric/interval/detail/c99_rounding_control.hpp
+include/gecode/third-party/boost/numeric/interval/detail/c99sub_rounding_control.hpp
+include/gecode/third-party/boost/numeric/interval/detail/division.hpp
+include/gecode/third-party/boost/numeric/interval/detail/ia64_rounding_control.hpp
+include/gecode/third-party/boost/numeric/interval/detail/interval_prototype.hpp
+include/gecode/third-party/boost/numeric/interval/detail/msvc_rounding_control.hpp
+include/gecode/third-party/boost/numeric/interval/detail/ppc_rounding_control.hpp
+include/gecode/third-party/boost/numeric/interval/detail/sparc_rounding_control.hpp
+include/gecode/third-party/boost/numeric/interval/detail/test_input.hpp
+include/gecode/third-party/boost/numeric/interval/detail/x86_rounding_control.hpp
+include/gecode/third-party/boost/numeric/interval/detail/x86gcc_rounding_control.hpp
+include/gecode/third-party/boost/numeric/interval/hw_rounding.hpp
+include/gecode/third-party/boost/numeric/interval/interval.hpp
+include/gecode/third-party/boost/numeric/interval/policies.hpp
+include/gecode/third-party/boost/numeric/interval/rounded_arith.hpp
+include/gecode/third-party/boost/numeric/interval/rounded_transc.hpp
+include/gecode/third-party/boost/numeric/interval/rounding.hpp
+include/gecode/third-party/boost/numeric/interval/transc.hpp
+include/gecode/third-party/boost/numeric/interval/utility.hpp
+include/gecode/third-party/boost/type.hpp
+lib/libgecodedriver.a
+lib/libgecodeflatzinc.a
+lib/libgecodefloat.a
+lib/libgecodeint.a
+lib/libgecodekernel.a
+lib/libgecodeminimodel.a
+lib/libgecodesearch.a
+lib/libgecodeset.a
+lib/libgecodesupport.a
share/gecode/mznlib/all_different_int.mzn
share/gecode/mznlib/all_equal_int.mzn
+share/gecode/mznlib/alldifferent_except_0.mzn
share/gecode/mznlib/among.mzn
+share/gecode/mznlib/arg_max_bool.mzn
+share/gecode/mznlib/arg_max_int.mzn
+share/gecode/mznlib/arg_min_bool.mzn
+share/gecode/mznlib/arg_min_int.mzn
share/gecode/mznlib/at_least_int.mzn
share/gecode/mznlib/at_least_set.mzn
share/gecode/mznlib/at_most_int.mzn
@@ -453,6 +726,7 @@ share/gecode/mznlib/decreasing_bool.mzn
share/gecode/mznlib/decreasing_int.mzn
share/gecode/mznlib/diffn.mzn
share/gecode/mznlib/disjoint.mzn
+share/gecode/mznlib/disjunctive_strict.mzn
share/gecode/mznlib/distribute.mzn
share/gecode/mznlib/exactly_int.mzn
share/gecode/mznlib/exactly_set.mzn
@@ -465,7 +739,10 @@ share/gecode/mznlib/increasing_bool.mzn
share/gecode/mznlib/increasing_int.mzn
share/gecode/mznlib/int_set_channel.mzn
share/gecode/mznlib/inverse.mzn
+share/gecode/mznlib/inverse_set.mzn
+share/gecode/mznlib/lex_less_bool.mzn
share/gecode/mznlib/lex_less_int.mzn
+share/gecode/mznlib/lex_lesseq_bool.mzn
share/gecode/mznlib/lex_lesseq_int.mzn
share/gecode/mznlib/link_set_to_booleans.mzn
share/gecode/mznlib/maximum_int.mzn
@@ -474,8 +751,8 @@ share/gecode/mznlib/member_int.mzn
share/gecode/mznlib/minimum_int.mzn
share/gecode/mznlib/nvalue.mzn
share/gecode/mznlib/partition_set.mzn
-share/gecode/mznlib/precedence.mzn
share/gecode/mznlib/range.mzn
+share/gecode/mznlib/redefinitions-2.0.mzn
share/gecode/mznlib/redefinitions.mzn
share/gecode/mznlib/regular.mzn
share/gecode/mznlib/roots.mzn
@@ -483,3 +760,5 @@ share/gecode/mznlib/sort.mzn
share/gecode/mznlib/sum_pred.mzn
share/gecode/mznlib/table_bool.mzn
share/gecode/mznlib/table_int.mzn
+share/gecode/mznlib/value_precede_int.mzn
+share/gecode/mznlib/value_precede_set.mzn
diff --git a/gecode/distinfo b/gecode/distinfo
index dc1aa8a2eb..2332d51bd5 100644
--- a/gecode/distinfo
+++ b/gecode/distinfo
@@ -1,6 +1,6 @@
-$NetBSD: distinfo,v 1.2 2013/01/11 09:07:15 fhajny Exp $
+$NetBSD$
-RMD160 (gecode-3.7.3.tar.gz) = ba7ab9a545dab5b4ff3feaa90e617be561614822
-Size (gecode-3.7.3.tar.gz) = 1643336 bytes
-SHA1 (patch-Makefile) = 7174d864e7b64ea92fd2a05c3edf01ad2a03ef8a
-SHA1 (patch-configure) = 041ea85f05b4ae4a7ca0a61b6dcd82bcb13485b5
+BLAKE2s (gecode-6.2.0.tar.gz) = 6993deaaeef6cab23d356f0709e21b7456399f997abdf39a6e81f59e859c6442
+SHA512 (gecode-6.2.0.tar.gz) = a763127ba786df86b33f4be1b25226f51bd5d059ea336912e7bd3ec5c54c2fed93f2e5a662793688723495193a42204c0db440b19de8614414ebbe5d2d2d51ed
+Size (gecode-6.2.0.tar.gz) = 3672525 bytes
+SHA1 (patch-gecode_search_cpprofiler_connector.hpp) = acdeb0104b134d3209aec2884ef8f3e1775e2081
diff --git a/gecode/patches/patch-Makefile b/gecode/patches/patch-Makefile
deleted file mode 100644
index 5e4364a581..0000000000
--- a/gecode/patches/patch-Makefile
+++ /dev/null
@@ -1,14 +0,0 @@
-$NetBSD: patch-Makefile,v 1.2 2013/01/11 09:07:15 fhajny Exp $
-
-Make sure our LDFLAGS go through.
---- Makefile.in.orig 2012-03-21 05:25:08.000000000 +0000
-+++ Makefile.in
-@@ -86,7 +86,7 @@ endif
- export BOOST_LINK = @BOOST_LINK@
-
- export GLDFLAGS = @GLDFLAGS@
--export DLLFLAGS = @DLLFLAGS@
-+export DLLFLAGS = @DLLFLAGS@ @LDFLAGS@
- export DLLPATH = @DLLPATH@
-
- export RANLIB = @RANLIB@
diff --git a/gecode/patches/patch-configure b/gecode/patches/patch-configure
deleted file mode 100644
index 92ee951ae4..0000000000
--- a/gecode/patches/patch-configure
+++ /dev/null
@@ -1,28 +0,0 @@
-$NetBSD: patch-configure,v 1.1 2013/01/10 13:47:27 fhajny Exp $
-
-Ugly workaround - seems to build on SunOS at least just fine.
---- configure.orig 2013-01-10 12:37:16.333637074 +0000
-+++ configure
-@@ -2707,9 +2707,6 @@ $as_echo "Darwin" >&6; }
- { $as_echo "$as_me:${as_lineno-$LINENO}: result: Windows" >&5
- $as_echo "Windows" >&6; }
- ;;
-- *)
-- as_fn_error $? "Host OS not supported." "$LINENO" 5
-- ;;
- esac
-
- if test "${CXX}x" = "x" -a "${CC}x" = "x" -a "${host_os}" = "windows"; then
-@@ -11586,9 +11583,9 @@ _ACEOF
-
-
- ac_gecode_library_architecture=-${VERSION_DASHES}${ac_gecode_library_architecture}
--if test "$ac_gecode_compiler_vendor" == "microsoft" \
-- -o \( "$ac_gecode_compiler_vendor" == "intel" \
-- -a "$host_os" == "windows" \) ; then
-+if test "$ac_gecode_compiler_vendor" = "microsoft" \
-+ -o \( "$ac_gecode_compiler_vendor" = "intel" \
-+ -a "$host_os" = "windows" \) ; then
- DLL_ARCH=${ac_gecode_library_architecture}
-
- else
diff --git a/gecode/patches/patch-gecode_search_cpprofiler_connector.hpp b/gecode/patches/patch-gecode_search_cpprofiler_connector.hpp
new file mode 100644
index 0000000000..4d6f39c7b0
--- /dev/null
+++ b/gecode/patches/patch-gecode_search_cpprofiler_connector.hpp
@@ -0,0 +1,14 @@
+$NetBSD$
+
+Add header for send(2).
+
+--- gecode/search/cpprofiler/connector.hpp.orig 2025-09-14 22:44:02.789003303 +0000
++++ gecode/search/cpprofiler/connector.hpp
+@@ -57,6 +57,7 @@ typedef SSIZE_T ssize_t;
+
+ #include <netdb.h>
+ #include <unistd.h>
++#include <sys/socket.h>
+
+ #endif
+
Home |
Main Index |
Thread Index |
Old Index