diff --git a/math/gecode/Makefile b/math/gecode/Makefile index 76cc4b86ab1c..11c71acab4f6 100644 --- a/math/gecode/Makefile +++ b/math/gecode/Makefile @@ -1,39 +1,78 @@ # Created by: Peter Pentchev PORTNAME= gecode DISTVERSIONPREFIX= release- DISTVERSION= 6.3.0 +PORTREVISION= 1 CATEGORIES= math PATCH_SITES= https://github.com/${GH_ACCOUNT}/${PORTNAME}/commit/ PATCHFILES= 3b86d0dabc371d5976c5dafef0fc7f6c5f92640b.patch:-p1 # https://github.com/Gecode/gecode/pull/102: Fix MOC invocation in gist folder -PATCHFILES+= b8954e4e5a4c0faf65eb72d62f7e7b377bea14bb.patch:-p1 # https://github.com/Gecode/gecode/pull/104: Ready fzn-gecode as MiniZinc solver on make install MAINTAINER= yuri@FreeBSD.org COMMENT= Generic Constraint Development Environment LICENSE= BSL MIT LICENSE_COMB= multi NOT_FOR_ARCHS= aarch64 armv6 armv7 mips mips64 NOT_FOR_ARCHS_REASON= needs code written to specify rounding control mechanism in Boost.Numeric.Interval -USES= bison:alias cmake compiler:c++11-lang +USES= bison:alias compiler:c++11-lang gmake perl5 +USE_PERL5= build +USE_LDCONFIG= yes + +GNU_CONFIGURE= yes +CONFIGURE_ARGS= --disable-examples USE_GITHUB= yes GH_ACCOUNT= Gecode -GH_TAGNAME= 9428cd8 # 6.3.0 branch is ready for a long time, but hasn't been tagged yet - -CMAKE_ON= BUILD_SHARED_LIBS +GH_TAGNAME= 96ca4cc # 6.3.0 branch is ready for a long time, but hasn't been tagged yet DATADIR= ${PREFIX}/share/minizinc/gecode # it only installs the MiniZinc library into DATADIR -OPTIONS_DEFINE= GIST +OPTIONS_DEFINE= AUDIT CBS FLATZINC GIST PEAKHEAP PROFILE SEARCH +OPTIONS_DEFAULT= CBS FLATZINC SEARCH OPTIONS_SUB= yes -GIST_DESC= Enable gist, graphical and interactive search tool -GIST_CMAKE_BOOL= ENABLE_GIST -GIST_USES= qt:5 -GIST_USE= qt=core,gui,printsupport,widgets,qmake_build,buildtools_build +AUDIT_DESC= Build with auditing code +AUDIT_CONFIGURE_ENABLE= audit + +CBS_DESC= Support for counting-based search +CBS_CONFIGURE_ENABLE= cbs + +FLATZINC_DESC= Build FlatZinc interpreter +FLATZINC_CONFIGURE_ENABLE= flatzinc + +GIST_DESC= Enable gist, graphical and interactive search tool +GIST_CONFIGURE_ENABLE= gist qt +GIST_USES= gl qt:5 +GIST_USE= gl=gl qt=core,gui,printsupport,widgets,qmake_build,buildtools_build + +PEAKHEAP_DESC= Peak heap size tracking +PEAKHEAP_CONFIGURE_ENABLE= peakheap + +PROFILE_DESC= Build with profiling information +PROFILE_CONFIGURE_ENABLE= profile + +SEARCH_DESC= Build search engines +SEARCH_CONFIGURE_ENABLE= search + +TEST_TARGET= check + +post-install: + ${STRIP_CMD} \ + ${STAGEDIR}${PREFIX}/lib/lib*.so.*.* + +post-install-FLATZINC-on: + @${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/fzn-gecode + +post-install-FLATZINC-off: # https://github.com/Gecode/gecode/issues/108 + @cd ${STAGEDIR}${PREFIX} && ${RMDIR} share/minizinc/gecode share/minizinc/solvers share/minizinc + +test-extended: stage # breaks, see https://github.com/Gecode/gecode/issues/109 + @cd ${WRKSRC} && \ + ${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} test && \ + LD_LIBRARY_PATH=${STAGEDIR}${PREFIX}/lib ./test/test -test -Float .include diff --git a/math/gecode/distinfo b/math/gecode/distinfo index 8f6b3dfa0c5e..bfeaa7ba3ea6 100644 --- a/math/gecode/distinfo +++ b/math/gecode/distinfo @@ -1,7 +1,5 @@ -TIMESTAMP = 1620335351 -SHA256 (Gecode-gecode-release-6.3.0-9428cd8_GH0.tar.gz) = 8605ee3644afb8b9821d98fd3b930a3e593c31d0b239d42446fbdbfc39bd935e -SIZE (Gecode-gecode-release-6.3.0-9428cd8_GH0.tar.gz) = 5725805 +TIMESTAMP = 1620507794 +SHA256 (Gecode-gecode-release-6.3.0-96ca4cc_GH0.tar.gz) = 0bfeed4c42019869fc275f4cf0aab782a83dfbb0cb5bf2573902d2cda2aec140 +SIZE (Gecode-gecode-release-6.3.0-96ca4cc_GH0.tar.gz) = 5727205 SHA256 (3b86d0dabc371d5976c5dafef0fc7f6c5f92640b.patch) = 20b69c28be015dea2826f66cab7079b30768d23af9b1d30d91bb6137e3c22227 SIZE (3b86d0dabc371d5976c5dafef0fc7f6c5f92640b.patch) = 665 -SHA256 (b8954e4e5a4c0faf65eb72d62f7e7b377bea14bb.patch) = bdcf1daa59bb82b92582b4aa0d1813a0c3b580b3d8ad1d9e1f28afc105f53e54 -SIZE (b8954e4e5a4c0faf65eb72d62f7e7b377bea14bb.patch) = 7628 diff --git a/math/gecode/pkg-plist b/math/gecode/pkg-plist index 0dd3b19c306d..16d0f63ee169 100644 --- a/math/gecode/pkg-plist +++ b/math/gecode/pkg-plist @@ -1,769 +1,791 @@ -bin/fzn-gecode +%%FLATZINC%%bin/fzn-gecode bin/mzn-gecode +include/examples/job-shop-instances.hpp +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.hpp +%%FLATZINC%%include/gecode/flatzinc/parser.tab.hpp 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 include/gecode/gist/gecodelogo.hh include/gecode/gist/gist.hpp include/gecode/gist/layoutcursor.hh include/gecode/gist/layoutcursor.hpp include/gecode/gist/mainwindow.hh include/gecode/gist/node.hh include/gecode/gist/node.hpp include/gecode/gist/nodecursor.hh include/gecode/gist/nodecursor.hpp include/gecode/gist/nodestats.hh include/gecode/gist/nodevisitor.hh include/gecode/gist/nodevisitor.hpp include/gecode/gist/nodewidget.hh include/gecode/gist/preferences.hh include/gecode/gist/qtgist.hh include/gecode/gist/spacenode.hh include/gecode/gist/spacenode.hpp include/gecode/gist/stopbrancher.hh include/gecode/gist/textoutput.hh include/gecode/gist/treecanvas.hh include/gecode/gist/visualnode.hh include/gecode/gist/visualnode.hpp 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/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.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 include/gecode/int/channel/link-single.hpp include/gecode/int/channel/val.hpp include/gecode/int/circuit.hh include/gecode/int/circuit/base.hpp include/gecode/int/circuit/dom.hpp include/gecode/int/circuit/val.hpp include/gecode/int/count.hh include/gecode/int/count/int-base.hpp include/gecode/int/count/int-eq.hpp include/gecode/int/count/int-gq.hpp include/gecode/int/count/int-lq.hpp include/gecode/int/count/rel.hpp include/gecode/int/count/view-base.hpp 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/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/set.hpp include/gecode/int/element.hh include/gecode/int/element/int.hpp include/gecode/int/element/pair.hpp include/gecode/int/element/view.hpp 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.hpp include/gecode/int/extensional/bit-set.hpp include/gecode/int/extensional/compact.hpp include/gecode/int/extensional/dfa.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 include/gecode/int/gcc/bnd.hpp include/gecode/int/gcc/dom-sup.hpp 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 include/gecode/int/linear/bool-scale.hpp include/gecode/int/linear/bool-view.hpp include/gecode/int/linear/int-bin.hpp include/gecode/int/linear/int-dom.hpp include/gecode/int/linear/int-nary.hpp include/gecode/int/linear/int-noview.hpp include/gecode/int/linear/int-ter.hpp include/gecode/int/linear/post.hpp include/gecode/int/member.hh include/gecode/int/member/prop.hpp include/gecode/int/member/re-prop.hpp include/gecode/int/no-overlap.hh include/gecode/int/no-overlap/base.hpp include/gecode/int/no-overlap/box.hpp include/gecode/int/no-overlap/dim.hpp include/gecode/int/no-overlap/man.hpp include/gecode/int/no-overlap/opt.hpp include/gecode/int/nvalues.hh include/gecode/int/nvalues/bool-base.hpp include/gecode/int/nvalues/bool-eq.hpp include/gecode/int/nvalues/bool-gq.hpp include/gecode/int/nvalues/bool-lq.hpp include/gecode/int/nvalues/graph.hpp include/gecode/int/nvalues/int-base.hpp include/gecode/int/nvalues/int-eq.hpp 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 include/gecode/int/rel/lq-le.hpp include/gecode/int/rel/nq.hpp include/gecode/int/sequence.hh include/gecode/int/sequence/int.hpp include/gecode/int/sequence/set-op.hpp include/gecode/int/sequence/view.hpp include/gecode/int/sequence/violations.hpp include/gecode/int/sorted.hh include/gecode/int/sorted/matching.hpp include/gecode/int/sorted/narrowing.hpp include/gecode/int/sorted/order.hpp include/gecode/int/sorted/propagate.hpp include/gecode/int/sorted/sortsup.hpp 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 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 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 include/gecode/int/var-imp.hpp include/gecode/int/var-imp/bool.hpp include/gecode/int/var-imp/delta.hpp include/gecode/int/var-imp/int.hpp include/gecode/int/var/bool.hpp include/gecode/int/var/int.hpp include/gecode/int/var/print.hpp include/gecode/int/view-val-graph.hh include/gecode/int/view-val-graph/bi-link.hpp include/gecode/int/view-val-graph/comb-ptr-flag.hpp include/gecode/int/view-val-graph/edge.hpp include/gecode/int/view-val-graph/graph.hpp include/gecode/int/view-val-graph/iter-prune-val.hpp include/gecode/int/view-val-graph/node.hpp include/gecode/int/view.hpp include/gecode/int/view/bool-test.hpp include/gecode/int/view/bool.hpp include/gecode/int/view/cached.hpp include/gecode/int/view/constint.hpp include/gecode/int/view/int.hpp include/gecode/int/view/iter.hpp include/gecode/int/view/minus.hpp include/gecode/int/view/neg-bool.hpp include/gecode/int/view/offset.hpp include/gecode/int/view/print.hpp include/gecode/int/view/rel-test.hpp include/gecode/int/view/scale.hpp include/gecode/int/view/zero.hpp include/gecode/iter.hh include/gecode/iter/ranges-add.hpp include/gecode/iter/ranges-append.hpp include/gecode/iter/ranges-array.hpp include/gecode/iter/ranges-cache.hpp include/gecode/iter/ranges-compl.hpp include/gecode/iter/ranges-diff.hpp include/gecode/iter/ranges-empty.hpp include/gecode/iter/ranges-inter.hpp include/gecode/iter/ranges-list.hpp include/gecode/iter/ranges-map.hpp include/gecode/iter/ranges-minmax.hpp include/gecode/iter/ranges-minus.hpp include/gecode/iter/ranges-negative.hpp include/gecode/iter/ranges-offset.hpp include/gecode/iter/ranges-operations.hpp include/gecode/iter/ranges-positive.hpp include/gecode/iter/ranges-rangelist.hpp include/gecode/iter/ranges-scale.hpp include/gecode/iter/ranges-singleton-append.hpp include/gecode/iter/ranges-singleton.hpp include/gecode/iter/ranges-size.hpp 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 include/gecode/iter/values-minus.hpp include/gecode/iter/values-negative.hpp include/gecode/iter/values-offset.hpp include/gecode/iter/values-positive.hpp include/gecode/iter/values-ranges.hpp 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/archive.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/gpi.hpp include/gecode/kernel/macros.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/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/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/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/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 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/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.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 include/gecode/set/distinct.hh include/gecode/set/distinct/atmostOne.hpp include/gecode/set/element.hh include/gecode/set/element/disjoint.hpp include/gecode/set/element/inter.hpp 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/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 include/gecode/set/rel-op.hh include/gecode/set/rel-op/common.hpp include/gecode/set/rel-op/inter.hpp include/gecode/set/rel-op/partition.hpp include/gecode/set/rel-op/post.hpp include/gecode/set/rel-op/subofunion.hpp include/gecode/set/rel-op/superofinter.hpp include/gecode/set/rel-op/union.hpp include/gecode/set/rel.hh include/gecode/set/rel/common.hpp include/gecode/set/rel/eq.hpp include/gecode/set/rel/lq.hpp include/gecode/set/rel/nosubset.hpp include/gecode/set/rel/nq.hpp include/gecode/set/rel/re-eq.hpp include/gecode/set/rel/re-lq.hpp include/gecode/set/rel/re-subset.hpp include/gecode/set/rel/subset.hpp 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 include/gecode/set/var-imp/iter.hpp include/gecode/set/var-imp/set.hpp include/gecode/set/var/print.hpp include/gecode/set/var/set.hpp include/gecode/set/view.hpp include/gecode/set/view/cached.hpp include/gecode/set/view/complement.hpp include/gecode/set/view/const.hpp 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 include/gecode/support/config.hpp 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 include/gecode/support/thread/none.hpp include/gecode/support/thread/pthreads.hpp include/gecode/support/thread/thread.hpp include/gecode/support/thread/windows.hpp include/gecode/support/timer.hpp 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.so -lib/libgecodeflatzinc.so -lib/libgecodefloat.so +lib/libgecodedriver.so.51 +lib/libgecodedriver.so.51.0 +%%FLATZINC%%lib/libgecodeflatzinc.so +%%FLATZINC%%lib/libgecodeflatzinc.so.51 +%%FLATZINC%%lib/libgecodeflatzinc.so.51.0 +%%FLATZINC%%lib/libgecodefloat.so +%%FLATZINC%%lib/libgecodefloat.so.51 +%%FLATZINC%%lib/libgecodefloat.so.51.0 %%GIST%%lib/libgecodegist.so +%%GIST%%lib/libgecodegist.so.51 +%%GIST%%lib/libgecodegist.so.51.0 lib/libgecodeint.so +lib/libgecodeint.so.51 +lib/libgecodeint.so.51.0 lib/libgecodekernel.so +lib/libgecodekernel.so.51 +lib/libgecodekernel.so.51.0 lib/libgecodeminimodel.so +lib/libgecodeminimodel.so.51 +lib/libgecodeminimodel.so.51.0 lib/libgecodesearch.so +lib/libgecodesearch.so.51 +lib/libgecodesearch.so.51.0 lib/libgecodeset.so +lib/libgecodeset.so.51 +lib/libgecodeset.so.51.0 lib/libgecodesupport.so -%%DATADIR%%/mznlib/fzn_all_different_int.mzn -%%DATADIR%%/mznlib/fzn_all_equal_int.mzn -%%DATADIR%%/mznlib/fzn_alldifferent_except_0.mzn -%%DATADIR%%/mznlib/fzn_among.mzn -%%DATADIR%%/mznlib/fzn_arg_max_bool.mzn -%%DATADIR%%/mznlib/fzn_arg_max_int.mzn -%%DATADIR%%/mznlib/fzn_arg_min_bool.mzn -%%DATADIR%%/mznlib/fzn_arg_min_int.mzn -%%DATADIR%%/mznlib/fzn_at_least_int.mzn -%%DATADIR%%/mznlib/fzn_at_least_set.mzn -%%DATADIR%%/mznlib/fzn_at_most_int.mzn -%%DATADIR%%/mznlib/fzn_at_most_set.mzn -%%DATADIR%%/mznlib/fzn_bin_packing.mzn -%%DATADIR%%/mznlib/fzn_bin_packing_capa.mzn -%%DATADIR%%/mznlib/fzn_bin_packing_load.mzn -%%DATADIR%%/mznlib/fzn_circuit.mzn -%%DATADIR%%/mznlib/fzn_count_eq.mzn -%%DATADIR%%/mznlib/fzn_count_eq_reif.mzn -%%DATADIR%%/mznlib/fzn_cumulative.mzn -%%DATADIR%%/mznlib/fzn_decreasing_bool.mzn -%%DATADIR%%/mznlib/fzn_decreasing_int.mzn -%%DATADIR%%/mznlib/fzn_diffn.mzn -%%DATADIR%%/mznlib/fzn_disjoint.mzn -%%DATADIR%%/mznlib/fzn_disjunctive_strict.mzn -%%DATADIR%%/mznlib/fzn_exactly_set.mzn -%%DATADIR%%/mznlib/fzn_global_cardinality.mzn -%%DATADIR%%/mznlib/fzn_global_cardinality_closed.mzn -%%DATADIR%%/mznlib/fzn_global_cardinality_low_up.mzn -%%DATADIR%%/mznlib/fzn_global_cardinality_low_up_closed.mzn -%%DATADIR%%/mznlib/fzn_increasing_bool.mzn -%%DATADIR%%/mznlib/fzn_increasing_int.mzn -%%DATADIR%%/mznlib/fzn_int_set_channel.mzn -%%DATADIR%%/mznlib/fzn_inverse.mzn -%%DATADIR%%/mznlib/fzn_inverse_set.mzn -%%DATADIR%%/mznlib/fzn_lex_less_bool.mzn -%%DATADIR%%/mznlib/fzn_lex_less_int.mzn -%%DATADIR%%/mznlib/fzn_lex_lesseq_bool.mzn -%%DATADIR%%/mznlib/fzn_lex_lesseq_int.mzn -%%DATADIR%%/mznlib/fzn_link_set_to_booleans.mzn -%%DATADIR%%/mznlib/fzn_member_bool.mzn -%%DATADIR%%/mznlib/fzn_member_bool_reif.mzn -%%DATADIR%%/mznlib/fzn_member_int.mzn -%%DATADIR%%/mznlib/fzn_member_int_reif.mzn -%%DATADIR%%/mznlib/fzn_nvalue.mzn -%%DATADIR%%/mznlib/fzn_partition_set.mzn -%%DATADIR%%/mznlib/fzn_range.mzn -%%DATADIR%%/mznlib/fzn_regular.mzn -%%DATADIR%%/mznlib/fzn_roots.mzn -%%DATADIR%%/mznlib/fzn_sort.mzn -%%DATADIR%%/mznlib/fzn_sum_pred.mzn -%%DATADIR%%/mznlib/fzn_sum_set.mzn -%%DATADIR%%/mznlib/fzn_table_bool.mzn -%%DATADIR%%/mznlib/fzn_table_bool_reif.mzn -%%DATADIR%%/mznlib/fzn_table_int.mzn -%%DATADIR%%/mznlib/fzn_table_int_reif.mzn -%%DATADIR%%/mznlib/fzn_value_precede_int.mzn -%%DATADIR%%/mznlib/fzn_value_precede_set.mzn -%%DATADIR%%/mznlib/gecode.mzn -%%DATADIR%%/mznlib/redefinitions-2.0.2.mzn -%%DATADIR%%/mznlib/redefinitions-2.0.mzn -%%DATADIR%%/mznlib/redefinitions-2.5.2.mzn -%%DATADIR%%/mznlib/redefinitions.mzn -share/minizinc/solvers/gecode.msc +lib/libgecodesupport.so.51 +lib/libgecodesupport.so.51.0 +%%FLATZINC%%%%DATADIR%%/fzn_all_different_int.mzn +%%FLATZINC%%%%DATADIR%%/fzn_all_equal_int.mzn +%%FLATZINC%%%%DATADIR%%/fzn_alldifferent_except_0.mzn +%%FLATZINC%%%%DATADIR%%/fzn_among.mzn +%%FLATZINC%%%%DATADIR%%/fzn_arg_max_bool.mzn +%%FLATZINC%%%%DATADIR%%/fzn_arg_max_int.mzn +%%FLATZINC%%%%DATADIR%%/fzn_arg_min_bool.mzn +%%FLATZINC%%%%DATADIR%%/fzn_arg_min_int.mzn +%%FLATZINC%%%%DATADIR%%/fzn_at_least_int.mzn +%%FLATZINC%%%%DATADIR%%/fzn_at_least_set.mzn +%%FLATZINC%%%%DATADIR%%/fzn_at_most_int.mzn +%%FLATZINC%%%%DATADIR%%/fzn_at_most_set.mzn +%%FLATZINC%%%%DATADIR%%/fzn_bin_packing.mzn +%%FLATZINC%%%%DATADIR%%/fzn_bin_packing_capa.mzn +%%FLATZINC%%%%DATADIR%%/fzn_bin_packing_load.mzn +%%FLATZINC%%%%DATADIR%%/fzn_circuit.mzn +%%FLATZINC%%%%DATADIR%%/fzn_count_eq.mzn +%%FLATZINC%%%%DATADIR%%/fzn_count_eq_reif.mzn +%%FLATZINC%%%%DATADIR%%/fzn_cumulative.mzn +%%FLATZINC%%%%DATADIR%%/fzn_decreasing_bool.mzn +%%FLATZINC%%%%DATADIR%%/fzn_decreasing_int.mzn +%%FLATZINC%%%%DATADIR%%/fzn_diffn.mzn +%%FLATZINC%%%%DATADIR%%/fzn_disjoint.mzn +%%FLATZINC%%%%DATADIR%%/fzn_disjunctive_strict.mzn +%%FLATZINC%%%%DATADIR%%/fzn_exactly_set.mzn +%%FLATZINC%%%%DATADIR%%/fzn_global_cardinality.mzn +%%FLATZINC%%%%DATADIR%%/fzn_global_cardinality_closed.mzn +%%FLATZINC%%%%DATADIR%%/fzn_global_cardinality_low_up.mzn +%%FLATZINC%%%%DATADIR%%/fzn_global_cardinality_low_up_closed.mzn +%%FLATZINC%%%%DATADIR%%/fzn_increasing_bool.mzn +%%FLATZINC%%%%DATADIR%%/fzn_increasing_int.mzn +%%FLATZINC%%%%DATADIR%%/fzn_int_set_channel.mzn +%%FLATZINC%%%%DATADIR%%/fzn_inverse.mzn +%%FLATZINC%%%%DATADIR%%/fzn_inverse_set.mzn +%%FLATZINC%%%%DATADIR%%/fzn_lex_less_bool.mzn +%%FLATZINC%%%%DATADIR%%/fzn_lex_less_int.mzn +%%FLATZINC%%%%DATADIR%%/fzn_lex_lesseq_bool.mzn +%%FLATZINC%%%%DATADIR%%/fzn_lex_lesseq_int.mzn +%%FLATZINC%%%%DATADIR%%/fzn_link_set_to_booleans.mzn +%%FLATZINC%%%%DATADIR%%/fzn_member_bool.mzn +%%FLATZINC%%%%DATADIR%%/fzn_member_bool_reif.mzn +%%FLATZINC%%%%DATADIR%%/fzn_member_int.mzn +%%FLATZINC%%%%DATADIR%%/fzn_member_int_reif.mzn +%%FLATZINC%%%%DATADIR%%/fzn_nvalue.mzn +%%FLATZINC%%%%DATADIR%%/fzn_partition_set.mzn +%%FLATZINC%%%%DATADIR%%/fzn_range.mzn +%%FLATZINC%%%%DATADIR%%/fzn_regular.mzn +%%FLATZINC%%%%DATADIR%%/fzn_roots.mzn +%%FLATZINC%%%%DATADIR%%/fzn_sort.mzn +%%FLATZINC%%%%DATADIR%%/fzn_sum_pred.mzn +%%FLATZINC%%%%DATADIR%%/fzn_sum_set.mzn +%%FLATZINC%%%%DATADIR%%/fzn_table_bool.mzn +%%FLATZINC%%%%DATADIR%%/fzn_table_bool_reif.mzn +%%FLATZINC%%%%DATADIR%%/fzn_table_int.mzn +%%FLATZINC%%%%DATADIR%%/fzn_table_int_reif.mzn +%%FLATZINC%%%%DATADIR%%/fzn_value_precede_int.mzn +%%FLATZINC%%%%DATADIR%%/fzn_value_precede_set.mzn +%%FLATZINC%%%%DATADIR%%/gecode.mzn +%%FLATZINC%%%%DATADIR%%/redefinitions-2.0.2.mzn +%%FLATZINC%%%%DATADIR%%/redefinitions-2.0.mzn +%%FLATZINC%%%%DATADIR%%/redefinitions-2.5.2.mzn +%%FLATZINC%%%%DATADIR%%/redefinitions.mzn +%%FLATZINC%%share/minizinc/solvers/gecode.msc diff --git a/math/minizinc/Makefile b/math/minizinc/Makefile index 6960c3cb83e4..df6501fa5527 100644 --- a/math/minizinc/Makefile +++ b/math/minizinc/Makefile @@ -1,39 +1,39 @@ PORTNAME= minizinc DISTVERSION= 2.5.5 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= math lang MAINTAINER= yuri@FreeBSD.org COMMENT= Constraint modeling language LICENSE= MPL20 LICENSE_FILE= ${WRKSRC}/LICENSE.txt CONFLICTS_BUILD= CoinMP LIB_DEPENDS= libCbc.so:math/cbc \ libCgl.so:math/cgl \ libgecodekernel.so:math/gecode \ libOsiClp.so:math/clp USES= bison cmake compiler:c++11-lang USE_LDCONFIG= yes USE_GITHUB= yes GH_ACCOUNT= MiniZinc GH_PROJECT= libminizinc CMAKE_ON= BUILD_SHARED_LIBS CXXFLAGS+= -DFREEBSD_MZN_STDLIB_DIR="\\\"${DATADIR}\\\"" OPTIONS_DEFINE= WITH_SCIP WITH_SCIP_DESC= Build with the SCIP optimizer WITH_SCIP_CMAKE_BOOL= USE_SCIP WITH_SCIP_LIB_DEPENDS= libscip.so:math/SCIP/ post-patch: ${REINPLACE_CMD} -e 's|string std_lib_dir;|string std_lib_dir = "${DATADIR}";|' ${WRKSRC}/mzn2doc.cpp .include