gecoder-with-gecode 0.9.0 → 0.9.1
Sign up to get free protection for your applications and to get access to all the features.
- data/CHANGES +6 -0
- data/README +1 -1
- data/THANKS +18 -0
- data/example/equation_system.rb +3 -1
- data/example/magic_sequence.rb +3 -1
- data/example/queens.rb +3 -1
- data/example/send_more_money.rb +24 -30
- data/example/send_most_money.rb +15 -26
- data/example/square_tiling.rb +3 -1
- data/example/sudoku-set.rb +3 -1
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/LICENSE +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/Makefile.contribs +0 -0
- data/ext/gecode-2.2.0/Makefile.dep +8056 -0
- data/ext/gecode-2.2.0/Makefile.in +1590 -0
- data/ext/gecode-2.2.0/changelog.in +2698 -0
- data/ext/gecode-2.2.0/configure +13112 -0
- data/ext/gecode-2.2.0/configure.ac +273 -0
- data/ext/gecode-2.2.0/configure.ac.in +269 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/README +0 -0
- data/ext/gecode-2.2.0/contribs/qecode/Doxyfile +263 -0
- data/ext/gecode-2.2.0/contribs/qecode/Implicative.cc +267 -0
- data/ext/gecode-2.2.0/contribs/qecode/Implicative.hh +164 -0
- data/ext/gecode-2.2.0/contribs/qecode/Makefile.in.in +163 -0
- data/ext/gecode-2.2.0/contribs/qecode/OptVar.cc +82 -0
- data/ext/gecode-2.2.0/contribs/qecode/OptVar.hh +123 -0
- data/ext/gecode-2.2.0/contribs/qecode/Strategy.cc +131 -0
- data/ext/gecode-2.2.0/contribs/qecode/Strategy.hh +91 -0
- data/ext/gecode-2.2.0/contribs/qecode/StrategyNode.cc +62 -0
- data/ext/gecode-2.2.0/contribs/qecode/StrategyNode.hh +47 -0
- data/ext/gecode-2.2.0/contribs/qecode/autom4te.cache/output.0 +2264 -0
- data/ext/gecode-2.2.0/contribs/qecode/autom4te.cache/requests +115 -0
- data/ext/gecode-2.2.0/contribs/qecode/autom4te.cache/traces.0 +57 -0
- data/ext/gecode-2.2.0/contribs/qecode/config.log +147 -0
- data/ext/gecode-2.2.0/contribs/qecode/config.status +817 -0
- data/ext/gecode-2.2.0/contribs/qecode/configure +2264 -0
- data/ext/gecode-2.2.0/contribs/qecode/configure.ac +23 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/COMPILING +13 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/MatrixGame.cpp +140 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/NimFibo.cpp +73 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/connect-5-3-3-3.cpp +842 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/network-pricing.cc +146 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/optim2.cc +149 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/stress_test.cpp +240 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/heap.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/myDom.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/myspace.cc +0 -0
- data/ext/gecode-2.2.0/contribs/qecode/myspace.hh +68 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/qecode.hh +0 -0
- data/ext/gecode-2.2.0/contribs/qecode/qsolver.cc +268 -0
- data/ext/gecode-2.2.0/contribs/qecode/qsolver.hh +46 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/shortdesc.ac +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/vartype.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/doxygen/doxygen.conf.in +0 -0
- data/ext/gecode-2.2.0/doxygen/doxygen.hh.in +1112 -0
- data/ext/gecode-2.2.0/doxygen/reflection.hh +417 -0
- data/ext/gecode-2.2.0/examples/all-interval.cc +133 -0
- data/ext/gecode-2.2.0/examples/alpha.cc +137 -0
- data/ext/gecode-2.2.0/examples/bacp.cc +521 -0
- data/ext/gecode-2.2.0/examples/baseline.cc +87 -0
- data/ext/gecode-2.2.0/examples/bibd.cc +203 -0
- data/ext/gecode-2.2.0/examples/black-hole.cc +389 -0
- data/ext/gecode-2.2.0/examples/crew.cc +286 -0
- data/ext/gecode-2.2.0/examples/crowded-chess.cc +424 -0
- data/ext/gecode-2.2.0/examples/domino.cc +297 -0
- data/ext/gecode-2.2.0/examples/donald.cc +107 -0
- data/ext/gecode-2.2.0/examples/eq20.cc +125 -0
- data/ext/gecode-2.2.0/examples/golf.cc +297 -0
- data/ext/gecode-2.2.0/examples/golomb-ruler.cc +199 -0
- data/ext/gecode-2.2.0/examples/graph-color.cc +407 -0
- data/ext/gecode-2.2.0/examples/grocery.cc +113 -0
- data/ext/gecode-2.2.0/examples/hamming.cc +129 -0
- data/ext/gecode-2.2.0/examples/ind-set.cc +143 -0
- data/ext/gecode-2.2.0/examples/javascript.cc +163 -0
- data/ext/gecode-2.2.0/examples/kakuro.cc +686 -0
- data/ext/gecode-2.2.0/examples/knights.cc +220 -0
- data/ext/gecode-2.2.0/examples/langford-number.cc +225 -0
- data/ext/gecode-2.2.0/examples/magic-sequence.cc +146 -0
- data/ext/gecode-2.2.0/examples/magic-square.cc +138 -0
- data/ext/gecode-2.2.0/examples/minesweeper.cc +304 -0
- data/ext/gecode-2.2.0/examples/money.cc +105 -0
- data/ext/gecode-2.2.0/examples/nonogram.cc +492 -0
- data/ext/gecode-2.2.0/examples/ortho-latin.cc +172 -0
- data/ext/gecode-2.2.0/examples/partition.cc +141 -0
- data/ext/gecode-2.2.0/examples/pentominoes.cc +949 -0
- data/ext/gecode-2.2.0/examples/perfect-square.cc +311 -0
- data/ext/gecode-2.2.0/examples/photo.cc +170 -0
- data/ext/gecode-2.2.0/examples/queen-armies.cc +284 -0
- data/ext/gecode-2.2.0/examples/queens.cc +147 -0
- data/ext/gecode-2.2.0/examples/queens.js +57 -0
- data/ext/gecode-2.2.0/examples/sports-league.cc +342 -0
- data/ext/gecode-2.2.0/examples/steiner.cc +192 -0
- data/ext/gecode-2.2.0/examples/stress-distinct.cc +90 -0
- data/ext/gecode-2.2.0/examples/stress-domain.cc +99 -0
- data/ext/gecode-2.2.0/examples/stress-element.cc +112 -0
- data/ext/gecode-2.2.0/examples/stress-exec.cc +97 -0
- data/ext/gecode-2.2.0/examples/stress-extensional.cc +134 -0
- data/ext/gecode-2.2.0/examples/stress-linear-bool.cc +97 -0
- data/ext/gecode-2.2.0/examples/stress-min.cc +98 -0
- data/ext/gecode-2.2.0/examples/stress-search.cc +88 -0
- data/ext/gecode-2.2.0/examples/sudoku.cc +2341 -0
- data/ext/gecode-2.2.0/examples/support.hh +338 -0
- data/ext/gecode-2.2.0/examples/support/example.cc +64 -0
- data/ext/gecode-2.2.0/examples/support/example.icc +321 -0
- data/ext/gecode-2.2.0/examples/support/options.cc +226 -0
- data/ext/gecode-2.2.0/examples/support/options.icc +276 -0
- data/ext/gecode-2.2.0/examples/tsp.cc +317 -0
- data/ext/gecode-2.2.0/examples/warehouses.cc +191 -0
- data/ext/gecode-2.2.0/gecode.m4 +1046 -0
- data/ext/gecode-2.2.0/gecode/cpltset.hh +797 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/array.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/array.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/bddmanager.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/bddmanager.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/branch.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/branch.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/branch/select-val.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/branch/select-view.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/atmost.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/cardinality.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/distinct.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/dom.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/partition.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/rangeroots.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/rel.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/select.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/singleton.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/exception.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/binary.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/nary.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/naryone.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/narytwo.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/singleton.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/unary.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/support.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/support.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var-imp.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var-imp/cpltset.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var-imp/cpltset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var-imp/cpltset.vis +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var/cpltset.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var/cpltset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/view.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/view/cpltset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/view/print.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/addchild.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/addchild.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/addvisualisationdialog.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/addvisualisationdialog.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/better.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/config.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/config.hh +0 -0
- data/ext/gecode-2.2.0/gecode/gist/drawingcursor.cc +281 -0
- data/ext/gecode-2.2.0/gecode/gist/drawingcursor.hh +103 -0
- data/ext/gecode-2.2.0/gecode/gist/drawingcursor.icc +70 -0
- data/ext/gecode-2.2.0/gecode/gist/gecodelogo.cc +672 -0
- data/ext/gecode-2.2.0/gecode/gist/gecodelogo.hh +64 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/gist.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/gist.icc +0 -0
- data/ext/gecode-2.2.0/gecode/gist/layoutcursor.cc +115 -0
- data/ext/gecode-2.2.0/gecode/gist/layoutcursor.hh +75 -0
- data/ext/gecode-2.2.0/gecode/gist/layoutcursor.icc +48 -0
- data/ext/gecode-2.2.0/gecode/gist/mainwindow.cc +274 -0
- data/ext/gecode-2.2.0/gecode/gist/mainwindow.hh +86 -0
- data/ext/gecode-2.2.0/gecode/gist/node.cc +148 -0
- data/ext/gecode-2.2.0/gecode/gist/node.hh +117 -0
- data/ext/gecode-2.2.0/gecode/gist/node.icc +99 -0
- data/ext/gecode-2.2.0/gecode/gist/nodecursor.cc +123 -0
- data/ext/gecode-2.2.0/gecode/gist/nodecursor.hh +147 -0
- data/ext/gecode-2.2.0/gecode/gist/nodecursor.icc +122 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/nodevisitor.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/nodevisitor.icc +0 -0
- data/ext/gecode-2.2.0/gecode/gist/preferences.cc +120 -0
- data/ext/gecode-2.2.0/gecode/gist/preferences.hh +79 -0
- data/ext/gecode-2.2.0/gecode/gist/spacenode.cc +468 -0
- data/ext/gecode-2.2.0/gecode/gist/spacenode.hh +227 -0
- data/ext/gecode-2.2.0/gecode/gist/spacenode.icc +170 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/test.cc +0 -0
- data/ext/gecode-2.2.0/gecode/gist/textoutput.cc +134 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/textoutput.hh +0 -0
- data/ext/gecode-2.2.0/gecode/gist/treecanvas.cc +1343 -0
- data/ext/gecode-2.2.0/gecode/gist/treecanvas.hh +361 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/ui_addchild.hh +0 -0
- data/ext/gecode-2.2.0/gecode/gist/ui_addvisualisationdialog.hh +165 -0
- data/ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.cc +192 -0
- data/ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.hh +75 -0
- data/ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.cc +235 -0
- data/ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.hh +77 -0
- data/ext/gecode-2.2.0/gecode/gist/visualisation/vararrayitem.hh +125 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/vararrayview.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/vararrayview.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/vararrayviewt.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/varitem.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/varitem.hh +0 -0
- data/ext/gecode-2.2.0/gecode/gist/visualnode.cc +474 -0
- data/ext/gecode-2.2.0/gecode/gist/visualnode.hh +226 -0
- data/ext/gecode-2.2.0/gecode/gist/visualnode.icc +198 -0
- data/ext/gecode-2.2.0/gecode/gist/zoomToFitIcon.icc +113 -0
- data/ext/gecode-2.2.0/gecode/int.hh +2116 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic.cc +237 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic.hh +827 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic/abs.icc +278 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic/divmod.icc +496 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic/max.icc +474 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic/mult.icc +858 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic/sqr.icc +464 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic/sqrt.icc +260 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/array.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/array.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/bool.cc +734 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool/base.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool/eq.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool/eqv.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool/lq.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/bool/or.icc +1000 -0
- data/ext/gecode-2.2.0/gecode/int/branch.cc +167 -0
- data/ext/gecode-2.2.0/gecode/int/branch.hh +587 -0
- data/ext/gecode-2.2.0/gecode/int/branch/create-branch.icc +190 -0
- data/ext/gecode-2.2.0/gecode/int/branch/select-val.icc +340 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/branch/select-view.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/channel.cc +165 -0
- data/ext/gecode-2.2.0/gecode/int/channel.hh +259 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/base.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/channel/dom.icc +348 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/link-multi.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/link-multi.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/link-single.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/link-single.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/channel/val.icc +278 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/circuit.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/circuit.hh +175 -0
- data/ext/gecode-2.2.0/gecode/int/circuit/base.icc +266 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/circuit/dom.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/circuit/val.icc +126 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/count.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/count.hh +487 -0
- data/ext/gecode-2.2.0/gecode/int/count/int.icc +620 -0
- data/ext/gecode-2.2.0/gecode/int/count/rel.icc +144 -0
- data/ext/gecode-2.2.0/gecode/int/count/view.icc +449 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/cumulatives.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/cumulatives.hh +138 -0
- data/ext/gecode-2.2.0/gecode/int/cumulatives/val.icc +455 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/distinct.hh +341 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/bilink.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/bnd.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/combptr.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/distinct/dom.icc +752 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/edge.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/node.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/distinct/ter-dom.icc +136 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/val.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/dom.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/dom.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/dom/range.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/dom/spec.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/element.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/element.hh +239 -0
- data/ext/gecode-2.2.0/gecode/int/element/int.icc +444 -0
- data/ext/gecode-2.2.0/gecode/int/element/view.icc +584 -0
- data/ext/gecode-2.2.0/gecode/int/exception.icc +174 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/extensional.hh +415 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/base.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/basic.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/bitset.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/extensional/dfa.cc +565 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/dfa.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/incremental.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/layered-graph.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/extensional/tuple-set.cc +285 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/tuple-set.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/gcc.hh +329 -0
- data/ext/gecode-2.2.0/gecode/int/gcc/bnd.icc +660 -0
- data/ext/gecode-2.2.0/gecode/int/gcc/dom.icc +531 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/gccbndsup.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/graphsup.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/lbc.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/occur.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/ubc.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/gcc/val.icc +400 -0
- data/ext/gecode-2.2.0/gecode/int/int-set.cc +157 -0
- data/ext/gecode-2.2.0/gecode/int/int-set.icc +195 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/limits.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/linear-bool.cc +235 -0
- data/ext/gecode-2.2.0/gecode/int/linear-int.cc +272 -0
- data/ext/gecode-2.2.0/gecode/int/linear.hh +1849 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/bool-int.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/linear/bool-post.cc +433 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/bool-scale.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/bool-view.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/linear/int-bin.icc +605 -0
- data/ext/gecode-2.2.0/gecode/int/linear/int-dom.icc +539 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/int-nary.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/int-noview.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/linear/int-post.cc +493 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/int-ter.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/post.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/propagator.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/rel.cc +420 -0
- data/ext/gecode-2.2.0/gecode/int/rel.hh +627 -0
- data/ext/gecode-2.2.0/gecode/int/rel/eq.icc +885 -0
- data/ext/gecode-2.2.0/gecode/int/rel/lex.icc +275 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/rel/lq-le.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/rel/nq.icc +118 -0
- data/ext/gecode-2.2.0/gecode/int/sorted.cc +81 -0
- data/ext/gecode-2.2.0/gecode/int/sorted.hh +118 -0
- data/ext/gecode-2.2.0/gecode/int/sorted/matching.icc +173 -0
- data/ext/gecode-2.2.0/gecode/int/sorted/narrowing.icc +249 -0
- data/ext/gecode-2.2.0/gecode/int/sorted/order.icc +212 -0
- data/ext/gecode-2.2.0/gecode/int/sorted/propagate.icc +702 -0
- data/ext/gecode-2.2.0/gecode/int/sorted/sortsup.icc +563 -0
- data/ext/gecode-2.2.0/gecode/int/support-values.hh +158 -0
- data/ext/gecode-2.2.0/gecode/int/support-values.icc +203 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/unshare.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/var-imp.icc +745 -0
- data/ext/gecode-2.2.0/gecode/int/var-imp/bool.cc +105 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/bool.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/bool.vis +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/delta.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/var-imp/int.cc +408 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/int.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/int.vis +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var/bool.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/var/bool.icc +128 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var/int.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/var/int.icc +153 -0
- data/ext/gecode-2.2.0/gecode/int/view.icc +1918 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/bool.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/constint.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/int.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/iter.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/minus.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/offset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/print.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/rtest.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/scale.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/zero.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter.hh +98 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-add.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-append.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-array.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-cache.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-compl.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-diff.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-empty.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-inter.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter/ranges-map.icc +260 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-minmax.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-minus.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter/ranges-negative.icc +137 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-offset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-operations.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter/ranges-positive.icc +139 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-scale.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-singleton-append.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-singleton.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-size.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-union.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-values.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-array.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter/values-inter.icc +130 -0
- data/ext/gecode-2.2.0/gecode/iter/values-map.icc +136 -0
- data/ext/gecode-2.2.0/gecode/iter/values-minus.icc +130 -0
- data/ext/gecode-2.2.0/gecode/iter/values-negative.icc +116 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-offset.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter/values-positive.icc +123 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-ranges.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-singleton.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter/values-union.icc +137 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-unique.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/virtual-ranges-compl.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/virtual-ranges-inter.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/virtual-ranges-union.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/virtual-ranges.icc +0 -0
- data/ext/gecode-2.2.0/gecode/kernel.hh +188 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/advisor.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/array.icc +0 -0
- data/ext/gecode-2.2.0/gecode/kernel/branching.icc +433 -0
- data/ext/gecode-2.2.0/gecode/kernel/core.cc +474 -0
- data/ext/gecode-2.2.0/gecode/kernel/core.icc +2311 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/exception.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/macros.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/memory-manager.cc +0 -0
- data/ext/gecode-2.2.0/gecode/kernel/memory-manager.icc +454 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/modevent.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/propagator.icc +0 -0
- data/ext/gecode-2.2.0/gecode/kernel/reflection.cc +951 -0
- data/ext/gecode-2.2.0/gecode/kernel/reflection.icc +1213 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/shared-array.icc +0 -0
- data/ext/gecode-2.2.0/gecode/kernel/var-imp.icc +433 -0
- data/ext/gecode-2.2.0/gecode/kernel/var-map.cc +269 -0
- data/ext/gecode-2.2.0/gecode/kernel/var-map.icc +230 -0
- data/ext/gecode-2.2.0/gecode/kernel/var-traits.icc +79 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/var-type.cc +0 -0
- data/ext/gecode-2.2.0/gecode/kernel/var-type.icc +915 -0
- data/ext/gecode-2.2.0/gecode/kernel/var.icc +114 -0
- data/ext/gecode-2.2.0/gecode/kernel/view.icc +413 -0
- data/ext/gecode-2.2.0/gecode/minimodel.hh +1206 -0
- data/ext/gecode-2.2.0/gecode/minimodel/arithmetic.icc +118 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/bool-expr.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/bool-expr.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/bool-rel.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/exception.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/lin-expr.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/lin-rel.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/matrix.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/reg.cc +0 -0
- data/ext/gecode-2.2.0/gecode/search.hh +759 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/bab.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/bab.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/dfs.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/dfs.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/engine-ctrl.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/lds.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/lds.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/options.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/options.icc +0 -0
- data/ext/gecode-2.2.0/gecode/search/reco-stack.icc +277 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/restart.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/statistics.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/stop.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/stop.icc +0 -0
- data/ext/gecode-2.2.0/gecode/serialization.hh +149 -0
- data/ext/gecode-2.2.0/gecode/serialization/boost.cc +78 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/serialization/boost.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/serialization/flatzinc.cc +0 -0
- data/ext/gecode-2.2.0/gecode/serialization/javascript.cc +343 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/serialization/javascript.hh +0 -0
- data/ext/gecode-2.2.0/gecode/serialization/register.cc +8498 -0
- data/ext/gecode-2.2.0/gecode/set.hh +970 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/array.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/array.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/branch.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/branch.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/branch/select-val.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/branch/select-view.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/cardinality.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex/conv.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex/conv.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex/hull.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex/hull.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/distinct.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/distinct.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/distinct/atmostOne.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/distinct/atmostOne.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/dom.cc +0 -0
- data/ext/gecode-2.2.0/gecode/set/element.cc +135 -0
- data/ext/gecode-2.2.0/gecode/set/element.hh +233 -0
- data/ext/gecode-2.2.0/gecode/set/element/disjoint.cc +308 -0
- data/ext/gecode-2.2.0/gecode/set/element/disjoint.icc +75 -0
- data/ext/gecode-2.2.0/gecode/set/element/idxarray.hh +113 -0
- data/ext/gecode-2.2.0/gecode/set/element/idxarray.icc +155 -0
- data/ext/gecode-2.2.0/gecode/set/element/inter.icc +348 -0
- data/ext/gecode-2.2.0/gecode/set/element/union.icc +371 -0
- data/ext/gecode-2.2.0/gecode/set/element/unionConst.icc +334 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/exception.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/card.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/channel-bool.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/channel-int.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/match.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/minmax.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/weights.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/limits.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors-compiler.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors.cc +0 -0
- data/ext/gecode-2.2.0/gecode/set/projectors.hh +438 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/compiler.cc +0 -0
- data/ext/gecode-2.2.0/gecode/set/projectors/formula.cc +312 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/formula.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/projector-set.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/projector-set.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/projector.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/projector.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator/card.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator/nary.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator/re-nary.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator/re-nary.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/set-expr.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/set-expr.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/propagator.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op-const.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op.hh +0 -0
- data/ext/gecode-2.2.0/gecode/set/rel-op/common.icc +613 -0
- data/ext/gecode-2.2.0/gecode/set/rel-op/inter.icc +452 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/partition.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/post.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/subofunion.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/superofinter.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/union.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/common.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/eq.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/nosubset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/nq.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/re-eq.icc +0 -0
- data/ext/gecode-2.2.0/gecode/set/rel/re-subset.icc +174 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/subset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/common.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/seq-u.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/seq-u.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/seq.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/seq.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/delta.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/integerset.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/integerset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/iter.icc +0 -0
- data/ext/gecode-2.2.0/gecode/set/var-imp/set.cc +215 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/set.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/set.vis +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var/set.cc +0 -0
- data/ext/gecode-2.2.0/gecode/set/var/set.icc +303 -0
- data/ext/gecode-2.2.0/gecode/set/view.icc +1451 -0
- data/ext/gecode-2.2.0/gecode/set/view/complement.icc +614 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/const.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/offset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/print.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/set.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/singleton.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support.hh +0 -0
- data/ext/gecode-2.2.0/gecode/support/block-allocator.icc +159 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/AUTHORS +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/ChangeLog +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/NEWS +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/README +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bdd.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bddio.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bddop.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bddtree.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bvec.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bvec.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/cache.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/cache.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/config.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/cppext.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/fdd.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/fdd.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/imatrix.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/imatrix.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/kernel.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/kernel.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/pairs.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/prime.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/prime.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/reorder.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/tree.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/cast.icc +0 -0
- data/ext/gecode-2.2.0/gecode/support/config.icc.in +83 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/dynamic-array.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/dynamic-stack.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/exception.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/exception.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/macros.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/map.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/marked-pointer.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/memory.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/random.icc +0 -0
- data/ext/gecode-2.2.0/gecode/support/sentinel-stack.icc +138 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/sort.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/static-pqueue.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/static-stack.icc +0 -0
- data/ext/gecode-2.2.0/gecode/support/symbol.cc +241 -0
- data/ext/gecode-2.2.0/gecode/support/symbol.icc +134 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/install-sh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/AppleHelpbookInfo.plist +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/allexamples.perl +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/Makefile.am +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/changelog +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/control +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/copyright +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/gecode.info +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/gecode.install +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/gecode.spec +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/rules +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/back.png +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/footer.html +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/gecode-logo-100.png +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/header.html +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/stylesheet.css +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/fixproperties.sh +0 -0
- data/ext/gecode-2.2.0/misc/gecode-gist.pc.in +45 -0
- data/ext/gecode-2.2.0/misc/gecode-minimodel.pc.in +45 -0
- data/ext/gecode-2.2.0/misc/gecode-search.pc.in +45 -0
- data/ext/gecode-2.2.0/misc/gecode-serialization.pc.in +45 -0
- data/ext/gecode-2.2.0/misc/gecode.pc.in +45 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/genchangelog.perl +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/genlcovmakefile.perl +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/genlicense.perl +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/genregistry.perl +0 -0
- data/ext/gecode-2.2.0/misc/genstatistics.perl +179 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/gentxtchangelog.perl +0 -0
- data/ext/gecode-2.2.0/misc/genvariables.perl +905 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/getrevision.perl +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/makedepend.perl +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/svn-ignore.txt +0 -0
- data/ext/gecode-2.2.0/test/assign.cc +181 -0
- data/ext/gecode-2.2.0/test/assign.hh +93 -0
- data/ext/gecode-2.2.0/test/assign/bool.cc +61 -0
- data/ext/gecode-2.2.0/test/assign/int.cc +70 -0
- data/ext/gecode-2.2.0/test/branch.cc +563 -0
- data/ext/gecode-2.2.0/test/branch.hh +144 -0
- data/ext/gecode-2.2.0/test/branch/bool.cc +61 -0
- data/ext/gecode-2.2.0/test/branch/cpltset.cc +71 -0
- data/ext/gecode-2.2.0/test/branch/int.cc +70 -0
- data/ext/gecode-2.2.0/test/branch/set.cc +74 -0
- data/ext/gecode-2.2.0/test/cpltset.cc +568 -0
- data/ext/gecode-2.2.0/test/cpltset.hh +125 -0
- data/ext/gecode-2.2.0/test/cpltset/atmost.cc +155 -0
- data/ext/gecode-2.2.0/test/cpltset/cardinality.cc +138 -0
- data/ext/gecode-2.2.0/test/cpltset/dom.cc +137 -0
- data/ext/gecode-2.2.0/test/cpltset/partition.cc +210 -0
- data/ext/gecode-2.2.0/test/cpltset/rel.cc +158 -0
- data/ext/gecode-2.2.0/test/cpltset/select.cc +216 -0
- data/ext/gecode-2.2.0/test/int.cc +688 -0
- data/ext/gecode-2.2.0/test/int.hh +267 -0
- data/ext/gecode-2.2.0/test/int.icc +266 -0
- data/ext/gecode-2.2.0/test/int/arithmetic.cc +766 -0
- data/ext/gecode-2.2.0/test/int/basic.cc +77 -0
- data/ext/gecode-2.2.0/test/int/bool.cc +340 -0
- data/ext/gecode-2.2.0/test/int/channel.cc +238 -0
- data/ext/gecode-2.2.0/test/int/circuit.cc +100 -0
- data/ext/gecode-2.2.0/test/int/count.cc +357 -0
- data/ext/gecode-2.2.0/test/int/distinct.cc +248 -0
- data/ext/gecode-2.2.0/test/int/dom.cc +123 -0
- data/ext/gecode-2.2.0/test/int/element.cc +333 -0
- data/ext/gecode-2.2.0/test/int/extensional.cc +475 -0
- data/ext/gecode-2.2.0/test/int/gcc.cc +293 -0
- data/ext/gecode-2.2.0/test/int/linear.cc +383 -0
- data/ext/gecode-2.2.0/test/int/mm-arithmetic.cc +302 -0
- data/ext/gecode-2.2.0/test/int/mm-bool.cc +4342 -0
- data/ext/gecode-2.2.0/test/int/mm-count.cc +295 -0
- data/ext/gecode-2.2.0/test/int/mm-lin.cc +2035 -0
- data/ext/gecode-2.2.0/test/int/mm-rel.cc +136 -0
- data/ext/gecode-2.2.0/test/int/rel.cc +416 -0
- data/ext/gecode-2.2.0/test/int/scheduling.cc +276 -0
- data/ext/gecode-2.2.0/test/int/sorted.cc +165 -0
- data/ext/gecode-2.2.0/test/int/unshare.cc +109 -0
- data/ext/gecode-2.2.0/test/search.cc +618 -0
- data/ext/gecode-2.2.0/test/set.cc +753 -0
- data/ext/gecode-2.2.0/test/set.hh +286 -0
- data/ext/gecode-2.2.0/test/set.icc +108 -0
- data/ext/gecode-2.2.0/test/set/convex.cc +139 -0
- data/ext/gecode-2.2.0/test/set/distinct.cc +116 -0
- data/ext/gecode-2.2.0/test/set/dom.cc +292 -0
- data/ext/gecode-2.2.0/test/set/int.cc +473 -0
- data/ext/gecode-2.2.0/test/set/projection.cc +436 -0
- data/ext/gecode-2.2.0/test/set/rel-op-const.cc +368 -0
- data/ext/gecode-2.2.0/test/set/rel-op.cc +465 -0
- data/ext/gecode-2.2.0/test/set/rel.cc +125 -0
- data/ext/gecode-2.2.0/test/set/select.cc +299 -0
- data/ext/gecode-2.2.0/test/set/sequence.cc +125 -0
- data/ext/gecode-2.2.0/test/test.cc +287 -0
- data/ext/gecode-2.2.0/test/test.hh +175 -0
- data/ext/gecode-2.2.0/test/test.icc +93 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/variables.vsl +0 -0
- data/lib/gecoder/bindings.rb +7 -5
- data/lib/gecoder/bindings/bindings.rb +8 -8
- data/lib/gecoder/interface.rb +4 -2
- data/lib/gecoder/interface/binding_changes.rb +1 -1
- data/lib/gecoder/interface/branch.rb +1 -1
- data/lib/gecoder/interface/constraints/bool_enum_constraints.rb +4 -4
- data/lib/gecoder/interface/constraints/bool_var_constraints.rb +2 -2
- data/lib/gecoder/interface/constraints/extensional_regexp.rb +1 -1
- data/lib/gecoder/interface/constraints/fixnum_enum_constraints.rb +2 -2
- data/lib/gecoder/interface/constraints/int_enum/extensional.rb +5 -5
- data/lib/gecoder/interface/constraints/int_enum_constraints.rb +4 -4
- data/lib/gecoder/interface/constraints/int_var_constraints.rb +2 -2
- data/lib/gecoder/interface/constraints/selected_set/select.rb +8 -8
- data/lib/gecoder/interface/constraints/set_enum/element.rb +79 -0
- data/lib/gecoder/interface/constraints/set_enum_constraints.rb +5 -5
- data/lib/gecoder/interface/constraints/set_var_constraints.rb +2 -2
- data/lib/gecoder/interface/convenience.rb +99 -0
- data/lib/gecoder/interface/enum_wrapper.rb +1 -1
- data/lib/gecoder/interface/mixin.rb +486 -0
- data/lib/gecoder/interface/search.rb +23 -22
- data/lib/gecoder/version.rb +1 -1
- data/specs/branch.rb +5 -3
- data/specs/constraints/bool/boolean.rb +3 -1
- data/specs/constraints/bool/linear.rb +3 -1
- data/specs/constraints/bool_enum/bool_enum_relation.rb +3 -1
- data/specs/constraints/bool_enum/channel.rb +3 -1
- data/specs/constraints/fixnum_enum/element.rb +3 -1
- data/specs/constraints/int/arithmetic.rb +3 -1
- data/specs/constraints/int/channel.rb +3 -1
- data/specs/constraints/int/linear.rb +3 -1
- data/specs/constraints/int/linear_properties.rb +3 -1
- data/specs/constraints/int_enum/arithmetic.rb +3 -1
- data/specs/constraints/int_enum/channel.rb +3 -1
- data/specs/constraints/int_enum/count.rb +3 -1
- data/specs/constraints/int_enum/distinct.rb +3 -1
- data/specs/constraints/int_enum/element.rb +3 -1
- data/specs/constraints/int_enum/sort.rb +3 -1
- data/specs/constraints/property_helper.rb +10 -10
- data/specs/constraints/reification_sugar.rb +3 -1
- data/specs/constraints/selected_set/select.rb +6 -5
- data/specs/constraints/selected_set/select_properties.rb +12 -10
- data/specs/constraints/set/channel.rb +3 -1
- data/specs/constraints/set/domain.rb +4 -4
- data/specs/constraints/set/relation.rb +4 -4
- data/specs/constraints/set_enum/channel.rb +3 -1
- data/specs/constraints/set_enum/distinct.rb +3 -1
- data/specs/constraints/set_enum/element.rb +77 -0
- data/specs/enum_wrapper.rb +1 -1
- data/specs/mixin.rb +78 -0
- data/specs/model.rb +5 -5
- data/specs/search.rb +20 -14
- data/specs/selected_set.rb +3 -3
- data/specs/set_elements.rb +2 -2
- data/tasks/distribution.rake +25 -4
- metadata +739 -602
- data/example/money.rb +0 -36
- data/ext/gecode-2.1.1/Makefile.dep +0 -7622
- data/ext/gecode-2.1.1/Makefile.in +0 -1568
- data/ext/gecode-2.1.1/changelog.in +0 -2459
- data/ext/gecode-2.1.1/configure +0 -11631
- data/ext/gecode-2.1.1/configure.ac +0 -249
- data/ext/gecode-2.1.1/configure.ac.in +0 -245
- data/ext/gecode-2.1.1/contribs/qecode/Doxyfile +0 -263
- data/ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.cc +0 -82
- data/ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.hh +0 -37
- data/ext/gecode-2.1.1/contribs/qecode/Makefile.in.in +0 -162
- data/ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.cc +0 -172
- data/ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.hh +0 -63
- data/ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.cc +0 -37
- data/ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.hh +0 -35
- data/ext/gecode-2.1.1/contribs/qecode/configure +0 -2264
- data/ext/gecode-2.1.1/contribs/qecode/configure.ac +0 -23
- data/ext/gecode-2.1.1/contribs/qecode/examples/COMPILING +0 -13
- data/ext/gecode-2.1.1/contribs/qecode/examples/MatrixGame.cpp +0 -144
- data/ext/gecode-2.1.1/contribs/qecode/examples/NimFibo.cpp +0 -73
- data/ext/gecode-2.1.1/contribs/qecode/examples/stress_test.cpp +0 -179
- data/ext/gecode-2.1.1/contribs/qecode/extensivecomparator.cc +0 -34
- data/ext/gecode-2.1.1/contribs/qecode/extensivecomparator.hh +0 -46
- data/ext/gecode-2.1.1/contribs/qecode/implicative.cc +0 -595
- data/ext/gecode-2.1.1/contribs/qecode/implicative.hh +0 -184
- data/ext/gecode-2.1.1/contribs/qecode/myspace.hh +0 -69
- data/ext/gecode-2.1.1/contribs/qecode/qecore.cc +0 -145
- data/ext/gecode-2.1.1/contribs/qecode/qecore.hh +0 -247
- data/ext/gecode-2.1.1/contribs/qecode/qsolver.cc +0 -168
- data/ext/gecode-2.1.1/contribs/qecode/qsolver.hh +0 -73
- data/ext/gecode-2.1.1/contribs/qecode/valueHeuristic.hh +0 -91
- data/ext/gecode-2.1.1/contribs/qecode/warner.cc +0 -101
- data/ext/gecode-2.1.1/contribs/qecode/warner.hh +0 -83
- data/ext/gecode-2.1.1/doxygen/doxygen.hh.in +0 -1111
- data/ext/gecode-2.1.1/doxygen/reflection.hh +0 -417
- data/ext/gecode-2.1.1/gecode.m4 +0 -956
- data/ext/gecode-2.1.1/gecode/cpltset.hh +0 -797
- data/ext/gecode-2.1.1/gecode/gist/analysiscursor.cc +0 -115
- data/ext/gecode-2.1.1/gecode/gist/analysiscursor.hh +0 -77
- data/ext/gecode-2.1.1/gecode/gist/drawingcursor.cc +0 -245
- data/ext/gecode-2.1.1/gecode/gist/drawingcursor.hh +0 -101
- data/ext/gecode-2.1.1/gecode/gist/gecodelogo.icc +0 -522
- data/ext/gecode-2.1.1/gecode/gist/mainwindow.cc +0 -254
- data/ext/gecode-2.1.1/gecode/gist/mainwindow.hh +0 -86
- data/ext/gecode-2.1.1/gecode/gist/node.cc +0 -100
- data/ext/gecode-2.1.1/gecode/gist/node.hh +0 -89
- data/ext/gecode-2.1.1/gecode/gist/nodecursor.cc +0 -124
- data/ext/gecode-2.1.1/gecode/gist/nodecursor.hh +0 -122
- data/ext/gecode-2.1.1/gecode/gist/nodecursor.icc +0 -79
- data/ext/gecode-2.1.1/gecode/gist/postscript.cc +0 -543
- data/ext/gecode-2.1.1/gecode/gist/postscript.hh +0 -56
- data/ext/gecode-2.1.1/gecode/gist/preferences.cc +0 -110
- data/ext/gecode-2.1.1/gecode/gist/preferences.hh +0 -76
- data/ext/gecode-2.1.1/gecode/gist/reflectionhelpers.cc +0 -55
- data/ext/gecode-2.1.1/gecode/gist/reflectionhelpers.hh +0 -58
- data/ext/gecode-2.1.1/gecode/gist/shapelist.cc +0 -331
- data/ext/gecode-2.1.1/gecode/gist/shapelist.hh +0 -140
- data/ext/gecode-2.1.1/gecode/gist/spacenode.cc +0 -531
- data/ext/gecode-2.1.1/gecode/gist/spacenode.hh +0 -224
- data/ext/gecode-2.1.1/gecode/gist/textoutput.cc +0 -114
- data/ext/gecode-2.1.1/gecode/gist/treecanvas.cc +0 -1140
- data/ext/gecode-2.1.1/gecode/gist/treecanvas.hh +0 -324
- data/ext/gecode-2.1.1/gecode/gist/ui_addvisualisationdialog.hh +0 -163
- data/ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.cc +0 -175
- data/ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.hh +0 -71
- data/ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.cc +0 -219
- data/ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.hh +0 -73
- data/ext/gecode-2.1.1/gecode/gist/visualisation/vararrayitem.hh +0 -123
- data/ext/gecode-2.1.1/gecode/gist/visualnode.cc +0 -303
- data/ext/gecode-2.1.1/gecode/gist/visualnode.hh +0 -166
- data/ext/gecode-2.1.1/gecode/int.hh +0 -2035
- data/ext/gecode-2.1.1/gecode/int/arithmetic.cc +0 -136
- data/ext/gecode-2.1.1/gecode/int/arithmetic.hh +0 -440
- data/ext/gecode-2.1.1/gecode/int/arithmetic/abs.icc +0 -279
- data/ext/gecode-2.1.1/gecode/int/arithmetic/max.icc +0 -253
- data/ext/gecode-2.1.1/gecode/int/arithmetic/mult.icc +0 -522
- data/ext/gecode-2.1.1/gecode/int/arithmetic/sqr.icc +0 -218
- data/ext/gecode-2.1.1/gecode/int/arithmetic/sqrt.icc +0 -138
- data/ext/gecode-2.1.1/gecode/int/bool.cc +0 -642
- data/ext/gecode-2.1.1/gecode/int/bool/or.icc +0 -1000
- data/ext/gecode-2.1.1/gecode/int/branch.cc +0 -301
- data/ext/gecode-2.1.1/gecode/int/branch.hh +0 -576
- data/ext/gecode-2.1.1/gecode/int/branch/select-val.icc +0 -338
- data/ext/gecode-2.1.1/gecode/int/channel.cc +0 -114
- data/ext/gecode-2.1.1/gecode/int/channel.hh +0 -259
- data/ext/gecode-2.1.1/gecode/int/channel/dom.icc +0 -347
- data/ext/gecode-2.1.1/gecode/int/channel/val.icc +0 -276
- data/ext/gecode-2.1.1/gecode/int/circuit.hh +0 -175
- data/ext/gecode-2.1.1/gecode/int/circuit/base.icc +0 -271
- data/ext/gecode-2.1.1/gecode/int/circuit/val.icc +0 -122
- data/ext/gecode-2.1.1/gecode/int/count.hh +0 -487
- data/ext/gecode-2.1.1/gecode/int/count/int.icc +0 -619
- data/ext/gecode-2.1.1/gecode/int/count/rel.icc +0 -144
- data/ext/gecode-2.1.1/gecode/int/count/view.icc +0 -449
- data/ext/gecode-2.1.1/gecode/int/cumulatives.hh +0 -141
- data/ext/gecode-2.1.1/gecode/int/cumulatives/val.icc +0 -429
- data/ext/gecode-2.1.1/gecode/int/distinct.hh +0 -341
- data/ext/gecode-2.1.1/gecode/int/distinct/dom.icc +0 -750
- data/ext/gecode-2.1.1/gecode/int/distinct/ter-dom.icc +0 -136
- data/ext/gecode-2.1.1/gecode/int/element.hh +0 -239
- data/ext/gecode-2.1.1/gecode/int/element/int.icc +0 -441
- data/ext/gecode-2.1.1/gecode/int/element/view.icc +0 -584
- data/ext/gecode-2.1.1/gecode/int/exception.icc +0 -163
- data/ext/gecode-2.1.1/gecode/int/extensional.hh +0 -415
- data/ext/gecode-2.1.1/gecode/int/extensional/dfa.cc +0 -565
- data/ext/gecode-2.1.1/gecode/int/extensional/tuple-set.cc +0 -311
- data/ext/gecode-2.1.1/gecode/int/gcc.hh +0 -329
- data/ext/gecode-2.1.1/gecode/int/gcc/bnd.icc +0 -660
- data/ext/gecode-2.1.1/gecode/int/gcc/dom.icc +0 -531
- data/ext/gecode-2.1.1/gecode/int/gcc/val.icc +0 -400
- data/ext/gecode-2.1.1/gecode/int/int-set.cc +0 -153
- data/ext/gecode-2.1.1/gecode/int/int-set.icc +0 -191
- data/ext/gecode-2.1.1/gecode/int/linear-bool.cc +0 -220
- data/ext/gecode-2.1.1/gecode/int/linear-int.cc +0 -240
- data/ext/gecode-2.1.1/gecode/int/linear.hh +0 -1849
- data/ext/gecode-2.1.1/gecode/int/linear/bool-post.cc +0 -433
- data/ext/gecode-2.1.1/gecode/int/linear/int-bin.icc +0 -605
- data/ext/gecode-2.1.1/gecode/int/linear/int-dom.icc +0 -539
- data/ext/gecode-2.1.1/gecode/int/linear/int-post.cc +0 -493
- data/ext/gecode-2.1.1/gecode/int/rel.cc +0 -431
- data/ext/gecode-2.1.1/gecode/int/rel.hh +0 -657
- data/ext/gecode-2.1.1/gecode/int/rel/eq.icc +0 -848
- data/ext/gecode-2.1.1/gecode/int/rel/lex.icc +0 -248
- data/ext/gecode-2.1.1/gecode/int/rel/nq.icc +0 -269
- data/ext/gecode-2.1.1/gecode/int/sorted.cc +0 -91
- data/ext/gecode-2.1.1/gecode/int/sorted.hh +0 -117
- data/ext/gecode-2.1.1/gecode/int/sorted/matching.icc +0 -182
- data/ext/gecode-2.1.1/gecode/int/sorted/narrowing.icc +0 -257
- data/ext/gecode-2.1.1/gecode/int/sorted/order.icc +0 -208
- data/ext/gecode-2.1.1/gecode/int/sorted/propagate.icc +0 -669
- data/ext/gecode-2.1.1/gecode/int/sorted/sortsup.icc +0 -596
- data/ext/gecode-2.1.1/gecode/int/var-imp.icc +0 -745
- data/ext/gecode-2.1.1/gecode/int/var-imp/bool.cc +0 -104
- data/ext/gecode-2.1.1/gecode/int/var-imp/int.cc +0 -407
- data/ext/gecode-2.1.1/gecode/int/var/bool.icc +0 -126
- data/ext/gecode-2.1.1/gecode/int/var/int.icc +0 -151
- data/ext/gecode-2.1.1/gecode/int/view.icc +0 -1894
- data/ext/gecode-2.1.1/gecode/iter.hh +0 -90
- data/ext/gecode-2.1.1/gecode/iter/values-minus.icc +0 -130
- data/ext/gecode-2.1.1/gecode/kernel.hh +0 -182
- data/ext/gecode-2.1.1/gecode/kernel/branching.icc +0 -447
- data/ext/gecode-2.1.1/gecode/kernel/core.cc +0 -473
- data/ext/gecode-2.1.1/gecode/kernel/core.icc +0 -2295
- data/ext/gecode-2.1.1/gecode/kernel/memory-manager.icc +0 -458
- data/ext/gecode-2.1.1/gecode/kernel/reflection.cc +0 -921
- data/ext/gecode-2.1.1/gecode/kernel/reflection.icc +0 -1012
- data/ext/gecode-2.1.1/gecode/kernel/var-imp.icc +0 -433
- data/ext/gecode-2.1.1/gecode/kernel/var-map.cc +0 -269
- data/ext/gecode-2.1.1/gecode/kernel/var-map.icc +0 -227
- data/ext/gecode-2.1.1/gecode/kernel/var-traits.icc +0 -72
- data/ext/gecode-2.1.1/gecode/kernel/var-type.icc +0 -915
- data/ext/gecode-2.1.1/gecode/kernel/var.icc +0 -120
- data/ext/gecode-2.1.1/gecode/kernel/view.icc +0 -611
- data/ext/gecode-2.1.1/gecode/minimodel.hh +0 -1165
- data/ext/gecode-2.1.1/gecode/minimodel/arithmetic.cc +0 -179
- data/ext/gecode-2.1.1/gecode/search.hh +0 -752
- data/ext/gecode-2.1.1/gecode/search/reco-stack.icc +0 -237
- data/ext/gecode-2.1.1/gecode/serialization.hh +0 -149
- data/ext/gecode-2.1.1/gecode/serialization/boost.cc +0 -78
- data/ext/gecode-2.1.1/gecode/serialization/javascript.cc +0 -340
- data/ext/gecode-2.1.1/gecode/serialization/register.cc +0 -8142
- data/ext/gecode-2.1.1/gecode/set.hh +0 -970
- data/ext/gecode-2.1.1/gecode/set/projectors.hh +0 -438
- data/ext/gecode-2.1.1/gecode/set/projectors/formula.cc +0 -312
- data/ext/gecode-2.1.1/gecode/set/rel-op/common.icc +0 -557
- data/ext/gecode-2.1.1/gecode/set/rel-op/inter.icc +0 -409
- data/ext/gecode-2.1.1/gecode/set/rel/re-subset.icc +0 -172
- data/ext/gecode-2.1.1/gecode/set/select.cc +0 -135
- data/ext/gecode-2.1.1/gecode/set/select.hh +0 -233
- data/ext/gecode-2.1.1/gecode/set/select/disjoint.cc +0 -308
- data/ext/gecode-2.1.1/gecode/set/select/disjoint.icc +0 -75
- data/ext/gecode-2.1.1/gecode/set/select/idxarray.hh +0 -113
- data/ext/gecode-2.1.1/gecode/set/select/idxarray.icc +0 -155
- data/ext/gecode-2.1.1/gecode/set/select/inter.icc +0 -349
- data/ext/gecode-2.1.1/gecode/set/select/union.icc +0 -371
- data/ext/gecode-2.1.1/gecode/set/select/unionConst.icc +0 -334
- data/ext/gecode-2.1.1/gecode/set/var-imp/set.cc +0 -214
- data/ext/gecode-2.1.1/gecode/set/var/set.icc +0 -303
- data/ext/gecode-2.1.1/gecode/set/view.icc +0 -1503
- data/ext/gecode-2.1.1/gecode/set/view/complement.icc +0 -629
- data/ext/gecode-2.1.1/gecode/support/block-allocator.icc +0 -158
- data/ext/gecode-2.1.1/gecode/support/config.icc.in +0 -80
- data/ext/gecode-2.1.1/gecode/support/sentinel-stack.icc +0 -122
- data/ext/gecode-2.1.1/gecode/support/symbol.cc +0 -226
- data/ext/gecode-2.1.1/gecode/support/symbol.icc +0 -130
- data/ext/gecode-2.1.1/misc/gecode-gist.pc.in +0 -45
- data/ext/gecode-2.1.1/misc/gecode-minimodel.pc.in +0 -45
- data/ext/gecode-2.1.1/misc/gecode-search.pc.in +0 -45
- data/ext/gecode-2.1.1/misc/gecode-serialization.pc.in +0 -45
- data/ext/gecode-2.1.1/misc/gecode.pc.in +0 -45
- data/ext/gecode-2.1.1/misc/genstatistics.perl +0 -178
- data/ext/gecode-2.1.1/misc/genvariables.perl +0 -905
- data/lib/gecoder/interface/constraints/set_enum/select.rb +0 -79
- data/lib/gecoder/interface/model.rb +0 -453
- data/lib/gecoder/interface/model_sugar.rb +0 -84
- data/specs/constraints/set_enum/select.rb +0 -73
@@ -0,0 +1,1590 @@
|
|
1
|
+
# -*-Makefile-*-
|
2
|
+
#
|
3
|
+
# Main authors:
|
4
|
+
# Christian Schulte <schulte@gecode.org>
|
5
|
+
# Guido Tack <tack@gecode.org>
|
6
|
+
#
|
7
|
+
# Copyright:
|
8
|
+
# Christian Schulte, 2005
|
9
|
+
# Guido Tack, 2005
|
10
|
+
#
|
11
|
+
# Last modified:
|
12
|
+
# $Date: 2008-08-25 17:17:50 +0200 (Mon, 25 Aug 2008) $ by $Author: tack $
|
13
|
+
# $Revision: 7723 $
|
14
|
+
#
|
15
|
+
# This file is part of Gecode, the generic constraint
|
16
|
+
# development environment:
|
17
|
+
# http://www.gecode.org
|
18
|
+
#
|
19
|
+
# Permission is hereby granted, free of charge, to any person obtaining
|
20
|
+
# a copy of this software and associated documentation files (the
|
21
|
+
# "Software"), to deal in the Software without restriction, including
|
22
|
+
# without limitation the rights to use, copy, modify, merge, publish,
|
23
|
+
# distribute, sublicense, and/or sell copies of the Software, and to
|
24
|
+
# permit persons to whom the Software is furnished to do so, subject to
|
25
|
+
# the following conditions:
|
26
|
+
#
|
27
|
+
# The above copyright notice and this permission notice shall be
|
28
|
+
# included in all copies or substantial portions of the Software.
|
29
|
+
#
|
30
|
+
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
|
31
|
+
# EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
|
32
|
+
# MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
|
33
|
+
# NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
|
34
|
+
# LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
|
35
|
+
# OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
|
36
|
+
# WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
37
|
+
#
|
38
|
+
|
39
|
+
#
|
40
|
+
# General Settings
|
41
|
+
#
|
42
|
+
|
43
|
+
export prefix = @prefix@
|
44
|
+
export exec_prefix = @exec_prefix@
|
45
|
+
export bindir = @bindir@
|
46
|
+
export libdir = @libdir@
|
47
|
+
export sharedlibdir = @sharedlibdir@
|
48
|
+
export includedir = @includedir@
|
49
|
+
export pkgincludedir = $(includedir)/gecode
|
50
|
+
export srcdir = @srcdir@
|
51
|
+
export datarootdir = @datarootdir@
|
52
|
+
export datadir = @datadir@
|
53
|
+
export docdir= @docdir@
|
54
|
+
export top_srcdir = @top_srcdir@
|
55
|
+
export top_builddir = .
|
56
|
+
|
57
|
+
# Install to different root directory
|
58
|
+
DESTDIR=
|
59
|
+
|
60
|
+
export subdirs = @subdirs@
|
61
|
+
|
62
|
+
export VERSION = @VERSION@
|
63
|
+
|
64
|
+
export CXX = @CXX@
|
65
|
+
export CC = @CC@
|
66
|
+
export MOC = moc
|
67
|
+
ifeq "$(top_srcdir)" "$(top_builddir)"
|
68
|
+
CPPFLAGS=-I$(top_srcdir)
|
69
|
+
else
|
70
|
+
CPPFLAGS=-I$(top_builddir) -I$(top_srcdir)
|
71
|
+
endif
|
72
|
+
export CPPFLAGS
|
73
|
+
export CXXFLAGS = $(CPPFLAGS) @CXXFLAGS@ $(CXXUSR)
|
74
|
+
export CFLAGS = $(CPPFLAGS) @CFLAGS@ $(CUSR)
|
75
|
+
export EXAMPLES_EXTRA_CXXFLAGS = @EXAMPLES_EXTRA_CXXFLAGS@
|
76
|
+
|
77
|
+
export QT_CPPFLAGS = @QTDEFINES@ @QTINCLUDES@
|
78
|
+
export LINKQT = @QTLIBS@
|
79
|
+
|
80
|
+
export BOOST_CPPFLAGS = @BOOST_CPPFLAGS@
|
81
|
+
export BOOST_LINK = @BOOST_LINK@
|
82
|
+
|
83
|
+
export GLDFLAGS = @GLDFLAGS@
|
84
|
+
export DLLFLAGS = @DLLFLAGS@
|
85
|
+
export DLLPATH = @DLLPATH@
|
86
|
+
|
87
|
+
export RANLIB = @RANLIB@
|
88
|
+
export TAR = tar
|
89
|
+
|
90
|
+
#
|
91
|
+
# Use suffixes to get consistent treatment of dots
|
92
|
+
#
|
93
|
+
export OBJSUFFIX = .@OBJEXT@
|
94
|
+
export SBJSUFFIX = .@SBJEXT@
|
95
|
+
export DLLSUFFIX = @USERSUFFIX@.@DLLEXT@
|
96
|
+
export LIBSUFFIX = @USERSUFFIX@.@LIBEXT@
|
97
|
+
export STATICLIBSUFFIX = .@STATICLIBEXT@
|
98
|
+
export EXESUFFIX = @EXEEXT@
|
99
|
+
|
100
|
+
export LIBPREFIX = @LIBPREFIX@
|
101
|
+
export LINKPREFIX = @LINKPREFIX@
|
102
|
+
export LINKSUFFIX = @USERSUFFIX@@LINKSUFFIX@
|
103
|
+
|
104
|
+
export SOLINKSUFFIX = @USERSUFFIX@@SOLINKSUFFIX@
|
105
|
+
export SOSUFFIX = @USERSUFFIX@@SOSUFFIX@
|
106
|
+
|
107
|
+
#
|
108
|
+
# Programs
|
109
|
+
#
|
110
|
+
export RMF = rm -rf
|
111
|
+
export MV = mv
|
112
|
+
|
113
|
+
ifeq "@need_soname@" "yes"
|
114
|
+
export CREATELINK = ln -fs
|
115
|
+
else
|
116
|
+
export CREATELINK = @true
|
117
|
+
endif
|
118
|
+
|
119
|
+
|
120
|
+
#
|
121
|
+
# SUPPORT COMPONENTS
|
122
|
+
#
|
123
|
+
SUPPORTSRC0 = \
|
124
|
+
exception symbol
|
125
|
+
SUPPORTHDR0 = \
|
126
|
+
block-allocator cast dynamic-array \
|
127
|
+
dynamic-stack exception map memory \
|
128
|
+
macros random sentinel-stack sort \
|
129
|
+
static-pqueue static-stack symbol \
|
130
|
+
marked-pointer
|
131
|
+
|
132
|
+
BUDDYSRC0 = \
|
133
|
+
bddio.c \
|
134
|
+
bddop.c \
|
135
|
+
bvec.c \
|
136
|
+
cache.c \
|
137
|
+
cppext.cc \
|
138
|
+
fdd.c \
|
139
|
+
imatrix.c \
|
140
|
+
kernel.c \
|
141
|
+
pairs.c \
|
142
|
+
prime.c \
|
143
|
+
reorder.c \
|
144
|
+
tree.c
|
145
|
+
|
146
|
+
BUDDYHDR0 = \
|
147
|
+
bdd.h \
|
148
|
+
bddtree.h \
|
149
|
+
bvec.h \
|
150
|
+
cache.h \
|
151
|
+
config.h \
|
152
|
+
fdd.h \
|
153
|
+
imatrix.h \
|
154
|
+
kernel.h \
|
155
|
+
prime.h
|
156
|
+
|
157
|
+
BUDDYSRC = $(BUDDYSRC0:%=gecode/support/buddy/%)
|
158
|
+
BUDDYHDR = $(BUDDYHDR0:%=gecode/support/buddy/%)
|
159
|
+
BUDDYOBJ0 = $(BUDDYSRC:%.c=%$(OBJSUFFIX))
|
160
|
+
BUDDYOBJ = $(BUDDYOBJ0:%.cc=%$(OBJSUFFIX))
|
161
|
+
|
162
|
+
SUPPORTSRC1 = $(SUPPORTSRC0:%=gecode/support/%.cc)
|
163
|
+
SUPPORTHDR = gecode/support.hh \
|
164
|
+
$(SUPPORTHDR0:%=gecode/support/%.icc) \
|
165
|
+
$(BUDDYHDR)
|
166
|
+
SUPPORTOBJ = $(SUPPORTSRC1:%.cc=%$(OBJSUFFIX)) $(BUDDYOBJ)
|
167
|
+
SUPPORTSRC = $(SUPPORTSRC1) $(BUDDYSRC)
|
168
|
+
|
169
|
+
export SUPPORTDLL = $(LIBPREFIX)@SUPPORT@$(DLLSUFFIX)
|
170
|
+
export SUPPORTLIB = $(LIBPREFIX)@SUPPORT@$(LIBSUFFIX)
|
171
|
+
ifeq "@need_soname@" "yes"
|
172
|
+
export SUPPORTSONAME = \
|
173
|
+
@WLSONAME@$(LIBPREFIX)@SUPPORT@$(SOSUFFIX)
|
174
|
+
else
|
175
|
+
export SUPPORTSONAME =
|
176
|
+
endif
|
177
|
+
export SUPPORTSTATICLIB = $(LIBPREFIX)@SUPPORT@$(STATICLIBSUFFIX)
|
178
|
+
export LINKSUPPORT = \
|
179
|
+
$(LINKPREFIX)@SUPPORT@$(LINKSUFFIX)
|
180
|
+
SUPPORTBUILDDIRS = support support/buddy
|
181
|
+
|
182
|
+
|
183
|
+
#
|
184
|
+
# KERNEL COMPONENTS
|
185
|
+
#
|
186
|
+
|
187
|
+
VARIMPHDR = \
|
188
|
+
gecode/kernel/var-type.icc \
|
189
|
+
gecode/kernel/var-imp.icc
|
190
|
+
|
191
|
+
VARIMP = $(VARIMPHDR) gecode/kernel/var-type.cc
|
192
|
+
|
193
|
+
KERNELSRC0 = \
|
194
|
+
core reflection var-map var-type memory-manager
|
195
|
+
|
196
|
+
KERNELHDR0 = \
|
197
|
+
array shared-array branching core exception \
|
198
|
+
macros memory-manager modevent \
|
199
|
+
propagator advisor view var var-traits var-map reflection
|
200
|
+
|
201
|
+
KERNELSRC = $(KERNELSRC0:%=gecode/kernel/%.cc)
|
202
|
+
KERNELHDR = \
|
203
|
+
gecode/kernel.hh \
|
204
|
+
$(KERNELHDR0:%=gecode/kernel/%.icc) \
|
205
|
+
$(VARIMPHDR)
|
206
|
+
KERNELOBJ = $(KERNELSRC:%.cc=%$(OBJSUFFIX))
|
207
|
+
|
208
|
+
export KERNELDLL = $(LIBPREFIX)@KERNEL@$(DLLSUFFIX)
|
209
|
+
export KERNELLIB = $(LIBPREFIX)@KERNEL@$(LIBSUFFIX)
|
210
|
+
ifeq "@need_soname@" "yes"
|
211
|
+
export KERNELSONAME = \
|
212
|
+
@WLSONAME@$(LIBPREFIX)@KERNEL@$(SOSUFFIX)
|
213
|
+
else
|
214
|
+
export KERNELSONAME =
|
215
|
+
endif
|
216
|
+
export KERNELSTATICLIB = $(LIBPREFIX)@KERNEL@$(STATICLIBSUFFIX)
|
217
|
+
export LINKKERNEL = $(LINKPREFIX)@KERNEL@$(LINKSUFFIX)
|
218
|
+
KERNELBUILDDIRS = kernel
|
219
|
+
|
220
|
+
EXTRA_HEADERS = gecode/support/config.icc
|
221
|
+
|
222
|
+
#
|
223
|
+
# SEARCH COMPONENTS
|
224
|
+
#
|
225
|
+
|
226
|
+
SEARCHSRC0 = \
|
227
|
+
dfs.cc lds.cc bab.cc stop.cc options.cc
|
228
|
+
SEARCHHDR0 = \
|
229
|
+
bab.icc dfs.icc lds.icc restart.icc \
|
230
|
+
reco-stack.icc statistics.icc \
|
231
|
+
engine-ctrl.icc stop.icc options.icc
|
232
|
+
|
233
|
+
SEARCHSRC = $(SEARCHSRC0:%=gecode/search/%)
|
234
|
+
SEARCHHDR = gecode/search.hh $(SEARCHHDR0:%=gecode/search/%)
|
235
|
+
SEARCHOBJ = $(SEARCHSRC:%.cc=%$(OBJSUFFIX))
|
236
|
+
|
237
|
+
ifeq "@enable_search@" "yes"
|
238
|
+
export SEARCHDLL = $(LIBPREFIX)@SEARCH@$(DLLSUFFIX)
|
239
|
+
export SEARCHSTATICLIB = $(LIBPREFIX)@SEARCH@$(STATICLIBSUFFIX)
|
240
|
+
export SEARCHLIB = $(LIBPREFIX)@SEARCH@$(LIBSUFFIX)
|
241
|
+
export LINKSEARCH = $(LINKPREFIX)@SEARCH@$(LINKSUFFIX)
|
242
|
+
ifeq "@need_soname@" "yes"
|
243
|
+
export SEARCHSONAME = \
|
244
|
+
@WLSONAME@$(LIBPREFIX)@SEARCH@$(SOSUFFIX)
|
245
|
+
else
|
246
|
+
export SEARCHSONAME =
|
247
|
+
endif
|
248
|
+
else
|
249
|
+
export SEARCHDLL =
|
250
|
+
export SEARCHSTATICLIB =
|
251
|
+
export SEARCHLIB =
|
252
|
+
export LINKSEARCH =
|
253
|
+
endif
|
254
|
+
SEARCHBUILDDIRS = search
|
255
|
+
|
256
|
+
#
|
257
|
+
# INTEGER COMPONENTS
|
258
|
+
#
|
259
|
+
|
260
|
+
INTSRC0 = \
|
261
|
+
int-set.cc var-imp/int.cc var-imp/bool.cc var/int.cc var/bool.cc \
|
262
|
+
view/print.cc array.cc bool.cc \
|
263
|
+
extensional/dfa.cc extensional/tuple-set.cc extensional.cc \
|
264
|
+
dom.cc rel.cc element.cc count.cc arithmetic.cc \
|
265
|
+
linear/int-post.cc linear-int.cc \
|
266
|
+
linear/bool-post.cc linear-bool.cc \
|
267
|
+
branch.cc \
|
268
|
+
distinct.cc cumulatives.cc \
|
269
|
+
sorted.cc gcc.cc \
|
270
|
+
channel.cc channel/link-single.cc channel/link-multi.cc \
|
271
|
+
circuit.cc unshare.cc
|
272
|
+
INTHDR0 = \
|
273
|
+
limits.icc support-values.hh support-values.icc \
|
274
|
+
arithmetic/abs.icc arithmetic/max.icc arithmetic/mult.icc \
|
275
|
+
arithmetic/sqr.icc arithmetic/sqrt.icc arithmetic/divmod.icc \
|
276
|
+
bool/or.icc bool/eq.icc bool/lq.icc bool/eqv.icc bool/base.icc \
|
277
|
+
branch/create-branch.icc branch/select-val.icc \
|
278
|
+
branch/select-view.icc \
|
279
|
+
count/view.icc count/int.icc count/rel.icc \
|
280
|
+
cumulatives/val.icc \
|
281
|
+
distinct/bilink.icc distinct/bnd.icc distinct/combptr.icc \
|
282
|
+
distinct/dom.icc distinct/edge.icc distinct/node.icc \
|
283
|
+
distinct/val.icc distinct/ter-dom.icc \
|
284
|
+
dom/range.icc dom/spec.icc \
|
285
|
+
element/int.icc element/view.icc \
|
286
|
+
gcc/bnd.icc gcc/dom.icc gcc/gccbndsup.icc gcc/graphsup.icc \
|
287
|
+
gcc/lbc.icc gcc/ubc.icc gcc/val.icc gcc/occur.icc \
|
288
|
+
linear/post.icc \
|
289
|
+
linear/int-noview.icc linear/int-bin.icc linear/int-ter.icc \
|
290
|
+
linear/int-nary.icc linear/int-dom.icc \
|
291
|
+
linear/bool-int.icc linear/bool-view.icc linear/bool-scale.icc \
|
292
|
+
extensional/dfa.icc extensional/layered-graph.icc \
|
293
|
+
extensional/tuple-set.icc extensional/base.icc \
|
294
|
+
extensional/basic.icc extensional/incremental.icc \
|
295
|
+
extensional/bitset.icc \
|
296
|
+
rel/eq.icc rel/lex.icc rel/lq-le.icc rel/nq.icc \
|
297
|
+
sorted/matching.icc sorted/narrowing.icc \
|
298
|
+
sorted/order.icc sorted/propagate.icc sorted/sortsup.icc \
|
299
|
+
int-set.icc var-imp/delta.icc var/bool.icc \
|
300
|
+
var-imp/int.icc var-imp/bool.icc var/int.icc \
|
301
|
+
view/bool.icc view/constint.icc view/zero.icc view/int.icc \
|
302
|
+
view/minus.icc \
|
303
|
+
view/offset.icc view/rtest.icc view/scale.icc view/iter.icc \
|
304
|
+
arithmetic.hh array.icc bool.hh branch.hh \
|
305
|
+
count.hh cumulatives.hh distinct.hh dom.hh \
|
306
|
+
element.hh exception.icc gcc.hh linear.hh \
|
307
|
+
propagator.icc extensional.hh rel.hh \
|
308
|
+
sorted.hh var-imp.icc view.icc \
|
309
|
+
channel.hh channel/dom.icc channel/val.icc \
|
310
|
+
channel/base.icc channel/link-single.icc channel/link-multi.icc \
|
311
|
+
circuit.hh circuit/base.icc circuit/val.icc circuit/dom.icc
|
312
|
+
|
313
|
+
INTSRC = $(INTSRC0:%=gecode/int/%)
|
314
|
+
INTHDR = gecode/int.hh $(INTHDR0:%=gecode/int/%)
|
315
|
+
INTOBJ = $(INTSRC:%.cc=%$(OBJSUFFIX))
|
316
|
+
|
317
|
+
ifeq "@enable_int_vars@" "yes"
|
318
|
+
export INTDLL = $(LIBPREFIX)@INT@$(DLLSUFFIX)
|
319
|
+
export INTSTATICLIB = $(LIBPREFIX)@INT@$(STATICLIBSUFFIX)
|
320
|
+
export INTLIB = $(LIBPREFIX)@INT@$(LIBSUFFIX)
|
321
|
+
export LINKINT = $(LINKPREFIX)@INT@$(LINKSUFFIX)
|
322
|
+
export POSTINT = gecode/int.hh
|
323
|
+
ifeq "@need_soname@" "yes"
|
324
|
+
export INTSONAME = \
|
325
|
+
@WLSONAME@$(LIBPREFIX)@INT@$(SOSUFFIX)
|
326
|
+
else
|
327
|
+
export INTSONAME =
|
328
|
+
endif
|
329
|
+
else
|
330
|
+
export INTDLL =
|
331
|
+
export INTSTATICLIB =
|
332
|
+
export INTLIB =
|
333
|
+
export LINKINT =
|
334
|
+
export POSTINT =
|
335
|
+
endif
|
336
|
+
INTBUILDDIRS = \
|
337
|
+
int int/var int/var-imp int/view int/extensional \
|
338
|
+
int/channel int/linear int/bool int/branch
|
339
|
+
|
340
|
+
#
|
341
|
+
# SET COMPONENTS
|
342
|
+
#
|
343
|
+
|
344
|
+
SETSRC0 = \
|
345
|
+
branch.cc cardinality.cc convex.cc convex/conv.cc convex/hull.cc \
|
346
|
+
dom.cc rel.cc rel-op.cc rel-op-const.cc \
|
347
|
+
int.cc \
|
348
|
+
element.cc element/disjoint.cc sequence.cc \
|
349
|
+
distinct.cc distinct/atmostOne.cc \
|
350
|
+
sequence/seq.cc sequence/seq-u.cc array.cc var-imp/set.cc \
|
351
|
+
var-imp/integerset.cc var/set.cc view/print.cc \
|
352
|
+
projectors.cc \
|
353
|
+
projectors/set-expr.cc projectors/projector.cc \
|
354
|
+
projectors/projector-set.cc \
|
355
|
+
projectors/propagator/re-nary.cc \
|
356
|
+
projectors/compiler.cc \
|
357
|
+
projectors/formula.cc
|
358
|
+
SETHDR0 = \
|
359
|
+
limits.icc \
|
360
|
+
view.icc exception.icc int.hh element.hh var-imp.icc \
|
361
|
+
int/card.icc \
|
362
|
+
int/match.icc int/channel-int.icc int/minmax.icc int/weights.icc \
|
363
|
+
int/channel-bool.icc element/idxarray.hh \
|
364
|
+
element/idxarray.icc element/inter.icc element/union.icc \
|
365
|
+
element/unionConst.icc \
|
366
|
+
element/disjoint.icc array.icc \
|
367
|
+
var-imp/set.icc var-imp/integerset.icc \
|
368
|
+
var-imp/delta.icc var-imp/iter.icc \
|
369
|
+
var/set.icc \
|
370
|
+
view/complement.icc view/const.icc view/set.icc view/singleton.icc \
|
371
|
+
view/offset.icc \
|
372
|
+
rel/subset.icc rel/re-subset.icc rel/eq.icc rel/nq.icc rel/re-eq.icc \
|
373
|
+
rel/common.icc rel/nosubset.icc sequence.hh \
|
374
|
+
rel-op/union.icc rel-op/partition.icc rel-op/subofunion.icc \
|
375
|
+
rel-op/inter.icc rel-op/superofinter.icc \
|
376
|
+
rel-op/post.icc rel-op/common.icc rel.hh \
|
377
|
+
distinct.hh distinct/atmostOne.icc \
|
378
|
+
sequence/seq.icc sequence/seq-u.icc \
|
379
|
+
sequence/common.icc convex/conv.icc convex/hull.icc convex.hh \
|
380
|
+
propagator.icc rel-op.hh \
|
381
|
+
branch.hh branch/select-val.icc branch/select-view.icc \
|
382
|
+
projectors.hh projectors-compiler.hh \
|
383
|
+
projectors/projector.icc \
|
384
|
+
projectors/projector-set.icc projectors/set-expr.icc \
|
385
|
+
projectors/propagator.hh projectors/propagator/nary.icc \
|
386
|
+
projectors/propagator/card.icc projectors/propagator/re-nary.icc \
|
387
|
+
projectors/formula.icc
|
388
|
+
|
389
|
+
SETSRC = $(SETSRC0:%=gecode/set/%)
|
390
|
+
SETHDR = gecode/set.hh $(SETHDR0:%=gecode/set/%)
|
391
|
+
SETOBJ = $(SETSRC:%.cc=%$(OBJSUFFIX))
|
392
|
+
|
393
|
+
ifeq "@enable_set_vars@" "yes"
|
394
|
+
export SETDLL = $(LIBPREFIX)@SET@$(DLLSUFFIX)
|
395
|
+
export SETSTATICLIB = $(LIBPREFIX)@SET@$(STATICLIBSUFFIX)
|
396
|
+
export SETLIB = $(LIBPREFIX)@SET@$(LIBSUFFIX)
|
397
|
+
export LINKSET = $(LINKPREFIX)@SET@$(LINKSUFFIX)
|
398
|
+
export POSTSET = gecode/set.hh
|
399
|
+
ifeq "@need_soname@" "yes"
|
400
|
+
export SETSONAME = \
|
401
|
+
@WLSONAME@$(LIBPREFIX)@SET@$(SOSUFFIX)
|
402
|
+
else
|
403
|
+
export SETSONAME =
|
404
|
+
endif
|
405
|
+
else
|
406
|
+
export SETDLL =
|
407
|
+
export SETSTATICLIB =
|
408
|
+
export SETLIB =
|
409
|
+
export LINKSET =
|
410
|
+
export POSTSET =
|
411
|
+
endif
|
412
|
+
SETBUILDDIRS = \
|
413
|
+
set set/convex set/distinct set/int set/rel set/rel-op \
|
414
|
+
set/element set/sequence set/var set/var-imp set/view \
|
415
|
+
set/projectors set/projectors/propagator
|
416
|
+
|
417
|
+
#
|
418
|
+
# CpltSet COMPONENTS
|
419
|
+
#
|
420
|
+
|
421
|
+
CPLTSETSRC0 = \
|
422
|
+
branch.cc array.cc support.cc \
|
423
|
+
bddmanager.cc \
|
424
|
+
var-imp/cpltset.cc var/cpltset.cc view/print.cc \
|
425
|
+
constraints/singleton.cc \
|
426
|
+
constraints/dom.cc constraints/rel.cc constraints/cardinality.cc \
|
427
|
+
constraints/atmost.cc constraints/partition.cc \
|
428
|
+
constraints/select.cc constraints/distinct.cc \
|
429
|
+
constraints/rangeroots.cc
|
430
|
+
|
431
|
+
CPLTSETHDR0 = \
|
432
|
+
view.icc bddmanager.icc exception.icc array.icc \
|
433
|
+
support.icc var-imp.icc \
|
434
|
+
var-imp/cpltset.icc var/cpltset.icc view/cpltset.icc \
|
435
|
+
propagators.hh \
|
436
|
+
propagators/unary.icc propagators/binary.icc \
|
437
|
+
propagators/nary.icc propagators/naryone.icc propagators/narytwo.icc \
|
438
|
+
propagators/singleton.icc \
|
439
|
+
branch.hh branch/select-val.icc branch/select-view.icc
|
440
|
+
|
441
|
+
CPLTSETSRC = $(CPLTSETSRC0:%=gecode/cpltset/%)
|
442
|
+
CPLTSETHDR = gecode/cpltset.hh $(CPLTSETHDR0:%=gecode/cpltset/%)
|
443
|
+
CPLTSETOBJ = $(CPLTSETSRC:%.cc=%$(OBJSUFFIX))
|
444
|
+
|
445
|
+
ifeq "@enable_cpltset_vars@" "yes"
|
446
|
+
export CPLTSETDLL = $(LIBPREFIX)@CPLTSET@$(DLLSUFFIX)
|
447
|
+
export CPLTSETSTATICLIB = $(LIBPREFIX)@CPLTSET@$(STATICLIBSUFFIX)
|
448
|
+
export CPLTSETLIB = $(LIBPREFIX)@CPLTSET@$(LIBSUFFIX)
|
449
|
+
ifeq "@CXX@" "cl"
|
450
|
+
export LINKCPLTSET = $(LINKPREFIX)@CPLTSET@$(LINKSUFFIX)
|
451
|
+
else
|
452
|
+
export LINKCPLTSET = $(LINKPREFIX)@CPLTSET@$(LINKSUFFIX) $(CPLTSETFLAG)
|
453
|
+
endif
|
454
|
+
|
455
|
+
ifeq "@need_soname@" "yes"
|
456
|
+
export CPLTSETSONAME = \
|
457
|
+
@WLSONAME@$(LIBPREFIX)@CPLTSET@$(SOSUFFIX)
|
458
|
+
else
|
459
|
+
export CPLTSETSONAME =
|
460
|
+
endif
|
461
|
+
else
|
462
|
+
export CPLTSETDLL =
|
463
|
+
export CPLTSETSTATICLIB =
|
464
|
+
export CPLTSETLIB =
|
465
|
+
export LINKCPLTSET =
|
466
|
+
endif
|
467
|
+
CPLTSETBUILDDIRS = \
|
468
|
+
cpltset cpltset/var cpltset/var-imp cpltset/view cpltset/propagators \
|
469
|
+
cpltset/branch cpltset/constraints
|
470
|
+
|
471
|
+
#
|
472
|
+
# MINIMODEL COMPONENTS
|
473
|
+
#
|
474
|
+
|
475
|
+
MMSRC0 = \
|
476
|
+
bool-expr.cc reg.cc
|
477
|
+
MMHDR0 = \
|
478
|
+
lin-expr.icc lin-rel.icc exception.icc matrix.icc \
|
479
|
+
bool-expr.icc bool-rel.icc arithmetic.icc
|
480
|
+
|
481
|
+
MMSRC = $(MMSRC0:%=gecode/minimodel/%)
|
482
|
+
MMHDR = gecode/minimodel.hh $(MMHDR0:%=gecode/minimodel/%)
|
483
|
+
MMOBJ = $(MMSRC:%.cc=%$(OBJSUFFIX))
|
484
|
+
MMSBJ = $(MMSRC:%.cc=%$(SBJSUFFIX))
|
485
|
+
|
486
|
+
ifeq "@enable_minimodel@" "yes"
|
487
|
+
export MMDLL = $(LIBPREFIX)@MM@$(DLLSUFFIX)
|
488
|
+
export MMSTATICLIB = $(LIBPREFIX)@MM@$(STATICLIBSUFFIX)
|
489
|
+
export MMLIB = $(LIBPREFIX)@MM@$(LIBSUFFIX)
|
490
|
+
export LINKMM = $(LINKPREFIX)@MM@$(LINKSUFFIX)
|
491
|
+
ifeq "@need_soname@" "yes"
|
492
|
+
export MMSONAME = \
|
493
|
+
@WLSONAME@$(LIBPREFIX)@MM@$(SOSUFFIX)
|
494
|
+
else
|
495
|
+
export MMSONAME =
|
496
|
+
endif
|
497
|
+
else
|
498
|
+
export MMDLL =
|
499
|
+
export MMSTATICLIB =
|
500
|
+
export MMLIB =
|
501
|
+
export LINKMM =
|
502
|
+
endif
|
503
|
+
MMBUILDDIRS = minimodel
|
504
|
+
|
505
|
+
#
|
506
|
+
# SERIALIZATION COMPONENTS
|
507
|
+
#
|
508
|
+
|
509
|
+
SERSRC0 = \
|
510
|
+
flatzinc.cc javascript.cc boost.cc
|
511
|
+
|
512
|
+
SERREGSRC = gecode/serialization/register.cc
|
513
|
+
|
514
|
+
ifeq "@enable_qt@" "yes"
|
515
|
+
SERMOCSRC0 = moc_javascript.cc
|
516
|
+
else
|
517
|
+
SERMOCSRC0 =
|
518
|
+
endif
|
519
|
+
|
520
|
+
SERHDR0 = \
|
521
|
+
boost.icc
|
522
|
+
|
523
|
+
SERSRC = $(SERSRC0:%=gecode/serialization/%)
|
524
|
+
SERMOCSRC = $(SERMOCSRC0:%=gecode/serialization/%)
|
525
|
+
SERHDR = gecode/serialization.hh $(SERHDR0:%=gecode/serialization/%)
|
526
|
+
SEROBJ = \
|
527
|
+
$(SERSRC:%.cc=%$(OBJSUFFIX)) \
|
528
|
+
$(SERMOCSRC:%.cc=%$(OBJSUFFIX)) \
|
529
|
+
$(SERREGSRC:%.cc=%$(OBJSUFFIX))
|
530
|
+
SERSBJ = \
|
531
|
+
$(SERSRC:%.cc=%$(SBJSUFFIX)) \
|
532
|
+
$(SERMOCSRC:%.cc=%$(SBJSUFFIX)) \
|
533
|
+
$(SERREGSRC:%.cc=%$(SBJSUFFIX))
|
534
|
+
|
535
|
+
ifeq "@enable_serialization@" "yes"
|
536
|
+
export SERDLL = $(LIBPREFIX)@SER@$(DLLSUFFIX)
|
537
|
+
export SERSTATICLIB = $(LIBPREFIX)@SER@$(STATICLIBSUFFIX)
|
538
|
+
export SERLIB = $(LIBPREFIX)@SER@$(LIBSUFFIX)
|
539
|
+
export LINKSER = $(LINKPREFIX)@SER@$(LINKSUFFIX)
|
540
|
+
ifeq "@need_soname@" "yes"
|
541
|
+
export SERSONAME = \
|
542
|
+
@WLSONAME@$(LIBPREFIX)@SER@$(SOSUFFIX)
|
543
|
+
else
|
544
|
+
export SERSONAME =
|
545
|
+
endif
|
546
|
+
else
|
547
|
+
export SERDLL =
|
548
|
+
export SERSTATICLIB =
|
549
|
+
export SERLIB =
|
550
|
+
export LINKSER =
|
551
|
+
endif
|
552
|
+
SERBUILDDIRS = serialization
|
553
|
+
|
554
|
+
#
|
555
|
+
# ITERATOR HEADERS
|
556
|
+
#
|
557
|
+
ITERHDR0 = \
|
558
|
+
ranges-add ranges-append ranges-array ranges-cache \
|
559
|
+
ranges-compl ranges-diff ranges-empty \
|
560
|
+
ranges-inter ranges-minmax ranges-minus \
|
561
|
+
ranges-offset ranges-operations ranges-scale \
|
562
|
+
ranges-singleton ranges-singleton-append \
|
563
|
+
ranges-size ranges-union ranges-values \
|
564
|
+
ranges-negative ranges-positive ranges-map \
|
565
|
+
values-array values-minus values-offset values-ranges \
|
566
|
+
values-positive values-negative \
|
567
|
+
values-singleton values-unique values-inter \
|
568
|
+
values-union values-map \
|
569
|
+
virtual-ranges virtual-ranges-union \
|
570
|
+
virtual-ranges-inter virtual-ranges-compl
|
571
|
+
ITERHDR = gecode/iter.hh \
|
572
|
+
$(ITERHDR0:%=gecode/iter/%.icc)
|
573
|
+
|
574
|
+
|
575
|
+
#
|
576
|
+
# GIST
|
577
|
+
#
|
578
|
+
|
579
|
+
GISTHDR0 = \
|
580
|
+
better.hh drawingcursor.hh \
|
581
|
+
gist.icc gecodelogo.hh node.hh node.icc \
|
582
|
+
nodecursor.hh nodecursor.icc nodevisitor.hh \
|
583
|
+
nodevisitor.icc layoutcursor.hh layoutcursor.icc \
|
584
|
+
spacenode.hh spacenode.icc textoutput.hh treecanvas.hh zoomToFitIcon.icc \
|
585
|
+
visualnode.hh visualnode.icc \
|
586
|
+
mainwindow.hh \
|
587
|
+
addchild.hh addvisualisationdialog.hh \
|
588
|
+
ui_addchild.hh ui_addvisualisationdialog.hh\
|
589
|
+
config.hh \
|
590
|
+
visualisation/vararrayview.hh visualisation/vararrayviewt.hh \
|
591
|
+
visualisation/vararrayitem.hh visualisation/varitem.hh \
|
592
|
+
visualisation/intvaritem.hh \
|
593
|
+
visualisation/setvaritem.hh
|
594
|
+
|
595
|
+
GISTSRC0 = \
|
596
|
+
drawingcursor.cc gist.cc gecodelogo.cc node.cc nodecursor.cc \
|
597
|
+
layoutcursor.cc spacenode.cc \
|
598
|
+
textoutput.cc treecanvas.cc visualnode.cc \
|
599
|
+
mainwindow.cc preferences.cc \
|
600
|
+
addchild.cc addvisualisationdialog.cc \
|
601
|
+
config.cc \
|
602
|
+
visualisation/vararrayview.cc \
|
603
|
+
visualisation/varitem.cc \
|
604
|
+
visualisation/intvaritem.cc \
|
605
|
+
visualisation/setvaritem.cc
|
606
|
+
|
607
|
+
GISTMOCSRC0 = \
|
608
|
+
moc_treecanvas.cc moc_mainwindow.cc moc_preferences.cc \
|
609
|
+
moc_addchild.cc moc_addvisualisationdialog.cc \
|
610
|
+
visualisation/moc_vararrayview.cc
|
611
|
+
|
612
|
+
GISTSRC = $(GISTSRC0:%=gecode/gist/%)
|
613
|
+
GISTMOCSRC = $(GISTMOCSRC0:%=gecode/gist/%)
|
614
|
+
GISTHDR = $(GISTHDR0:%=gecode/gist/%) gecode/gist.hh
|
615
|
+
|
616
|
+
GISTOBJ = $(GISTSRC:%.cc=%$(OBJSUFFIX)) $(GISTMOCSRC:%.cc=%$(OBJSUFFIX))
|
617
|
+
GISTSBJ = $(GISTSRC:%.cc=%$(SBJSUFFIX)) $(GISTMOCSRC:%.cc=%$(SBJSUFFIX))
|
618
|
+
|
619
|
+
GISTBUILDDIRS = gist gist/visualisation
|
620
|
+
|
621
|
+
ifeq "@enable_gist@" "yes"
|
622
|
+
export GISTDLL = $(LIBPREFIX)@GIST@$(DLLSUFFIX)
|
623
|
+
export GISTSTATICLIB = $(LIBPREFIX)@GIST@$(STATICLIBSUFFIX)
|
624
|
+
export GISTLIB = $(LIBPREFIX)@GIST@$(LIBSUFFIX)
|
625
|
+
export LINKGIST = $(LINKPREFIX)@GIST@$(LINKSUFFIX)
|
626
|
+
ifeq "@need_soname@" "yes"
|
627
|
+
export GISTSONAME = \
|
628
|
+
@WLSONAME@$(LIBPREFIX)@GIST@$(SOSUFFIX)
|
629
|
+
else
|
630
|
+
export GISTSONAME =
|
631
|
+
endif
|
632
|
+
|
633
|
+
else
|
634
|
+
export GISTDLL =
|
635
|
+
export GISTSTATICLIB =
|
636
|
+
export GISTLIB =
|
637
|
+
export LINKGIST =
|
638
|
+
export GISTSONAME =
|
639
|
+
endif
|
640
|
+
|
641
|
+
#
|
642
|
+
# EXAMPLES
|
643
|
+
#
|
644
|
+
|
645
|
+
INTEXAMPLESRC0 = \
|
646
|
+
alpha bacp bibd donald \
|
647
|
+
eq20 golomb-ruler tsp \
|
648
|
+
graph-color grocery ind-set knights \
|
649
|
+
magic-sequence magic-square \
|
650
|
+
money ortho-latin perfect-square \
|
651
|
+
partition photo queens \
|
652
|
+
sudoku kakuro nonogram pentominoes \
|
653
|
+
crowded-chess black-hole minesweeper domino \
|
654
|
+
sports-league all-interval \
|
655
|
+
langford-number warehouses \
|
656
|
+
stress-domain stress-exec stress-search baseline \
|
657
|
+
stress-element stress-min stress-distinct \
|
658
|
+
stress-extensional stress-linear-bool
|
659
|
+
|
660
|
+
INTEXAMPLESRC = $(INTEXAMPLESRC0:%=examples/%.cc)
|
661
|
+
INTEXAMPLEOBJ = $(INTEXAMPLESRC:%.cc=%$(OBJSUFFIX))
|
662
|
+
INTEXAMPLESBJ = $(INTEXAMPLESRC:%.cc=%$(SBJSUFFIX))
|
663
|
+
ifeq "@enable_int_vars@" "yes"
|
664
|
+
INTEXAMPLEEXE = $(INTEXAMPLESRC:%.cc=%$(EXESUFFIX))
|
665
|
+
else
|
666
|
+
INTEXAMPLEEXE =
|
667
|
+
endif
|
668
|
+
|
669
|
+
SETEXAMPLESRC0 = \
|
670
|
+
crew golf hamming steiner queen-armies
|
671
|
+
SETEXAMPLESRC = $(SETEXAMPLESRC0:%=examples/%.cc)
|
672
|
+
SETEXAMPLEOBJ = $(SETEXAMPLESRC:%.cc=%$(OBJSUFFIX))
|
673
|
+
SETEXAMPLESBJ = $(SETEXAMPLESRC:%.cc=%$(SBJSUFFIX))
|
674
|
+
ifeq "@enable_set_vars@" "yes"
|
675
|
+
SETEXAMPLEEXE = $(SETEXAMPLESRC:%.cc=%$(EXESUFFIX))
|
676
|
+
else
|
677
|
+
SETEXAMPLEEXE =
|
678
|
+
endif
|
679
|
+
|
680
|
+
CPLTSETEXAMPLESRC0 = \
|
681
|
+
CPLTSETEXAMPLESRC = $(CPLTSETEXAMPLESRC0:%=examples/%.cc)
|
682
|
+
CPLTSETEXAMPLEOBJ = $(CPLTSETEXAMPLESRC:%.cc=%$(OBJSUFFIX))
|
683
|
+
CPLTSETEXAMPLESBJ = $(CPLTSETEXAMPLESRC:%.cc=%$(SBJSUFFIX))
|
684
|
+
ifeq "@enable_cpltset_vars@" "yes"
|
685
|
+
CPLTSETEXAMPLEEXE = $(CPLTSETEXAMPLESRC:%.cc=%$(EXESUFFIX))
|
686
|
+
else
|
687
|
+
CPLTSETEXAMPLEEXE =
|
688
|
+
endif
|
689
|
+
|
690
|
+
JSEXAMPLESRC0 = javascript
|
691
|
+
JSEXAMPLESRC = $(JSEXAMPLESRC0:%=examples/%.cc)
|
692
|
+
JSEXAMPLEOBJ = $(JSEXAMPLESRC:%.cc=%$(OBJSUFFIX))
|
693
|
+
JSEXAMPLESBJ = $(JSEXAMPLESRC:%.cc=%$(SBJSUFFIX))
|
694
|
+
ifeq "@enable_qt@" "yes"
|
695
|
+
JSEXAMPLEEXE = $(JSEXAMPLESRC:%.cc=%$(EXESUFFIX))
|
696
|
+
else
|
697
|
+
JSEXAMPLESRC =
|
698
|
+
endif
|
699
|
+
|
700
|
+
EXAMPLEBUILDDIRS = examples examples/support
|
701
|
+
|
702
|
+
EXAMPLEEXE = \
|
703
|
+
$(INTEXAMPLEEXE) $(SETEXAMPLEEXE) $(CPLTSETEXAMPLEEXE) $(JSEXAMPLEEXE)
|
704
|
+
|
705
|
+
EXSUPPORTSRC0 = \
|
706
|
+
support/options support/example
|
707
|
+
EXSUPPORTHDR0 = \
|
708
|
+
support.hh support/options.icc support/example.icc
|
709
|
+
EXSUPPORTSRC = $(EXSUPPORTSRC0:%=examples/%.cc)
|
710
|
+
EXSUPPORTHDR = $(EXSUPPORTHDR0:%=examples/%)
|
711
|
+
export EXSUPPORTOBJ = $(EXSUPPORTSRC:%.cc=%$(OBJSUFFIX))
|
712
|
+
EXSUPPORTSBJ = $(EXSUPPORTSRC:%.cc=%$(SBJSUFFIX))
|
713
|
+
|
714
|
+
|
715
|
+
#
|
716
|
+
# COLLECTING ALL
|
717
|
+
#
|
718
|
+
|
719
|
+
ALLSRC = \
|
720
|
+
$(SUPPORTSRC) $(BUDDYSRC) $(KERNELSRC) $(SEARCHSRC) \
|
721
|
+
$(INTSRC) $(SETSRC) $(CPLTSETSRC) $(MMSRC) $(SERSRC) \
|
722
|
+
$(INTEXAMPLESRC) $(SETEXAMPLESRC) $(CPLTSETEXAMPLESRC) \
|
723
|
+
$(JSEXAMPLESRC) $(EXSUPPORTSRC) $(GISTSRC)
|
724
|
+
ALLHDR = \
|
725
|
+
$(SUPPORTHDR) $(KERNELHDR) $(SEARCHHDR) \
|
726
|
+
$(INTHDR) $(SETHDR) $(CPLTSETHDR) $(MMHDR) $(SERHDR) \
|
727
|
+
$(ITERHDR) $(GISTHDR)
|
728
|
+
ALLOBJ0 = $(ALLSRC:%.cc=%$(OBJSUFFIX)) \
|
729
|
+
$(GISTMOCSRC:%.cc=%$(OBJSUFFIX)) \
|
730
|
+
$(SERMOCSRC:%.cc=%$(OBJSUFFIX))
|
731
|
+
ALLOBJ = $(ALLOBJ0:%.c=%$(OBJSUFFIX))
|
732
|
+
ALLSBJ0 = $(ALLSRC:%.cc=%$(SBJSUFFIX))
|
733
|
+
ALLSBJ = $(ALLSBJ0:%.c=%$(SBJSUFFIX))
|
734
|
+
|
735
|
+
export LINKALL = \
|
736
|
+
$(LINKGIST) $(LINKSEARCH) $(LINKMM) $(LINKSER) \
|
737
|
+
$(LINKCPLTSET) $(LINKSET) $(LINKINT) \
|
738
|
+
$(LINKKERNEL) $(LINKSUPPORT)
|
739
|
+
|
740
|
+
ifeq "@BUILDDLL@" "yes"
|
741
|
+
DLLTARGETS= \
|
742
|
+
$(SUPPORTDLL) $(KERNELDLL) $(SEARCHDLL) $(INTDLL) $(SETDLL) \
|
743
|
+
$(CPLTSETDLL) $(MMDLL) $(SERDLL) $(GISTDLL)
|
744
|
+
export ALLLIB = \
|
745
|
+
$(SUPPORTLIB) $(KERNELLIB) $(SEARCHLIB) $(INTLIB) $(SETLIB) \
|
746
|
+
$(CPLTSETLIB) $(MMLIB) $(SERLIB) $(GISTLIB)
|
747
|
+
else
|
748
|
+
DLLTARGETS=
|
749
|
+
export ALLLIB = \
|
750
|
+
$(SUPPORTSTATICLIB) $(KERNELSTATICLIB) $(SEARCHSTATICLIB) \
|
751
|
+
$(INTSTATICLIB) $(SETSTATICLIB) $(CPLTSETSTATICLIB) \
|
752
|
+
$(MMSTATICLIB) $(SERSTATICLIB) $(GISTSTATICLIB)
|
753
|
+
endif
|
754
|
+
|
755
|
+
ifeq "@BUILDSTATIC@" "yes"
|
756
|
+
STATICTARGETS = \
|
757
|
+
$(SUPPORTSTATICLIB) $(KERNELSTATICLIB) $(SEARCHSTATICLIB) \
|
758
|
+
$(INTSTATICLIB) $(SETSTATICLIB) $(CPLTSETSTATICLIB) \
|
759
|
+
$(MMSTATICLIB) $(SERSTATICLIB) $(GISTSTATICLIB)
|
760
|
+
else
|
761
|
+
STATICTARGETS=
|
762
|
+
endif
|
763
|
+
|
764
|
+
export LIBTARGETS = $(DLLTARGETS) $(STATICTARGETS)
|
765
|
+
|
766
|
+
ifeq "@need_soname@" "yes"
|
767
|
+
export LIBLINKTARGETS = \
|
768
|
+
$(DLLTARGETS:%$(DLLSUFFIX)=%$(SOSUFFIX)) \
|
769
|
+
$(DLLTARGETS:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
770
|
+
else
|
771
|
+
export LIBLINKTARGETS =
|
772
|
+
endif
|
773
|
+
|
774
|
+
ifeq "@INSTALLLIBS@" "yes"
|
775
|
+
LIBLIBTARGETS = \
|
776
|
+
$(ALLLIB) \
|
777
|
+
$(ALLLIB:%$(LIBSUFFIX)=%@USERSUFFIX@.pdb)
|
778
|
+
else
|
779
|
+
LIBLIBTARGETS =
|
780
|
+
endif
|
781
|
+
|
782
|
+
#
|
783
|
+
# Testing
|
784
|
+
#
|
785
|
+
|
786
|
+
INTTESTSRC00 = \
|
787
|
+
channel arithmetic basic bool count dom distinct element extensional \
|
788
|
+
rel linear scheduling gcc sorted circuit unshare \
|
789
|
+
mm-arithmetic mm-bool mm-lin mm-count mm-rel
|
790
|
+
INTTESTSRC0 = test/int.cc $(INTTESTSRC00:%=test/int/%.cc)
|
791
|
+
SETTESTSRC00 = \
|
792
|
+
dom rel rel-op rel-op-const convex sequence int select distinct projection
|
793
|
+
SETTESTSRC0 = test/set.cc $(SETTESTSRC00:%=test/set/%.cc)
|
794
|
+
CPLTSETTESTSRC00 = \
|
795
|
+
dom rel atmost partition cardinality select
|
796
|
+
CPLTSETTESTSRC0 = test/cpltset.cc $(CPLTSETTESTSRC00:%=test/cpltset/%.cc)
|
797
|
+
|
798
|
+
ifeq "@enable_set_vars@" "yes"
|
799
|
+
SETTESTSRC=$(SETTESTSRC0)
|
800
|
+
else
|
801
|
+
SETTESTSRC=
|
802
|
+
endif
|
803
|
+
ifeq "@enable_cpltset_vars@" "yes"
|
804
|
+
CPLTSETTESTSRC = $(CPLTSETTESTSRC0)
|
805
|
+
else
|
806
|
+
CPLTSETTESTSRC =
|
807
|
+
endif
|
808
|
+
|
809
|
+
BRANCHTESTSRC0 = \
|
810
|
+
test/branch.cc test/branch/int.cc test/branch/bool.cc \
|
811
|
+
test/branch/set.cc test/branch/cpltset.cc \
|
812
|
+
test/assign.cc test/assign/int.cc test/assign/bool.cc
|
813
|
+
|
814
|
+
SEARCHTESTSRC0 = \
|
815
|
+
test/search.cc
|
816
|
+
|
817
|
+
TESTSRC0 = test/test.cc
|
818
|
+
|
819
|
+
TESTSRC = \
|
820
|
+
$(TESTSRC0) $(INTTESTSRC0) \
|
821
|
+
$(SETTESTSRC) $(CPLTSETTESTSRC) \
|
822
|
+
$(BRANCHTESTSRC0) $(SEARCHTESTSRC0)
|
823
|
+
|
824
|
+
TESTHDR0 = \
|
825
|
+
test.hh test.icc int.hh int.icc set.hh cpltset.hh \
|
826
|
+
branch.hh assign.hh
|
827
|
+
TESTHDR = $(TESTHDR0:%=test/%)
|
828
|
+
TESTOBJ = $(TESTSRC:%.cc=%$(OBJSUFFIX))
|
829
|
+
TESTSBJ = $(TESTSRC:%.cc=%$(SBJSUFFIX))
|
830
|
+
TESTEXE = test/test$(EXESUFFIX)
|
831
|
+
TESTBUILDDIRS = test test/int test/set test/branch test/cpltset test/assign
|
832
|
+
|
833
|
+
BUILDDIRS = \
|
834
|
+
$(SUPPORTBUILDDIRS:%=gecode/%) \
|
835
|
+
$(KERNELBUILDDIRS:%=gecode/%) $(SEARCHBUILDDIRS:%=gecode/%) \
|
836
|
+
$(INTBUILDDIRS:%=gecode/%) $(SETBUILDDIRS:%=gecode/%) \
|
837
|
+
$(CPLTSETBUILDDIRS:%=gecode/%) \
|
838
|
+
$(SERBUILDDIRS:%=gecode/%) \
|
839
|
+
$(MMBUILDDIRS:%=gecode/%) $(EXAMPLEBUILDDIRS) $(TESTBUILDDIRS) \
|
840
|
+
$(GISTBUILDDIRS:%=gecode/%)
|
841
|
+
|
842
|
+
ifeq "@enable_examples@" "yes"
|
843
|
+
all: compilelib
|
844
|
+
@$(MAKE) compileexamples
|
845
|
+
@$(MAKE) makecompletedmessage
|
846
|
+
else
|
847
|
+
all: compilelib
|
848
|
+
@$(MAKE) makecompletedmessage
|
849
|
+
endif
|
850
|
+
compilelib: mkcompiledirs
|
851
|
+
@$(MAKE) $(VARIMP:%=$(top_srcdir)/%) $(LIBTARGETS)
|
852
|
+
@$(MAKE) compilesubdirs
|
853
|
+
@$(MAKE) framework
|
854
|
+
|
855
|
+
compileexamples: $(EXAMPLEEXE)
|
856
|
+
|
857
|
+
test: mkcompiledirs
|
858
|
+
@$(MAKE) $(VARIMP:%=$(top_srcdir)/%) $(TESTEXE)
|
859
|
+
|
860
|
+
# A basic integrity test
|
861
|
+
check: test
|
862
|
+
$(TESTEXE) -iter 2 -test Branch::Int::Dense::3 \
|
863
|
+
-test Int::Linear::Int::Int::Eq::Bnd::12::4 \
|
864
|
+
-test Int::Distinct::Random \
|
865
|
+
-test Int::Arithmetic::Mult::XYZ::Bnd::C \
|
866
|
+
-test Int::Arithmetic::Mult::XYZ::Dom::A \
|
867
|
+
-test Search::BAB::Sol::BalGr::Binary::Binary::Binary::1::1
|
868
|
+
|
869
|
+
ifeq "@top_srcdir@" "."
|
870
|
+
mkcompiledirs:
|
871
|
+
else
|
872
|
+
mkcompiledirs:
|
873
|
+
for_builddirs="$(BUILDDIRS)"; for f in $$for_builddirs; do \
|
874
|
+
(test -z "$(top_builddir)"/$$f || mkdir -p "$(top_builddir)"/$$f); \
|
875
|
+
done
|
876
|
+
endif
|
877
|
+
|
878
|
+
makecompletedmessage:
|
879
|
+
@echo
|
880
|
+
@echo Compilation of Gecode finished successfully. To use Gecode, either add
|
881
|
+
@echo $(PWD)
|
882
|
+
@echo to your search path for libraries, or install Gecode using
|
883
|
+
@echo make install
|
884
|
+
@echo
|
885
|
+
|
886
|
+
# ugly hack by Gr�goire Dooms to call a target on a contribs after evaluating all the variables in this Makefile.
|
887
|
+
# used as make contribs:cpgraph:doc or make contribs:cpgraph:Makefile.in
|
888
|
+
.PHONY: contribs\:%
|
889
|
+
contribs\:%:
|
890
|
+
$(MAKE) -C $(shell echo $@ | sed 's/\(contribs:[^:]*\):.*/\1/;s+:+/+') $(shell echo $@ | sed 's/contribs:[^:]*:\(.*\)/\1/;s+:+/+')
|
891
|
+
|
892
|
+
# less ugly hack by Guido Tack to call a target
|
893
|
+
# Just give ICD (in-contrib-dir) and ICT (in-contrib-target) as arguments
|
894
|
+
# to make incontrib
|
895
|
+
ICT=
|
896
|
+
ICD=
|
897
|
+
.PHONY: incontrib
|
898
|
+
incontrib:
|
899
|
+
$(MAKE) -C contribs/$(ICD) $(ICT)
|
900
|
+
|
901
|
+
compilesubdirs:
|
902
|
+
@for_subdirs="$(subdirs)"; for i in $$for_subdirs; do \
|
903
|
+
if test -f $$i/Makefile; then \
|
904
|
+
echo "Making in directory $$i"; \
|
905
|
+
$(MAKE) -C $$i; \
|
906
|
+
fi; \
|
907
|
+
done
|
908
|
+
|
909
|
+
#
|
910
|
+
# Generated variable implementations
|
911
|
+
#
|
912
|
+
|
913
|
+
ALLVIS0 = \
|
914
|
+
gecode/int/var-imp/int \
|
915
|
+
gecode/int/var-imp/bool \
|
916
|
+
gecode/set/var-imp/set \
|
917
|
+
gecode/cpltset/var-imp/cpltset
|
918
|
+
ALLVIS = \
|
919
|
+
$(ALLVIS0:%=$(top_srcdir)/%.vis) \
|
920
|
+
$(top_srcdir)/misc/genvariables.perl
|
921
|
+
|
922
|
+
$(top_srcdir)/gecode/kernel/var-type.icc: $(top_srcdir)/variables.vsl $(ALLVIS)
|
923
|
+
perl $(top_srcdir)/misc/genvariables.perl -typeicc $< > $@
|
924
|
+
$(top_srcdir)/gecode/kernel/var-type.cc: $(top_srcdir)/variables.vsl $(ALLVIS)
|
925
|
+
perl $(top_srcdir)/misc/genvariables.perl -typecc $< > $@
|
926
|
+
$(top_srcdir)/gecode/kernel/var-imp.icc: $(top_srcdir)/variables.vsl $(ALLVIS)
|
927
|
+
perl $(top_srcdir)/misc/genvariables.perl -header $< > $@
|
928
|
+
|
929
|
+
#
|
930
|
+
# Registry of post functions
|
931
|
+
#
|
932
|
+
|
933
|
+
POSTHDR = $(POSTINT) $(POSTSET)
|
934
|
+
|
935
|
+
$(top_srcdir)/gecode/serialization/register.cc: \
|
936
|
+
$(top_srcdir)/gecode/int.hh $(top_srcdir)/gecode/set.hh \
|
937
|
+
$(top_srcdir)/gecode/minimodel.hh $(top_srcdir)/misc/genregistry.perl
|
938
|
+
(cd $(top_srcdir) && \
|
939
|
+
perl misc/genregistry.perl \
|
940
|
+
gecode/int.hh gecode/set.hh gecode/minimodel.hh \
|
941
|
+
> gecode/serialization/register.cc 2>/dev/null)
|
942
|
+
|
943
|
+
|
944
|
+
#
|
945
|
+
# Object targets
|
946
|
+
#
|
947
|
+
|
948
|
+
gecode/support/%$(OBJSUFFIX): $(top_srcdir)/gecode/support/%.cc
|
949
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_SUPPORT_FLAG@ \
|
950
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
951
|
+
gecode/support/%$(SBJSUFFIX): $(top_srcdir)/gecode/support/%.cc
|
952
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_SUPPORT_FLAG@ \
|
953
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
954
|
+
gecode/support/%$(OBJSUFFIX): $(top_srcdir)/gecode/support/%.c
|
955
|
+
$(CC) $(CFLAGS) @GECODE_BUILD_SUPPORT_FLAG@ \
|
956
|
+
@COMPILEOBJ@$@ @CCIN@$<
|
957
|
+
gecode/support/%$(SBJSUFFIX): $(top_srcdir)/gecode/support/%.c
|
958
|
+
$(CC) $(CFLAGS) @GECODE_BUILD_SUPPORT_FLAG@ \
|
959
|
+
@COMPILESBJ@$@ @CCIN@$<
|
960
|
+
|
961
|
+
gecode/kernel/%$(OBJSUFFIX): $(top_srcdir)/gecode/kernel/%.cc
|
962
|
+
$(CXX) $(CXXFLAGS) $(BOOST_CPPFLAGS) @GECODE_BUILD_KERNEL_FLAG@ \
|
963
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
964
|
+
gecode/kernel/%$(SBJSUFFIX): $(top_srcdir)/gecode/kernel/%.cc
|
965
|
+
$(CXX) $(CXXFLAGS) $(BOOST_CPPFLAGS) @GECODE_BUILD_KERNEL_FLAG@ \
|
966
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
967
|
+
|
968
|
+
gecode/search/%$(OBJSUFFIX): $(top_srcdir)/gecode/search/%.cc
|
969
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_SEARCH_FLAG@ \
|
970
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
971
|
+
gecode/search/%$(SBJSUFFIX): $(top_srcdir)/gecode/search/%.cc
|
972
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_SEARCH_FLAG@ \
|
973
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
974
|
+
|
975
|
+
gecode/int/%$(OBJSUFFIX): $(top_srcdir)/gecode/int/%.cc
|
976
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_INT_FLAG@ \
|
977
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
978
|
+
gecode/int/%$(SBJSUFFIX): $(top_srcdir)/gecode/int/%.cc
|
979
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_INT_FLAG@ \
|
980
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
981
|
+
|
982
|
+
gecode/set/%$(OBJSUFFIX): $(top_srcdir)/gecode/set/%.cc
|
983
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_SET_FLAG@ \
|
984
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
985
|
+
gecode/set/%$(SBJSUFFIX): $(top_srcdir)/gecode/set/%.cc
|
986
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_SET_FLAG@ \
|
987
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
988
|
+
|
989
|
+
gecode/cpltset/%$(OBJSUFFIX): $(top_srcdir)/gecode/cpltset/%.cc
|
990
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_CPLTSET_FLAG@ \
|
991
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
992
|
+
gecode/cpltset/%$(SBJSUFFIX): $(top_srcdir)/gecode/cpltset/%.cc
|
993
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_CPLTSET_FLAG@ \
|
994
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
995
|
+
|
996
|
+
gecode/minimodel/%$(OBJSUFFIX): $(top_srcdir)/gecode/minimodel/%.cc
|
997
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_MINIMODEL_FLAG@ \
|
998
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
999
|
+
gecode/minimodel/%$(SBJSUFFIX): $(top_srcdir)/gecode/minimodel/%.cc
|
1000
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_MINIMODEL_FLAG@ \
|
1001
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1002
|
+
|
1003
|
+
gecode/serialization/%$(OBJSUFFIX): $(top_srcdir)/gecode/serialization/%.cc
|
1004
|
+
$(CXX) $(CXXFLAGS) $(BOOST_CPPFLAGS) $(QT_CPPFLAGS) \
|
1005
|
+
@GECODE_BUILD_SERIALIZATION_FLAG@ \
|
1006
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1007
|
+
gecode/serialization/%$(SBJSUFFIX): $(top_srcdir)/gecode/serialization/%.cc
|
1008
|
+
$(CXX) $(CXXFLAGS) $(BOOST_CPPFLAGS) $(QT_CPPFLAGS) \
|
1009
|
+
@GECODE_BUILD_SERIALIZATION_FLAG@ \
|
1010
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1011
|
+
gecode/serialization/moc_%$(OBJSUFFIX): gecode/serialization/moc_%.cc
|
1012
|
+
$(CXX) $(CXXFLAGS) $(BOOST_CPPFLAGS) $(QT_CPPFLAGS) \
|
1013
|
+
@GECODE_BUILD_SERIALIZATION_FLAG@ \
|
1014
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1015
|
+
.PRECIOUS: gecode/serialization/moc_%.cc
|
1016
|
+
gecode/serialization/moc_%.cc: $(top_srcdir)/gecode/serialization/%.hh
|
1017
|
+
$(MOC) $(CPPFLAGS) -pgecode/serialization $< -o $@
|
1018
|
+
|
1019
|
+
examples/%$(OBJSUFFIX): $(top_srcdir)/examples/%.cc
|
1020
|
+
$(CXX) $(CXXFLAGS) $(EXAMPLES_EXTRA_CXXFLAGS) $(BOOST_CPPFLAGS) \
|
1021
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1022
|
+
examples/%$(SBJSUFFIX): $(top_srcdir)/examples/%.cc
|
1023
|
+
$(CXX) $(CXXFLAGS) $(EXAMPLES_EXTRA_CXXFLAGS) \
|
1024
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1025
|
+
|
1026
|
+
|
1027
|
+
test/%$(OBJSUFFIX): $(top_srcdir)/test/%.cc
|
1028
|
+
$(CXX) $(CXXFLAGS) $(EXAMPLES_EXTRA_CXXFLAGS) \
|
1029
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1030
|
+
test/%$(SBJSUFFIX): $(top_srcdir)/test/%.cc
|
1031
|
+
$(CXX) $(CXXFLAGS) $(EXAMPLES_EXTRA_CXXFLAGS) \
|
1032
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1033
|
+
|
1034
|
+
gecode/gist/%$(OBJSUFFIX): $(top_srcdir)/gecode/gist/%.cc
|
1035
|
+
$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
|
1036
|
+
@GECODE_BUILD_GIST_FLAG@ \
|
1037
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1038
|
+
|
1039
|
+
gecode/gist/%$(SBJSUFFIX): $(top_srcdir)/gecode/gist/%.cc
|
1040
|
+
$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
|
1041
|
+
@GECODE_BUILD_GIST_FLAG@ \
|
1042
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1043
|
+
gecode/gist/moc_%$(OBJSUFFIX): gecode/gist/moc_%.cc
|
1044
|
+
$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
|
1045
|
+
@GECODE_BUILD_GIST_FLAG@ \
|
1046
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1047
|
+
|
1048
|
+
.PRECIOUS: gecode/gist/moc_%.cc
|
1049
|
+
gecode/gist/moc_%.cc: $(top_srcdir)/gecode/gist/%.hh
|
1050
|
+
$(MOC) $(CPPFLAGS) -pgecode/gist $< -o $@
|
1051
|
+
|
1052
|
+
gecode/gist/visualisation/%$(OBJSUFFIX): $(top_srcdir)/gecode/gist/visualisation/%.cc
|
1053
|
+
$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
|
1054
|
+
@GECODE_BUILD_GIST_FLAG@ \
|
1055
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1056
|
+
|
1057
|
+
gecode/gist/visualisation/%$(SBJSUFFIX): $(top_srcdir)/gecode/gist/visualisation/%.cc
|
1058
|
+
$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
|
1059
|
+
@GECODE_BUILD_GIST_FLAG@ \
|
1060
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1061
|
+
gecode/gist/visualisation/moc_%$(OBJSUFFIX): gecode/gist/visualisation/moc_%.cc
|
1062
|
+
$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
|
1063
|
+
@GECODE_BUILD_GIST_FLAG@ \
|
1064
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1065
|
+
|
1066
|
+
.PRECIOUS: gecode/gist/visualisation/moc_%.cc
|
1067
|
+
gecode/gist/visualisation/moc_%.cc: $(top_srcdir)/gecode/gist/visualisation/%.hh
|
1068
|
+
$(MOC) $(CPPFLAGS) -pgecode/gist/visualisation $< -o $@
|
1069
|
+
|
1070
|
+
#
|
1071
|
+
# DLL Targets
|
1072
|
+
#
|
1073
|
+
|
1074
|
+
ifeq "$(DLLSUFFIX)" "$(LIBSUFFIX)"
|
1075
|
+
$(SUPPORTDLL): $(SUPPORTOBJ)
|
1076
|
+
$(CXX) $(DLLFLAGS) $(SUPPORTOBJ) $(SUPPORTSONAME) \
|
1077
|
+
@LINKOUTPUT@$(SUPPORTDLL)
|
1078
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
1079
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1080
|
+
$(KERNELDLL): $(KERNELOBJ) $(SUPPORTDLL)
|
1081
|
+
$(CXX) $(DLLFLAGS) $(KERNELOBJ) $(KERNELSONAME) \
|
1082
|
+
@DLLPATH@ $(LINKSUPPORT) \
|
1083
|
+
@LINKOUTPUT@$(KERNELDLL)
|
1084
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
1085
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1086
|
+
$(SEARCHDLL): $(SEARCHOBJ) $(SUPPORTDLL) $(KERNELDLL)
|
1087
|
+
$(CXX) $(DLLFLAGS) $(SEARCHOBJ) $(SEARCHSONAME) \
|
1088
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) \
|
1089
|
+
@LINKOUTPUT@$(SEARCHDLL)
|
1090
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
1091
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1092
|
+
$(INTDLL): $(INTOBJ) $(SUPPORTDLL) $(KERNELDLL)
|
1093
|
+
$(CXX) $(DLLFLAGS) $(INTOBJ) $(INTSONAME) \
|
1094
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) \
|
1095
|
+
@LINKOUTPUT@$(INTDLL)
|
1096
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
1097
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1098
|
+
$(SETDLL): $(SETOBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL)
|
1099
|
+
$(CXX) $(DLLFLAGS) $(SETOBJ) $(SETSONAME) \
|
1100
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) \
|
1101
|
+
@LINKOUTPUT@$(SETDLL)
|
1102
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
1103
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1104
|
+
$(CPLTSETDLL): $(CPLTSETOBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL) $(SETDLL)
|
1105
|
+
$(CXX) $(DLLFLAGS) $(CPLTSETOBJ) $(CPLTSETSONAME) \
|
1106
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) \
|
1107
|
+
$(LINKSET)\
|
1108
|
+
@LINKOUTPUT@$(CPLTSETDLL)
|
1109
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
1110
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1111
|
+
$(MMDLL): $(MMOBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL)
|
1112
|
+
$(CXX) $(DLLFLAGS) $(MMOBJ) $(MMSONAME) \
|
1113
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) \
|
1114
|
+
@LINKOUTPUT@$(MMDLL)
|
1115
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
1116
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1117
|
+
$(SERDLL): $(SEROBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL) $(SETDLL) $(CPLTSETDLL) $(MMDLL)
|
1118
|
+
$(CXX) $(DLLFLAGS) $(SEROBJ) $(SERSONAME) \
|
1119
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) \
|
1120
|
+
$(LINKSET) $(LINKMM) $(BOOST_LINK) $(LINKQT) \
|
1121
|
+
@LINKOUTPUT@$(SERDLL)
|
1122
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
1123
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1124
|
+
$(GISTDLL): $(GISTOBJ) $(SUPPORTDLL) $(KERNELDLL) $(SEARCHDLL) $(INTDLL)
|
1125
|
+
$(CXX) $(DLLFLAGS) $(GISTOBJ) $(GISTSONAME) \
|
1126
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKSEARCH) $(LINKINT) $(LINKQT) \
|
1127
|
+
@LINKOUTPUT@$(GISTDLL)
|
1128
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
1129
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1130
|
+
else
|
1131
|
+
$(SUPPORTDLL) $(SUPPORTLIB): $(SUPPORTOBJ)
|
1132
|
+
$(CXX) $(DLLFLAGS) $(SUPPORTOBJ) \
|
1133
|
+
@LINKOUTPUT@$(SUPPORTDLL) $(GLDFLAGS)
|
1134
|
+
$(KERNELDLL) $(KERNELLIB): $(KERNELOBJ) $(SUPPORTDLL)
|
1135
|
+
$(CXX) $(DLLFLAGS) $(KERNELOBJ) \
|
1136
|
+
@DLLPATH@ $(LINKSUPPORT) \
|
1137
|
+
@LINKOUTPUT@$(KERNELDLL) $(GLDFLAGS)
|
1138
|
+
$(SEARCHDLL) $(SEARCHLIB): $(SEARCHOBJ) $(SUPPORTDLL) $(KERNELDLL)
|
1139
|
+
$(CXX) $(DLLFLAGS) $(SEARCHOBJ) \
|
1140
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) \
|
1141
|
+
@LINKOUTPUT@$(SEARCHDLL) $(GLDFLAGS)
|
1142
|
+
$(INTDLL) $(INTLIB): $(INTOBJ) $(SUPPORTDLL) $(KERNELDLL)
|
1143
|
+
$(CXX) $(DLLFLAGS) $(INTOBJ) \
|
1144
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) \
|
1145
|
+
@LINKOUTPUT@$(INTDLL) $(GLDFLAGS)
|
1146
|
+
$(SETDLL) $(SETLIB): $(SETOBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL)
|
1147
|
+
$(CXX) $(DLLFLAGS) $(SETOBJ) \
|
1148
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) \
|
1149
|
+
@LINKOUTPUT@$(SETDLL) $(GLDFLAGS)
|
1150
|
+
$(CPLTSETDLL) $(CPLTSETLIB): $(CPLTSETOBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL) $(SETDLL)
|
1151
|
+
$(CXX) $(DLLFLAGS) $(CPLTSETOBJ) \
|
1152
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) $(LINKSET) \
|
1153
|
+
@LINKOUTPUT@$(CPLTSETDLL) $(GLDFLAGS)
|
1154
|
+
$(MMDLL) $(MMLIB): $(MMOBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL)
|
1155
|
+
$(CXX) $(DLLFLAGS) $(MMOBJ) \
|
1156
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) \
|
1157
|
+
@LINKOUTPUT@$(MMDLL) $(GLDFLAGS)
|
1158
|
+
$(SERDLL) $(SERLIB): $(SEROBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL) $(SETDLL) $(CPLTSETDLL) $(MMDLL)
|
1159
|
+
$(CXX) $(DLLFLAGS) $(SEROBJ) \
|
1160
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) $(LINKSET) $(LINKCPLTSET) $(LINKMM) \
|
1161
|
+
$(BOOST_LINK) $(LINKQT) @LINKOUTPUT@$(SERDLL) $(GLDFLAGS)
|
1162
|
+
$(GISTDLL) $(GISTLIB): $(GISTOBJ) $(SUPPORTDLL) $(KERNELDLL) $(SEARCHDLL) $(INTDLL)
|
1163
|
+
$(CXX) $(DLLFLAGS) $(GISTOBJ) $(GISTSONAME) \
|
1164
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKSEARCH) $(LINKINT) $(LINKQT) \
|
1165
|
+
@LINKOUTPUT@$(GISTDLL) $(GLDFLAGS)
|
1166
|
+
endif
|
1167
|
+
|
1168
|
+
#
|
1169
|
+
# Static libraries
|
1170
|
+
#
|
1171
|
+
|
1172
|
+
$(SUPPORTSTATICLIB): $(SUPPORTOBJ)
|
1173
|
+
$(AR) $(ARFLAGS) $@ $(SUPPORTOBJ)
|
1174
|
+
$(RANLIB) $@
|
1175
|
+
$(KERNELSTATICLIB): $(KERNELOBJ)
|
1176
|
+
$(AR) $(ARFLAGS) $@ $(KERNELOBJ)
|
1177
|
+
$(RANLIB) $@
|
1178
|
+
$(SEARCHSTATICLIB): $(SEARCHOBJ)
|
1179
|
+
$(AR) $(ARFLAGS) $@ $(SEARCHOBJ)
|
1180
|
+
$(RANLIB) $@
|
1181
|
+
$(INTSTATICLIB): $(INTOBJ)
|
1182
|
+
$(AR) $(ARFLAGS) $@ $(INTOBJ)
|
1183
|
+
$(RANLIB) $@
|
1184
|
+
$(SETSTATICLIB): $(SETOBJ)
|
1185
|
+
$(AR) $(ARFLAGS) $@ $(SETOBJ)
|
1186
|
+
$(RANLIB) $@
|
1187
|
+
$(CPLTSETSTATICLIB): $(CPLTSETOBJ)
|
1188
|
+
$(AR) $(ARFLAGS) $@ $(CPLTSETOBJ)
|
1189
|
+
$(RANLIB) $@
|
1190
|
+
$(MMSTATICLIB): $(MMOBJ)
|
1191
|
+
$(AR) $(ARFLAGS) $@ $(MMOBJ)
|
1192
|
+
$(RANLIB) $@
|
1193
|
+
$(SERSTATICLIB): $(SEROBJ)
|
1194
|
+
$(AR) $(ARFLAGS) $@ $(SEROBJ)
|
1195
|
+
$(RANLIB) $@
|
1196
|
+
$(GISTSTATICLIB): $(GISTOBJ)
|
1197
|
+
$(AR) $(ARFLAGS) $@ $(GISTOBJ)
|
1198
|
+
$(RANLIB) $@
|
1199
|
+
|
1200
|
+
#
|
1201
|
+
# Mac OS X Framework
|
1202
|
+
#
|
1203
|
+
|
1204
|
+
.PHONY: framework
|
1205
|
+
ifeq "@BUILD_MACOS_FRAMEWORK@" "yes"
|
1206
|
+
framework: $(STATICTARGETS)
|
1207
|
+
$(RMF) gecode.framework
|
1208
|
+
mkdir -p gecode.framework/Versions/@GECODE_SOVERSION@
|
1209
|
+
$(CXX) -all_load -compatibility_version @GECODE_SOVERSION@.0 \
|
1210
|
+
-current_version @GECODE_SOVERSION@.0 \
|
1211
|
+
-install_name /Library/Frameworks/gecode.framework/Versions/@GECODE_SOVERSION@/gecode \
|
1212
|
+
$(DLLFLAGS) $(LINKQT) \
|
1213
|
+
-o gecode.framework/Versions/@GECODE_SOVERSION@/gecode $^
|
1214
|
+
$(MAKE) doinstallheaders \
|
1215
|
+
prefix=gecode.framework/Versions/@GECODE_SOVERSION@ DESTDIR=
|
1216
|
+
mv gecode.framework/Versions/@GECODE_SOVERSION@/include/gecode/* \
|
1217
|
+
gecode.framework/Versions/@GECODE_SOVERSION@/include/
|
1218
|
+
rmdir gecode.framework/Versions/@GECODE_SOVERSION@/include/gecode
|
1219
|
+
cd gecode.framework/Versions && ln -s @GECODE_SOVERSION@ Current
|
1220
|
+
ln -s Versions/Current/include \
|
1221
|
+
gecode.framework/Headers
|
1222
|
+
ln -s Versions/Current/gecode \
|
1223
|
+
gecode.framework/gecode
|
1224
|
+
else
|
1225
|
+
framework:
|
1226
|
+
endif
|
1227
|
+
|
1228
|
+
#
|
1229
|
+
# EXE Targets
|
1230
|
+
#
|
1231
|
+
|
1232
|
+
.PRECIOUS: examples/%$(OBJSUFFIX)
|
1233
|
+
examples/%$(EXESUFFIX): examples/%$(OBJSUFFIX) $(EXSUPPORTOBJ) $(ALLLIB)
|
1234
|
+
$(CXX) @EXEOUTPUT@$@ $< $(EXSUPPORTOBJ) $(DLLPATH) $(CXXFLAGS) \
|
1235
|
+
$(LINKALL) $(GLDFLAGS)
|
1236
|
+
|
1237
|
+
$(TESTEXE): $(TESTOBJ) $(ALLLIB)
|
1238
|
+
$(CXX) @EXEOUTPUT@$@ $(TESTOBJ) $(DLLPATH) $(CXXFLAGS) \
|
1239
|
+
$(LINKALL) $(GLDFLAGS)
|
1240
|
+
|
1241
|
+
|
1242
|
+
|
1243
|
+
#
|
1244
|
+
# Autoconf
|
1245
|
+
#
|
1246
|
+
|
1247
|
+
$(top_srcdir)/configure: $(top_srcdir)/configure.ac
|
1248
|
+
(cd $(top_srcdir) && autoconf)
|
1249
|
+
config.status: $(top_srcdir)/configure
|
1250
|
+
./config.status --recheck
|
1251
|
+
Makefile: $(top_srcdir)/Makefile.in config.status
|
1252
|
+
./config.status --file $@:$<
|
1253
|
+
doxygen.hh: $(top_srcdir)/doxygen/doxygen.hh.in config.status
|
1254
|
+
./config.status --file $@:$<
|
1255
|
+
|
1256
|
+
#
|
1257
|
+
# Source distribution
|
1258
|
+
#
|
1259
|
+
|
1260
|
+
DIST_FILES= \
|
1261
|
+
configure.ac configure Makefile.in gecode.m4 \
|
1262
|
+
changelog.in LICENSE \
|
1263
|
+
doxygen.conf.in doxygen.hh.in install-sh misc/gecode.pc.in \
|
1264
|
+
misc/gecode-search.pc.in misc/gecode-minimodel.pc.in \
|
1265
|
+
misc/gecode-serialization.pc.in misc/gecode-gist.pc.in \
|
1266
|
+
gecode/support/config.icc.in \
|
1267
|
+
gecode/int/var-imp/int.vis \
|
1268
|
+
gecode/int/var-imp/bool.vis \
|
1269
|
+
gecode/set/var-imp.vis \
|
1270
|
+
gecode/cpltset/var-imp.vis \
|
1271
|
+
gecode/support/buddy/AUTHORS \
|
1272
|
+
gecode/support/buddy/ChangeLog \
|
1273
|
+
gecode/support/buddy/NEWS \
|
1274
|
+
gecode/support/buddy/README \
|
1275
|
+
examples/support.hh \
|
1276
|
+
examples/support/example.icc \
|
1277
|
+
examples/support/options.icc \
|
1278
|
+
misc/doxygen/back.png misc/doxygen/gecode-logo-100.png \
|
1279
|
+
misc/doxygen/stylesheet.css misc/doxygen/footer.html \
|
1280
|
+
misc/doxygen/header.html misc/genlicense.perl \
|
1281
|
+
misc/genstatistics.perl misc/getrevision.perl \
|
1282
|
+
misc/genchangelog.perl misc/genvariables.perl \
|
1283
|
+
misc/gentxtchangelog.perl misc/makedepend.perl \
|
1284
|
+
misc/AppleHelpbookInfo.plist
|
1285
|
+
|
1286
|
+
distdir:
|
1287
|
+
rm -rf gecode-$(VERSION) && \
|
1288
|
+
mkdir -p gecode-$(VERSION) && \
|
1289
|
+
(cd $(top_srcdir) && tar cf - $(ALLHDR) $(ALLSRC)) | \
|
1290
|
+
(cd gecode-$(VERSION) && tar xf -) && \
|
1291
|
+
(cd $(top_srcdir) && tar cf - $(TESTSRC0) $(INTTESTSRC0) \
|
1292
|
+
$(SETTESTSRC0) $(CPLTSETTESTSRC0) $(BRANCHTESTSRC0) $(TESTHDR) $(DIST_FILES)) | \
|
1293
|
+
(cd gecode-$(VERSION) && tar xf -)
|
1294
|
+
|
1295
|
+
dist: distdir
|
1296
|
+
tar chof - gecode-$(VERSION) | gzip -c >gecode-$(VERSION).tar.gz
|
1297
|
+
rm -rf gecode-$(VERSION)
|
1298
|
+
|
1299
|
+
#
|
1300
|
+
# Documentation
|
1301
|
+
#
|
1302
|
+
|
1303
|
+
export ENABLEDOCCHM = @ENABLEDOCCHM@
|
1304
|
+
ENABLEDOCSEARCH = @ENABLEDOCSEARCH@
|
1305
|
+
|
1306
|
+
.PHONY: doc
|
1307
|
+
|
1308
|
+
DOCSRC_NOTGENERATED = \
|
1309
|
+
misc/doxygen/back.png misc/doxygen/footer.html \
|
1310
|
+
misc/doxygen/gecode-logo-100.png \
|
1311
|
+
misc/doxygen/stylesheet.css \
|
1312
|
+
misc/genlicense.perl misc/genstatistics.perl misc/getrevision.perl \
|
1313
|
+
misc/genchangelog.perl
|
1314
|
+
DOCSRC = $(DOCSRC_NOTGENERATED:%=$(top_srcdir)/%) \
|
1315
|
+
doxygen.conf.use header.html \
|
1316
|
+
doxygen.hh license.hh stat.hh changelog.hh
|
1317
|
+
|
1318
|
+
changelog.hh: $(top_srcdir)/changelog.in
|
1319
|
+
perl $(top_srcdir)/misc/genchangelog.perl < $^ > changelog.hh
|
1320
|
+
|
1321
|
+
ChangeLog: $(top_srcdir)/changelog.in
|
1322
|
+
perl $(top_srcdir)/misc/gentxtchangelog.perl < $^ > ChangeLog
|
1323
|
+
|
1324
|
+
license.hh: $(ALLHDR:%=$(top_srcdir)/%) $(ALLSRC:%=$(top_srcdir)/%)
|
1325
|
+
perl $(top_srcdir)/misc/genlicense.perl $^ > license.hh
|
1326
|
+
|
1327
|
+
stat.hh: $(ALLHDR:%=$(top_srcdir)/%) $(ALLSRC:%=$(top_srcdir)/%) \
|
1328
|
+
$(TESTHDR:%=$(top_srcdir)/%) $(TESTSRC:%=$(top_srcdir)/%)
|
1329
|
+
perl $(top_srcdir)/misc/genstatistics.perl $^ > stat.hh
|
1330
|
+
|
1331
|
+
|
1332
|
+
ifeq "@ENABLEDOCCHM@" "yes"
|
1333
|
+
|
1334
|
+
DOCTARGET=GecodeReference.chm
|
1335
|
+
|
1336
|
+
header.html: $(top_srcdir)/misc/doxygen/header.html
|
1337
|
+
grep -v '<form.*form>' < $< > $@
|
1338
|
+
doxygen.conf.use: doxygen.conf
|
1339
|
+
(echo "GENERATE_HTMLHELP = YES"; \
|
1340
|
+
echo "SEARCHENGINE = NO";\
|
1341
|
+
echo "HAVE_DOT = @GECODE_DOXYGEN_DOT@") | \
|
1342
|
+
cat $< - > $@
|
1343
|
+
|
1344
|
+
doc: $(ALLHDR:%=$(top_srcdir)/%) $(ALLSRC:%=$(top_srcdir)/%) $(DOCSRC)
|
1345
|
+
mkdir -p doc/html
|
1346
|
+
cp -f $(top_srcdir)/misc/doxygen/back.png \
|
1347
|
+
$(top_srcdir)/misc/doxygen/gecode-logo-100.png doc/html
|
1348
|
+
doxygen doxygen.conf.use
|
1349
|
+
mv doc/html/GecodeReference.chm GecodeReference.chm
|
1350
|
+
|
1351
|
+
else
|
1352
|
+
|
1353
|
+
DOCTARGET=doc/html
|
1354
|
+
|
1355
|
+
ifeq "@ENABLEDOCSEARCH@" "yes"
|
1356
|
+
|
1357
|
+
header.html: $(top_srcdir)/misc/doxygen/header.html
|
1358
|
+
cat < $< > $@
|
1359
|
+
doxygen.conf.use: doxygen.conf
|
1360
|
+
(echo "GENERATE_HTMLHELP = NO"; \
|
1361
|
+
echo "SEARCHENGINE = YES"; \
|
1362
|
+
echo "HAVE_DOT = @GECODE_DOXYGEN_DOT@") | \
|
1363
|
+
cat $< - > $@
|
1364
|
+
else
|
1365
|
+
|
1366
|
+
header.html: $(top_srcdir)/misc/doxygen/header.html
|
1367
|
+
grep -v '<form.*form>' < $< > $@
|
1368
|
+
doxygen.conf.use: doxygen.conf
|
1369
|
+
(echo "GENERATE_HTMLHELP = NO"; \
|
1370
|
+
echo "SEARCHENGINE = NO"; \
|
1371
|
+
echo "HAVE_DOT = @GECODE_DOXYGEN_DOT@") | \
|
1372
|
+
cat $< - > $@
|
1373
|
+
|
1374
|
+
endif
|
1375
|
+
|
1376
|
+
doc: $(ALLHDR:%=$(top_srcdir)/%) $(ALLSRC:%=$(top_srcdir)/%) $(DOCSRC)
|
1377
|
+
mkdir -p doc/html
|
1378
|
+
cp -f $(top_srcdir)/misc/doxygen/back.png \
|
1379
|
+
$(top_srcdir)/misc/doxygen/gecode-logo-100.png doc/html
|
1380
|
+
doxygen doxygen.conf.use
|
1381
|
+
|
1382
|
+
endif
|
1383
|
+
|
1384
|
+
|
1385
|
+
# Generate an indexed Apple HelpBook
|
1386
|
+
# The generated book must then be copied to
|
1387
|
+
# /Library/Documentation/Help
|
1388
|
+
doc-apple: doc
|
1389
|
+
mkdir -p doc/Gecode.help/Contents/Resources
|
1390
|
+
rm -rf doc/Gecode.help/Contents/Resources/English.lproj
|
1391
|
+
cp -r doc/html doc/Gecode.help/Contents/Resources/English.lproj
|
1392
|
+
cp misc/AppleHelpbookInfo.plist \
|
1393
|
+
doc/Gecode.help/Contents/Info.plist
|
1394
|
+
sed -i -e \
|
1395
|
+
's|</title>|</title><META NAME="AppleTitle" CONTENT="Gecode Help">|g' \
|
1396
|
+
doc/Gecode.help/Contents/Resources/English.lproj/index.html
|
1397
|
+
/Developer/Applications/Utilities/Help\ Indexer.app/Contents/MacOS/Help\ Indexer \
|
1398
|
+
doc/Gecode.help/Contents/Resources/English.lproj
|
1399
|
+
|
1400
|
+
#
|
1401
|
+
# Installation
|
1402
|
+
#
|
1403
|
+
|
1404
|
+
ifeq "@enable_gist@" "yes"
|
1405
|
+
GIST_PKGCONFIGFILE = gecode-gist.pc
|
1406
|
+
else
|
1407
|
+
GIST_PKGCONFIGFILE =
|
1408
|
+
endif
|
1409
|
+
|
1410
|
+
ifeq "@HAS_PKGCONFIG@" "yes"
|
1411
|
+
PKGCONFIGFILES = \
|
1412
|
+
gecode.pc gecode-search.pc gecode-minimodel.pc \
|
1413
|
+
gecode-serialization.pc $(GIST_PKGCONFIGFILE)
|
1414
|
+
else
|
1415
|
+
PKGCONFIGFILES =
|
1416
|
+
endif
|
1417
|
+
|
1418
|
+
.PHONY: install
|
1419
|
+
|
1420
|
+
ifeq "@BUILD_MACOS_FRAMEWORK@" "yes"
|
1421
|
+
install: installframework
|
1422
|
+
else
|
1423
|
+
|
1424
|
+
ifeq "@enable_examples@" "yes"
|
1425
|
+
install: installlib installexamples
|
1426
|
+
else
|
1427
|
+
install: installlib
|
1428
|
+
endif
|
1429
|
+
|
1430
|
+
endif
|
1431
|
+
|
1432
|
+
doinstallheaders: $(ALLHDR:%=$(top_srcdir)/%) $(EXTRA_HEADERS)
|
1433
|
+
mkdir -p $(DESTDIR)$(includedir) && \
|
1434
|
+
(cd $(top_srcdir) && tar cf - $(ALLHDR)) | \
|
1435
|
+
(cd $(DESTDIR)$(includedir) && tar xf -) && \
|
1436
|
+
for_extraheaders="$(EXTRA_HEADERS)" && \
|
1437
|
+
for f in $$for_extraheaders; do \
|
1438
|
+
cp $$f $(DESTDIR)$(pkgincludedir)/support; done && \
|
1439
|
+
for_pkgconfigfiles="$(PKGCONFIGFILES)" && \
|
1440
|
+
for f in $$for_pkgconfigfiles; do \
|
1441
|
+
mkdir -p $(DESTDIR)$(libdir)/pkgconfig; \
|
1442
|
+
cp misc/$$f $(DESTDIR)$(libdir)/pkgconfig; \
|
1443
|
+
done
|
1444
|
+
|
1445
|
+
doinstalllib:
|
1446
|
+
mkdir -p $(DESTDIR)$(sharedlibdir) && \
|
1447
|
+
mkdir -p $(DESTDIR)$(libdir) && \
|
1448
|
+
for_libtargets="$(LIBTARGETS)" && \
|
1449
|
+
for f in $$for_libtargets; do \
|
1450
|
+
cp $$f $(DESTDIR)$(sharedlibdir); done && \
|
1451
|
+
for_liblinktargets="$(LIBLINKTARGETS)" && \
|
1452
|
+
for f in $$for_liblinktargets; do \
|
1453
|
+
cp -pR $$f $(DESTDIR)$(sharedlibdir); done &&\
|
1454
|
+
for_liblibtargets="$(LIBLIBTARGETS)" && \
|
1455
|
+
for f in $$for_liblibtargets; do \
|
1456
|
+
cp $$f $(DESTDIR)$(libdir); done
|
1457
|
+
|
1458
|
+
ifeq "@BUILDSTATIC@" "yes"
|
1459
|
+
ranliblib:
|
1460
|
+
for_static="$(STATICTARGETS)" ; \
|
1461
|
+
for f in $$for_static; do \
|
1462
|
+
$(RANLIB) $(DESTDIR)$(sharedlibdir)/$$f; done
|
1463
|
+
else
|
1464
|
+
ranliblib:
|
1465
|
+
endif
|
1466
|
+
|
1467
|
+
installlib: compilelib
|
1468
|
+
$(MAKE) doinstalllib
|
1469
|
+
$(MAKE) doinstallheaders
|
1470
|
+
$(MAKE) ranliblib
|
1471
|
+
$(MAKE) installsubdirs
|
1472
|
+
|
1473
|
+
installexamples: compileexamples
|
1474
|
+
mkdir -p $(DESTDIR)$(bindir); \
|
1475
|
+
for_exampleexe="$(EXAMPLEEXE)" ; \
|
1476
|
+
for f in $$for_exampleexe; do cp $$f $(DESTDIR)$(bindir); done \
|
1477
|
+
|
1478
|
+
installframework: framework
|
1479
|
+
mkdir -p $(DESTDIR)/Library/Frameworks/gecode.framework && \
|
1480
|
+
(cd gecode.framework && tar cf - *) | \
|
1481
|
+
(cd $(DESTDIR)/Library/Frameworks/gecode.framework && tar xf -)
|
1482
|
+
|
1483
|
+
installdoc: doc
|
1484
|
+
mkdir -p $(DESTDIR)$(docdir); \
|
1485
|
+
cp -r $(DOCTARGET) $(DESTDIR)$(docdir)
|
1486
|
+
|
1487
|
+
installsubdirs:
|
1488
|
+
@for_subdirs="$(subdirs)" ; for i in $$for_subdirs; do \
|
1489
|
+
cd $$i && if test -f Makefile; then \
|
1490
|
+
echo "Making install in directory $$i"; \
|
1491
|
+
$(MAKE) install; \
|
1492
|
+
fi; \
|
1493
|
+
done
|
1494
|
+
|
1495
|
+
#
|
1496
|
+
# Source Distribution
|
1497
|
+
#
|
1498
|
+
|
1499
|
+
.PHONY: distdoc
|
1500
|
+
|
1501
|
+
ifeq "@ENABLEDOCSEARCH@" "yes"
|
1502
|
+
DOCSUFFIX = search-$(VERSION)
|
1503
|
+
else
|
1504
|
+
DOCSUFFIX = $(VERSION)
|
1505
|
+
endif
|
1506
|
+
|
1507
|
+
distdoc: doc
|
1508
|
+
rm -rf gecode-doc-$(DOCSUFFIX) && \
|
1509
|
+
cp -r doc/html . && mv html gecode-doc-$(DOCSUFFIX) && \
|
1510
|
+
$(TAR) cf - gecode-doc-$(DOCSUFFIX) | \
|
1511
|
+
gzip -9 > gecode-doc-$(DOCSUFFIX).tar.gz && \
|
1512
|
+
zip -q -9 -r gecode-doc-$(DOCSUFFIX).zip gecode-doc-$(DOCSUFFIX) && \
|
1513
|
+
$(RMF) gecode-doc-$(DOCSUFFIX) && \
|
1514
|
+
if test -f doc/gecode-doc.tag; then \
|
1515
|
+
mv doc/gecode-doc.tag gecode-doc-$(DOCSUFFIX).tag && \
|
1516
|
+
gzip -9 gecode-doc-$(DOCSUFFIX).tag; \
|
1517
|
+
fi
|
1518
|
+
|
1519
|
+
|
1520
|
+
#
|
1521
|
+
# Binary Distribution
|
1522
|
+
#
|
1523
|
+
|
1524
|
+
.PHONY: distzip
|
1525
|
+
|
1526
|
+
BINPKG = gecode-$(VERSION)-bin
|
1527
|
+
|
1528
|
+
disttodir:
|
1529
|
+
$(RMF) $(BINPKG) && \
|
1530
|
+
$(MAKE) install \
|
1531
|
+
prefix=$(BINPKG) execprefix=$(BINPKG) bindir=$(BINPKG)/bin \
|
1532
|
+
libdir=$(BINPKG)/lib sharedlibdir=$(BINPKG)/lib \
|
1533
|
+
includedir=$(BINPKG)/include && \
|
1534
|
+
$(MAKE) ChangeLog && \
|
1535
|
+
cp $(top_srcdir)/LICENSE ChangeLog $(BINPKG)/
|
1536
|
+
|
1537
|
+
distzip: disttodir
|
1538
|
+
zip -q -9 -r $(BINPKG).zip $(BINPKG) && \
|
1539
|
+
$(RMF) $(BINPKG)
|
1540
|
+
|
1541
|
+
disttgz: disttodir
|
1542
|
+
$(TAR) cf - $(BINPKG) | \
|
1543
|
+
gzip -9 > $(BINPKG).tar.gz && \
|
1544
|
+
$(RMF) $(BINPKG)
|
1545
|
+
|
1546
|
+
#
|
1547
|
+
# Maintenance targets
|
1548
|
+
#
|
1549
|
+
|
1550
|
+
clean:
|
1551
|
+
$(RMF) *.stackdump core gmon.out vc70.pdb vc80.pdb vc90.pdb
|
1552
|
+
$(RMF) doxygen.log doxygen.hh doxygen.conf.use stat.hh license.hh header.html
|
1553
|
+
$(RMF) $(ALLOBJ) $(ALLSBJ) $(ALLOBJ:%$(OBJSUFFIX)=%.pdb)
|
1554
|
+
$(RMF) $(TESTOBJ) $(TESTSBJ) $(TESTOBJ:%$(OBJSUFFIX)=%.pdb)
|
1555
|
+
$(RMF) $(GISTMOCSRC) $(SERMOCSRC)
|
1556
|
+
$(RMF) $(SERREGSRC:%.cc=%$(OBJSUFFIX))
|
1557
|
+
|
1558
|
+
veryclean: clean
|
1559
|
+
$(RMF) $(LIBTARGETS) \
|
1560
|
+
$(LIBTARGETS:%$(DLLSUFFIX)=%.exp) \
|
1561
|
+
$(LIBTARGETS:%$(DLLSUFFIX)=%.lib) \
|
1562
|
+
$(LIBTARGETS:%$(DLLSUFFIX)=%.ilk) \
|
1563
|
+
$(LIBTARGETS:%$(DLLSUFFIX)=%.pdb)
|
1564
|
+
$(RMF) $(LIBTARGETS:%$(DLLSUFFIX)=%$(SOLINKSUFFIX)) \
|
1565
|
+
$(LIBTARGETS:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1566
|
+
$(RMF) $(EXAMPLEEXE) $(EXAMPLEEXE:%.exe=%.pdb) \
|
1567
|
+
$(EXAMPLEEXE:%.exe=%.ilk)
|
1568
|
+
$(RMF) $(TESTEXE) $(TESTEXE:%.exe=%.pdb) $(TESTEXE:%.exe=%.ilk)
|
1569
|
+
$(RMF) doc GecodeReference.chm ChangeLog changelog.hh doxygen.conf doxygen.hh
|
1570
|
+
$(RMF) $(ALLOBJ:%$(OBJSUFFIX)=%.gcno) $(TESTOBJ:%$(OBJSUFFIX)=%.gcno)
|
1571
|
+
$(RMF) $(ALLOBJ:%$(OBJSUFFIX)=%.gcda) $(TESTOBJ:%$(OBJSUFFIX)=%.gcda)
|
1572
|
+
$(RMF) $(SERREGSRC:%.cc=%.gcda) $(SERREGSRC:%.cc=%.gcno)
|
1573
|
+
|
1574
|
+
distclean: veryclean
|
1575
|
+
$(RMF) $(VARIMP:%=$(top_srcdir)/%)
|
1576
|
+
$(RMF) misc/gecode.pc misc/gecode-search.pc \
|
1577
|
+
misc/gecode-minimodel.pc misc/gecode-serialization.pc
|
1578
|
+
$(RMF) Makefile
|
1579
|
+
$(RMF) $(EXTRA_HEADERS)
|
1580
|
+
$(RMF) config.log config.status Makefile.dep
|
1581
|
+
$(RMF) $(SERREGSRC)
|
1582
|
+
|
1583
|
+
depend: $(VARIMP:%=$(top_srcdir)/%) $(SERREGSRC:%=$(top_srcdir)/%)
|
1584
|
+
perl $(top_srcdir)/misc/makedepend.perl \
|
1585
|
+
$(top_srcdir) \
|
1586
|
+
$(ALLSRC) \
|
1587
|
+
$(SERREGSRC) \
|
1588
|
+
$(TESTSRC) > Makefile.dep
|
1589
|
+
|
1590
|
+
-include Makefile.dep
|