dep-selector-libgecode 1.0.0.alpha.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +7 -0
- data/.gitignore +26 -0
- data/Gemfile +3 -0
- data/LICENSE.txt +22 -0
- data/README.md +29 -0
- data/Rakefile +20 -0
- data/dep-selector-libgecode.gemspec +25 -0
- data/ext/libgecode3/Makefile +8 -0
- data/ext/libgecode3/extconf.rb +57 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/LICENSE +25 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/Makefile.contribs +88 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/Makefile.dep +11307 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/Makefile.in +1795 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/changelog.in +6132 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/configure +13054 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/configure.ac +356 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/configure.ac.in +352 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/README +26 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/AbstractWorker.hh +42 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Doxyfile +263 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Makefile.in.in +162 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/OptVar.cc +82 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/OptVar.hh +124 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/QCOPPlus.cc +306 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/QCOPPlus.hh +166 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/QCSPPlusUnblockable.cc +239 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/QCSPPlusUnblockable.hh +140 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/README +6 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Strategy.cc +253 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Strategy.hh +112 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/StrategyNode.cc +59 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/StrategyNode.hh +49 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/UnblockableBranching.hh +34 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/UnblockableViewValBranching.cc +61 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/UnblockableViewValBranching.hh +45 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Work.cc +48 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Work.hh +64 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/WorkComparators.hh +67 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/WorkManager.cc +376 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/WorkManager.hh +96 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Worker.cc +285 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Worker.hh +70 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/clean +5 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/configure +2637 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/configure.ac +44 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/myDom.cc +59 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/myspace.cc +119 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/myspace.hh +79 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qecode.hh +56 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_parallel.cc +41 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_parallel.hh +43 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_qcop.cc +268 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_qcop.hh +56 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_qcsp.cc +163 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_qcsp.hh +63 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_unblockable.cc +423 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_unblockable.hh +84 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/shortdesc.ac +1 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/vartype.hh +31 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/doxygen/doxygen.conf.in +1245 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/doxygen/doxygen.hh.in +594 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/all-interval.cpp +136 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/alpha.cpp +151 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/bacp.cpp +596 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/bibd.cpp +182 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/bin-packing.cpp +25363 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/black-hole.cpp +413 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/car-sequencing.cpp +653 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/crew.cpp +269 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/crossword.cpp +3954 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/crowded-chess.cpp +424 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/dominating-queens.cpp +170 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/domino.cpp +346 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/donald.cpp +135 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/efpa.cpp +323 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/eq20.cpp +128 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/golf.cpp +190 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/golomb-ruler.cpp +157 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/graph-color.cpp +425 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/grocery.cpp +116 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/hamming.cpp +144 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/ind-set.cpp +144 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/kakuro.cpp +627 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/knights.cpp +430 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/langford-number.cpp +218 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/magic-sequence.cpp +133 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/magic-square.cpp +141 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/minesweeper.cpp +311 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/money.cpp +132 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/nonogram.cpp +1215 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/open-shop.cpp +412 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/ortho-latin.cpp +183 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/partition.cpp +145 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/pentominoes.cpp +952 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/perfect-square.cpp +317 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/photo.cpp +166 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/queen-armies.cpp +335 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/queens.cpp +214 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/radiotherapy.cpp +943 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/sat.cpp +260 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/schurs-lemma.cpp +142 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/scowl.hpp +14149 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/sports-league.cpp +353 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/steel-mill.cpp +654 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/steiner.cpp +170 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/sudoku.cpp +2294 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/tsp.cpp +339 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/warehouses.cpp +185 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/examples/word-square.cpp +168 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode.m4 +1272 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/driver.hh +602 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/driver/options.cpp +435 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/driver/options.hpp +418 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/driver/script.cpp +104 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/driver/script.hpp +388 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc.hh +417 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/CHANGES +63 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/ast.hh +492 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/conexpr.hh +82 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/exampleplugin/myplugin.cpp +49 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/exampleplugin/myplugin.hh +47 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/exampleplugin/myplugin.pro +51 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/exampleplugin/test_myplugin.fzn +1 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/flatzinc.cpp +1056 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/lexer.lxx +137 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/lexer.yy.cpp +2458 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/all_different_int.mzn +37 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/all_equal_int.mzn +37 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/among.mzn +37 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/at_least_int.mzn +37 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/at_least_set.mzn +38 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/at_most_int.mzn +37 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/at_most_set.mzn +38 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/bin_packing.mzn +44 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/bin_packing_capa.mzn +45 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/bin_packing_load.mzn +45 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/circuit.mzn +40 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/count.mzn +37 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/cumulative.mzn +53 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/decreasing_bool.mzn +37 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/decreasing_int.mzn +37 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/diffn.mzn +44 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/disjoint.mzn +37 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/distribute.mzn +46 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/exactly_int.mzn +40 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/exactly_set.mzn +38 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/gecode.mzn +98 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/global_cardinality.mzn +43 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/global_cardinality_closed.mzn +39 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/global_cardinality_low_up.mzn +40 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/global_cardinality_low_up_closed.mzn +40 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/increasing_bool.mzn +37 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/increasing_int.mzn +37 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/int_set_channel.mzn +49 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/inverse.mzn +42 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/lex_less_int.mzn +42 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/lex_lesseq_int.mzn +42 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/link_set_to_booleans.mzn +47 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/maximum_int.mzn +37 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/member_bool.mzn +41 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/member_int.mzn +41 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/minimum_int.mzn +37 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/nvalue.mzn +37 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/partition_set.mzn +42 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/precedence.mzn +41 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/range.mzn +51 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/redefinitions.mzn +62 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/regular.mzn +38 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/roots.mzn +63 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/sort.mzn +37 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/sum_pred.mzn +42 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/table_bool.mzn +37 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/table_int.mzn +37 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/option.hh +70 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/parser.hh +265 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/parser.tab.cpp +3571 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/parser.tab.hh +164 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/parser.yxx +1604 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/plugin.hh +83 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/registry.cpp +1812 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/registry.hh +71 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/symboltable.hh +96 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/varspec.hh +163 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist.hh +298 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/drawingcursor.cpp +288 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/drawingcursor.hh +110 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/drawingcursor.hpp +84 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/gecodelogo.cpp +673 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/gecodelogo.hh +65 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/gist.cpp +120 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/gist.hpp +207 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/layoutcursor.hh +69 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/layoutcursor.hpp +70 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/mainwindow.cpp +341 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/mainwindow.hh +129 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/node.cpp +82 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/node.hh +160 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/node.hpp +210 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodecursor.hh +215 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodecursor.hpp +271 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodestats.cpp +138 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodestats.hh +81 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodevisitor.hh +96 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodevisitor.hpp +126 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodewidget.cpp +90 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodewidget.hh +59 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/preferences.cpp +190 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/preferences.hh +96 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/qtgist.cpp +809 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/qtgist.hh +294 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/spacenode.cpp +369 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/spacenode.hh +221 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/spacenode.hpp +191 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/standalone-example/mygist.cpp +80 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/standalone-example/standalone_example.pro +18 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/stopbrancher.cpp +90 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/stopbrancher.hh +82 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/textoutput.cpp +175 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/textoutput.hh +75 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/treecanvas.cpp +1430 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/treecanvas.hh +369 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/visualnode.cpp +473 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/visualnode.hh +237 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/visualnode.hpp +220 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/zoomToFitIcon.hpp +114 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int.hh +3477 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic.cpp +185 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic.hh +666 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic/abs.hpp +236 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic/divmod.hpp +350 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic/max.hpp +398 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic/mult.hpp +750 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic/sqr.hpp +377 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic/sqrt.hpp +217 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/array-traits.hpp +147 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/array.cpp +113 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/array.hpp +111 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bin-packing.cpp +71 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bin-packing.hh +184 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bin-packing/propagate.cpp +388 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bin-packing/propagate.hpp +219 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool.cpp +755 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool.hh +581 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/base.hpp +137 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/clause.hpp +353 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/eq.hpp +196 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/eqv.cpp +104 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/eqv.hpp +202 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/lq.hpp +241 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/or.hpp +850 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch.cpp +152 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch.hh +607 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/post-val-bool.hpp +81 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/post-val-int.hpp +107 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/post-view-bool.bs +121 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/post-view-bool.cpp +438 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/post-view-int.bs +121 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/post-view-int.cpp +438 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/select-val.hpp +229 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/select-values.hpp +213 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/select-view.hpp +364 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel.cpp +172 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel.hh +249 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/base.hpp +78 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/dom.hpp +332 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/link-multi.cpp +241 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/link-multi.hpp +84 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/link-single.cpp +77 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/link-single.hpp +71 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/val.hpp +256 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/circuit.cpp +229 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/circuit.hh +160 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/circuit/base.hpp +270 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/circuit/dom.hpp +128 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/circuit/val.hpp +105 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count.cpp +417 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count.hh +410 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/int-base.hpp +80 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/int-eq.hpp +143 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/int-gq.hpp +137 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/int-lq.hpp +136 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/rel.hpp +281 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/view-base.hpp +131 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/view-eq.hpp +117 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/view-gq.hpp +109 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/view-lq.hpp +96 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative.cpp +432 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative.hh +745 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/basic.hpp +211 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/edge-finding.hpp +185 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/man-prop.hpp +127 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/opt-prop.hpp +171 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/overload.hpp +63 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/task-view.hpp +84 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/task.hpp +256 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/tree.hpp +272 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulatives.cpp +187 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulatives.hh +133 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulatives/val.hpp +380 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct.cpp +97 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct.hh +314 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct/bnd.hpp +444 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct/dom-ctrl.hpp +81 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct/dom.hpp +123 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct/graph.hpp +266 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct/ter-dom.hpp +113 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct/val.hpp +185 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/dom.cpp +135 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/dom.hh +118 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/dom/range.hpp +105 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/dom/spec.hpp +124 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/element.cpp +190 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/element.hh +384 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/element/int.hpp +443 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/element/pair.cpp +151 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/element/pair.hpp +74 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/element/view.hpp +559 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exception.hpp +196 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exec.cpp +83 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exec.hh +87 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exec/when.cpp +77 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exec/when.hpp +51 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional.cpp +124 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional.hh +508 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/base.hpp +163 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/basic.hpp +148 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/dfa.cpp +535 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/dfa.hpp +282 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/incremental.hpp +454 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/layered-graph.hpp +982 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/tuple-set.cpp +222 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/tuple-set.hpp +184 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc.cpp +172 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc.hh +268 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/bnd-sup.hpp +608 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/bnd.hpp +829 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/dom-sup.hpp +1777 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/dom.hpp +315 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/post.hpp +169 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/val.hpp +299 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/view.hpp +410 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/int-set-1.hpp +249 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/int-set-2.hpp +51 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/int-set.cpp +167 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/limits.hpp +94 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear-bool.cpp +196 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear-int.cpp +194 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear.hh +1560 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/bool-int.hpp +743 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/bool-post.cpp +602 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/bool-scale.hpp +695 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/bool-view.hpp +319 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/int-bin.hpp +439 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/int-dom.hpp +484 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/int-nary.hpp +864 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/int-noview.hpp +251 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/int-post.cpp +561 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/int-ter.hpp +273 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/post.hpp +152 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/member.cpp +85 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/member.hh +125 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/member/prop.hpp +175 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/member/re-prop.hpp +178 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap.cpp +226 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap.hh +318 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap/base.hpp +88 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap/box.hpp +198 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap/dim.hpp +197 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap/man.hpp +119 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap/opt.hpp +153 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues.cpp +244 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues.hh +429 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/bool-base.hpp +98 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/bool-eq.hpp +174 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/bool-gq.hpp +149 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/bool-lq.hpp +151 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/graph.hpp +283 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/int-base.hpp +347 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/int-eq.hpp +167 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/int-gq.hpp +130 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/int-lq.hpp +154 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/range-event.hpp +51 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/sym-bit-matrix.hpp +69 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/precede.cpp +73 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/precede.hh +113 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/precede/single.hpp +232 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/propagator.hpp +311 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/rel.cpp +381 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/rel.hh +665 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/rel/eq.hpp +676 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/rel/lex.hpp +414 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/rel/lq-le.hpp +537 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/rel/nq.hpp +196 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sequence.cpp +197 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sequence.hh +154 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sequence/int.hpp +168 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sequence/set-op.hpp +154 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sequence/view.hpp +499 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sequence/violations.hpp +101 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted.cpp +82 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted.hh +107 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted/matching.hpp +173 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted/narrowing.hpp +250 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted/order.hpp +213 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted/propagate.hpp +646 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted/sortsup.hpp +564 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/support-values.hh +154 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/support-values.hpp +187 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task.hh +454 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/array.hpp +179 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/fwd-to-bwd.hpp +102 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/iter.hpp +92 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/man-to-opt.hpp +100 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/prop.hpp +70 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/purge.hpp +74 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/sort.hpp +234 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/tree.hpp +189 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary.cpp +258 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary.hh +839 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/detectable.hpp +116 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/edge-finding.hpp +78 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/man-prop.hpp +78 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/not-first-not-last.hpp +133 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/opt-prop.hpp +116 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/overload.hpp +93 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/subsumption.hpp +55 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/task-view.hpp +105 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/task.hpp +532 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/tree.hpp +229 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unshare.cpp +146 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/val-set.hh +118 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/val-set.hpp +186 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp.hpp +710 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/bool.cpp +65 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/bool.hpp +431 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/bool.vis +75 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/delta.hpp +64 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/int.cpp +361 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/int.hpp +1029 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/int.vis +117 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var/bool.cpp +53 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var/bool.hpp +121 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var/int.cpp +61 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var/int.hpp +145 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var/print.hpp +56 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph.hh +334 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph/bi-link.hpp +89 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph/comb-ptr-flag.hpp +78 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph/edge.hpp +124 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph/graph.hpp +202 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph/iter-prune-val.hpp +70 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph/node.hpp +171 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view.hpp +1690 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/bool-test.hpp +64 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/bool.hpp +314 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/cached.hpp +402 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/constint.hpp +324 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/int.hpp +264 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/iter.hpp +65 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/minus.hpp +300 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/neg-bool.hpp +177 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/offset.hpp +303 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/print.hpp +162 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/rel-test.hpp +231 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/scale.hpp +368 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/zero.hpp +305 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter.hh +96 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-add.hpp +144 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-append.hpp +222 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-array.hpp +139 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-cache.hpp +106 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-compl.hpp +220 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-diff.hpp +142 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-empty.hpp +111 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-inter.hpp +309 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-list.hpp +263 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-map.hpp +260 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-minmax.hpp +118 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-minus.hpp +107 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-negative.hpp +137 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-offset.hpp +127 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-operations.hpp +157 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-positive.hpp +139 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-rangelist.hpp +115 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-scale.hpp +238 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-singleton-append.hpp +111 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-singleton.hpp +86 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-size.hpp +146 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-union.hpp +361 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-values.hpp +140 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-array.hpp +120 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-bitset.hpp +114 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-inter.hpp +130 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-list.hpp +186 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-map.hpp +136 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-minus.hpp +105 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-negative.hpp +116 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-offset.hpp +113 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-positive.hpp +123 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-ranges.hpp +106 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-singleton.hpp +109 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-union.hpp +137 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-unique.hpp +118 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel.hh +194 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/advisor.hpp +102 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/allocators.hpp +476 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/archive.cpp +70 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/archive.hpp +298 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/array.hpp +2133 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/branch.cpp +121 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/branch.hpp +254 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/brancher-tiebreak.hpp +615 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/brancher-val.hpp +126 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/brancher-view.hpp +455 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/brancher.hpp +431 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/core.cpp +563 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/core.hpp +3668 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/exception.hpp +124 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/global-prop-info.hpp +258 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/macros.hpp +118 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/memory-config.hpp +154 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/memory-manager.cpp +53 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/memory-manager.hpp +511 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/modevent.hpp +69 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/propagator.hpp +699 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/range-list.hpp +184 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/region.cpp +85 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/region.hpp +459 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/shared-array.hpp +345 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/var-imp.hpp +332 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/var-type.hpp +767 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/var.hpp +144 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/view.hpp +715 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/wait.hh +244 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel.hh +1870 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/arithmetic.cpp +408 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/bool-expr.cpp +522 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/bool-expr.hpp +87 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/exception.hpp +84 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/lin-expr.cpp +594 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/lin-expr.hpp +297 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/lin-rel.cpp +414 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/lin-rel.hpp +85 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/matrix.hpp +247 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/optimize.hpp +62 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/reg.cpp +817 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/reg.hpp +94 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/set-expr.cpp +704 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/set-expr.hpp +96 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/set-rel.cpp +81 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/set-rel.hpp +84 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search.hh +458 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/bab.cpp +62 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/bab.hpp +91 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/dfs.cpp +62 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/dfs.hpp +84 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/options.cpp +72 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/options.hpp +49 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/bab.cpp +178 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/bab.hh +203 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/dfs.cpp +176 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/dfs.hh +195 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/engine.cpp +118 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/engine.hh +418 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/path.hh +477 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/restart.cpp +167 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/restart.hh +73 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/restart.cpp +62 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/restart.hpp +88 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/sequential/bab.hh +177 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/sequential/dfs.hh +176 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/sequential/path.hh +411 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/sequential/restart.hh +89 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/statistics.hpp +70 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/stop.cpp +83 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/stop.hpp +137 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/support.hh +91 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/worker.hh +202 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set.hh +1144 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/array-traits.hpp +86 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/array.cpp +219 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/array.hpp +64 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch.cpp +128 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch.hh +438 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch/post-val.hpp +107 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch/post-view.bs +109 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch/post-view.cpp +370 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch/select-val.hpp +204 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch/select-view.hpp +306 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/cardinality.cpp +65 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/convex.cpp +60 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/convex.hh +107 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/convex/conv.cpp +97 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/convex/conv.hpp +67 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/convex/hull.cpp +116 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/convex/hull.hpp +68 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/distinct.cpp +56 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/distinct.hh +79 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/distinct/atmostOne.cpp +162 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/distinct/atmostOne.hpp +66 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/dom.cpp +300 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/element.cpp +255 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/element.hh +218 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/element/disjoint.hpp +324 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/element/inter.hpp +308 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/element/union.hpp +342 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/element/unionConst.hpp +293 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/exception.hpp +146 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/exec.cpp +58 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int.cpp +191 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int.hh +459 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int/card.hpp +93 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int/channel-bool.hpp +282 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int/channel-int.hpp +158 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int/match.hpp +199 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int/minmax.hpp +645 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int/weights.hpp +353 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/limits.hpp +62 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/precede.cpp +74 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/precede.hh +115 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/precede/single.hpp +255 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-const-cvc.cpp +66 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-const-cvv.cpp +65 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-const-vcc.cpp +168 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-const-vcv.cpp +166 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-const-vvc.cpp +63 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-singleton.cpp +115 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-ternary.cpp +60 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op.cpp +105 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op.hh +297 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/common.hpp +619 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/inter.hpp +389 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/partition.hpp +164 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-compl-cvc.cpp +58 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-compl-cvv.cpp +54 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-compl-vvc.cpp +57 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-compl.cpp +54 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-nocompl-cvc.cpp +55 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-nocompl-cvv.cpp +54 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-nocompl-vvc.cpp +54 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-nocompl.cpp +54 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post.hpp +266 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/subofunion.hpp +166 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/superofinter.hpp +167 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/union.hpp +319 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel.cpp +232 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel.hh +322 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/common.hpp +125 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/eq.hpp +116 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/lq.hpp +417 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/nosubset.hpp +104 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/nq.hpp +160 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/re-eq.hpp +152 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/re-lq.hpp +182 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/re-subset.hpp +146 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/subset.hpp +96 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence.cpp +64 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence.hh +115 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence/common.hpp +100 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence/seq-u.cpp +145 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence/seq-u.hpp +79 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence/seq.cpp +76 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence/seq.hpp +69 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp.hpp +634 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/delta.hpp +78 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/integerset.cpp +348 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/integerset.hpp +426 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/iter.hpp +63 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/set.cpp +142 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/set.hpp +531 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/set.vis +197 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var/print.hpp +49 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var/set.cpp +111 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var/set.hpp +254 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view.hpp +1142 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view/cached.hpp +399 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view/complement.hpp +556 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view/const.hpp +723 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view/print.hpp +140 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view/set.hpp +263 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view/singleton.hpp +402 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support.hh +135 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/auto-link.hpp +73 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/bitset-base.hpp +379 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/bitset.hpp +81 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/block-allocator.hpp +169 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/cast.hpp +52 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/config.hpp.in +109 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/dynamic-array.hpp +140 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/dynamic-queue.hpp +156 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/dynamic-stack.hpp +186 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/exception.cpp +65 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/exception.hpp +102 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/heap.cpp +49 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/heap.hpp +593 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/int-type.hpp +172 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/macros.hpp +103 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/marked-pointer.hpp +79 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/random.hpp +128 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/sort.hpp +268 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/static-stack.hpp +148 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread.hpp +272 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/none.hpp +87 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/pthreads.cpp +66 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/pthreads.hpp +142 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/thread.cpp +72 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/thread.hpp +114 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/windows.cpp +68 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/windows.hpp +108 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/timer.hpp +103 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/install-sh +323 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/allexamples.perl +60 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/doxygen/back.png +0 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/doxygen/footer.html +3 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/doxygen/gecode-logo-100.png +0 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/doxygen/header.html +66 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/doxygen/stylesheet.css +468 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/fixautoheader.perl +55 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/fixmanifest.perl +84 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/fixproperties.sh +98 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/gecode-logo.ico +0 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/genbranch.perl +310 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/genchangelog.perl +249 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/gencurrentchangelog.perl +191 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/genlcovmakefile.perl +148 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/genlicense.perl +121 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/genrc.perl +236 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/genstatistics.perl +178 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/gentxtchangelog.perl +198 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/genvarimp.perl +877 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/genxcodeproj.perl +144 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/getrevision.perl +47 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/makedepend.perl +85 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/svn-ignore-root.txt +43 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/misc/svn-ignore.txt +18 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/afc.cpp +143 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/array.cpp +277 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/assign.cpp +278 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/assign.hh +119 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/assign/bool.cpp +61 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/assign/int.cpp +70 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/assign/set.cpp +72 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/branch.cpp +504 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/branch.hh +119 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/branch/bool.cpp +61 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/branch/int.cpp +70 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/branch/set.cpp +72 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int.cpp +655 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int.hh +353 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int.hpp +314 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/arithmetic.cpp +772 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/basic.cpp +82 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/bin-packing.cpp +237 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/bool.cpp +500 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/channel.cpp +234 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/circuit.cpp +359 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/count.cpp +410 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/cumulative.cpp +560 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/cumulatives.cpp +276 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/distinct.cpp +248 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/dom.cpp +174 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/element.cpp +602 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/exec.cpp +150 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/extensional.cpp +571 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/gcc.cpp +320 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/linear.cpp +394 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/member.cpp +138 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/mm-arithmetic.cpp +368 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/mm-bool.cpp +4344 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/mm-count.cpp +295 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/mm-lin.cpp +2179 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/mm-rel.cpp +136 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/no-overlap.cpp +259 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/nvalues.cpp +241 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/precede.cpp +115 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/rel.cpp +568 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/sequence.cpp +168 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/sorted.cpp +165 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/unary.cpp +327 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/int/unshare.cpp +109 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/search.cpp +487 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/set.cpp +638 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/set.hh +362 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/set.hpp +121 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/set/construct.cpp +225 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/set/convex.cpp +139 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/set/distinct.cpp +116 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/set/dom.cpp +346 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/set/element.cpp +397 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/set/exec.cpp +86 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/set/int.cpp +532 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/set/mm-set.cpp +4532 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/set/precede.cpp +136 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/set/rel-op-const.cpp +368 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/set/rel-op.cpp +504 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/set/rel.cpp +157 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/set/sequence.cpp +133 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/test.cpp +281 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/test.hh +161 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/test/test.hpp +76 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/tools/flatzinc/fz.cpp +93 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/tools/flatzinc/mzn-gecode.bat.in +41 -0
- data/ext/libgecode3/vendor/gecode-3.7.3/tools/flatzinc/mzn-gecode.in +41 -0
- data/lib/dep-selector-libgecode.rb +15 -0
- data/lib/dep-selector-libgecode/version.rb +3 -0
- metadata +878 -0
@@ -0,0 +1,1795 @@
|
|
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: 2012-03-21 16:25:08 +1100 (Wed, 21 Mar 2012) $ by $Author: tack $
|
13
|
+
# $Revision: 12605 $
|
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 srcdir = @srcdir@
|
50
|
+
export datarootdir = @datarootdir@
|
51
|
+
export datadir = @datadir@
|
52
|
+
export docdir= @docdir@
|
53
|
+
export top_srcdir = @top_srcdir@
|
54
|
+
export top_builddir = .
|
55
|
+
|
56
|
+
# Install to different root directory
|
57
|
+
DESTDIR=
|
58
|
+
|
59
|
+
export subdirs = @subdirs@
|
60
|
+
|
61
|
+
export VERSION = @VERSION@
|
62
|
+
|
63
|
+
export CXX = @CXX@
|
64
|
+
export CC = @CC@
|
65
|
+
export MOC = @MOC@
|
66
|
+
ifeq "$(top_srcdir)" "$(top_builddir)"
|
67
|
+
CPPFLAGS=-I$(top_srcdir)
|
68
|
+
else
|
69
|
+
CPPFLAGS=-I$(top_builddir) -I$(top_srcdir)
|
70
|
+
endif
|
71
|
+
export CPPFLAGS
|
72
|
+
export CXXFLAGS = $(CPPFLAGS) @CXXFLAGS@ $(CXXUSR)
|
73
|
+
export CFLAGS = $(CPPFLAGS) @CFLAGS@ $(CUSR)
|
74
|
+
export EXAMPLES_EXTRA_CXXFLAGS = @EXAMPLES_EXTRA_CXXFLAGS@
|
75
|
+
|
76
|
+
export QT_CPPFLAGS = @QTDEFINES@ @QTINCLUDES@
|
77
|
+
export LINKQT = @QTLIBS@
|
78
|
+
|
79
|
+
ifeq "@BUILDDLL@" "yes"
|
80
|
+
export LINKSTATICQT
|
81
|
+
else
|
82
|
+
export LINKSTATICQT = $(LINKQT)
|
83
|
+
endif
|
84
|
+
|
85
|
+
export BOOST_CPPFLAGS = @BOOST_CPPFLAGS@
|
86
|
+
export BOOST_LINK = @BOOST_LINK@
|
87
|
+
|
88
|
+
export GLDFLAGS = @GLDFLAGS@
|
89
|
+
export DLLFLAGS = @DLLFLAGS@
|
90
|
+
export DLLPATH = @DLLPATH@
|
91
|
+
|
92
|
+
export RANLIB = @RANLIB@
|
93
|
+
export TAR = tar
|
94
|
+
|
95
|
+
#
|
96
|
+
# Use suffixes to get consistent treatment of dots
|
97
|
+
#
|
98
|
+
export OBJSUFFIX = .@OBJEXT@
|
99
|
+
export SBJSUFFIX = .@SBJEXT@
|
100
|
+
export DLLSUFFIX = @DLL_ARCH@@USERSUFFIX@.@DLLEXT@
|
101
|
+
export MANIFESTSUFFIX = @DLL_ARCH@@USERSUFFIX@.@DLLEXT@.manifest
|
102
|
+
export RCSUFFIX = @DLL_ARCH@@USERSUFFIX@.@DLLEXT@.rc
|
103
|
+
export RESSUFFIX = @DLL_ARCH@@USERSUFFIX@.@DLLEXT@.res
|
104
|
+
export LIBSUFFIX = @DLL_ARCH@@USERSUFFIX@.@LIBEXT@
|
105
|
+
export PDBSUFFIX = @DLL_ARCH@@USERSUFFIX@.pdb
|
106
|
+
export EXPSUFFIX = @DLL_ARCH@@USERSUFFIX@.exp
|
107
|
+
export STATICLIBSUFFIX = .@STATICLIBEXT@
|
108
|
+
export EXESUFFIX = @EXEEXT@
|
109
|
+
|
110
|
+
export LIBPREFIX = @LIBPREFIX@
|
111
|
+
export LINKPREFIX = @LINKPREFIX@
|
112
|
+
export LINKSUFFIX = @DLL_ARCH@@USERSUFFIX@@LINKSUFFIX@
|
113
|
+
|
114
|
+
export SOLINKSUFFIX = @DLL_ARCH@@USERSUFFIX@@SOLINKSUFFIX@
|
115
|
+
export SOSUFFIX = @DLL_ARCH@@USERSUFFIX@@SOSUFFIX@
|
116
|
+
|
117
|
+
#
|
118
|
+
# Programs
|
119
|
+
#
|
120
|
+
export RMF = rm -rf
|
121
|
+
export MV = mv
|
122
|
+
export MANIFEST = @MANIFEST@ -nologo
|
123
|
+
export FIXMANIFEST = perl $(top_srcdir)/misc/fixmanifest.perl $(DLLSUFFIX)
|
124
|
+
export RESCOMP = @RESCOMP@ -n -i$(top_srcdir)
|
125
|
+
export RCGEN = perl $(top_srcdir)/misc/genrc.perl $(DLLSUFFIX) $(top_srcdir)
|
126
|
+
|
127
|
+
ifeq "@need_soname@" "yes"
|
128
|
+
export CREATELINK = ln -fs
|
129
|
+
else
|
130
|
+
export CREATELINK = @true
|
131
|
+
endif
|
132
|
+
|
133
|
+
ifeq "@enable_resource@" "yes"
|
134
|
+
%.res: %.rc
|
135
|
+
$(RESCOMP) -fo $@ $<
|
136
|
+
.PRECIOUS: %.res %.rc
|
137
|
+
endif
|
138
|
+
|
139
|
+
#
|
140
|
+
# SUPPORT COMPONENTS
|
141
|
+
#
|
142
|
+
SUPPORTSRC0 = \
|
143
|
+
exception heap thread/thread thread/windows thread/pthreads
|
144
|
+
SUPPORTHDR0 = \
|
145
|
+
block-allocator cast dynamic-array \
|
146
|
+
dynamic-stack exception heap \
|
147
|
+
macros random sort static-stack \
|
148
|
+
marked-pointer int-type auto-link \
|
149
|
+
thread thread/thread thread/windows thread/pthreads thread/none timer \
|
150
|
+
dynamic-queue bitset-base bitset
|
151
|
+
|
152
|
+
SUPPORTSRC1 = $(SUPPORTSRC0:%=gecode/support/%.cpp)
|
153
|
+
SUPPORTHDR = gecode/support.hh \
|
154
|
+
$(SUPPORTHDR0:%=gecode/support/%.hpp)
|
155
|
+
SUPPORTOBJ = $(SUPPORTSRC1:%.cpp=%$(OBJSUFFIX))
|
156
|
+
SUPPORTSRC = $(SUPPORTSRC1)
|
157
|
+
|
158
|
+
export SUPPORTDLL = $(LIBPREFIX)@SUPPORT@$(DLLSUFFIX)
|
159
|
+
export SUPPORTLIB = $(LIBPREFIX)@SUPPORT@$(LIBSUFFIX)
|
160
|
+
ifeq "@need_soname@" "yes"
|
161
|
+
export SUPPORTSONAME = \
|
162
|
+
@WLSONAME@$(LIBPREFIX)@SUPPORT@$(SOSUFFIX)
|
163
|
+
else
|
164
|
+
export SUPPORTSONAME =
|
165
|
+
endif
|
166
|
+
export SUPPORTSTATICLIB = $(LIBPREFIX)@SUPPORT@$(STATICLIBSUFFIX)
|
167
|
+
export LINKSUPPORT = \
|
168
|
+
$(LINKPREFIX)@SUPPORT@$(LINKSUFFIX)
|
169
|
+
ifeq "@enable_resource@" "yes"
|
170
|
+
export SUPPORTRC = $(LIBPREFIX)@SUPPORT@$(RCSUFFIX)
|
171
|
+
export SUPPORTRES = $(LIBPREFIX)@SUPPORT@$(RESSUFFIX)
|
172
|
+
else
|
173
|
+
export SUPPORTRES =
|
174
|
+
export SUPPORTRC =
|
175
|
+
endif
|
176
|
+
|
177
|
+
SUPPORTBUILDDIRS = support support/thread
|
178
|
+
|
179
|
+
|
180
|
+
#
|
181
|
+
# KERNEL COMPONENTS
|
182
|
+
#
|
183
|
+
|
184
|
+
VARIMPHDR = \
|
185
|
+
gecode/kernel/var-type.hpp \
|
186
|
+
gecode/kernel/var-imp.hpp
|
187
|
+
|
188
|
+
VARIMP = $(VARIMPHDR)
|
189
|
+
|
190
|
+
KERNELSRC0 = \
|
191
|
+
archive core memory-manager branch region
|
192
|
+
|
193
|
+
KERNELHDR0 = \
|
194
|
+
archive array shared-array core exception \
|
195
|
+
macros memory-config memory-manager region modevent range-list \
|
196
|
+
propagator advisor view var \
|
197
|
+
branch brancher brancher-view brancher-tiebreak \
|
198
|
+
brancher-val allocators global-prop-info
|
199
|
+
|
200
|
+
KERNELSRC = $(KERNELSRC0:%=gecode/kernel/%.cpp)
|
201
|
+
KERNELHDR = \
|
202
|
+
gecode/kernel.hh gecode/kernel/wait.hh \
|
203
|
+
$(KERNELHDR0:%=gecode/kernel/%.hpp)
|
204
|
+
KERNELOBJ = $(KERNELSRC:%.cpp=%$(OBJSUFFIX))
|
205
|
+
|
206
|
+
export KERNELDLL = $(LIBPREFIX)@KERNEL@$(DLLSUFFIX)
|
207
|
+
export KERNELLIB = $(LIBPREFIX)@KERNEL@$(LIBSUFFIX)
|
208
|
+
ifeq "@need_soname@" "yes"
|
209
|
+
export KERNELSONAME = \
|
210
|
+
@WLSONAME@$(LIBPREFIX)@KERNEL@$(SOSUFFIX)
|
211
|
+
else
|
212
|
+
export KERNELSONAME =
|
213
|
+
endif
|
214
|
+
export KERNELSTATICLIB = $(LIBPREFIX)@KERNEL@$(STATICLIBSUFFIX)
|
215
|
+
export LINKKERNEL = $(LINKPREFIX)@KERNEL@$(LINKSUFFIX)
|
216
|
+
ifeq "@enable_resource@" "yes"
|
217
|
+
export KERNELRC = $(LIBPREFIX)@KERNEL@$(RCSUFFIX)
|
218
|
+
export KERNELRES = $(LIBPREFIX)@KERNEL@$(RESSUFFIX)
|
219
|
+
else
|
220
|
+
export KERNELRES =
|
221
|
+
export KERNELRC =
|
222
|
+
endif
|
223
|
+
|
224
|
+
KERNELBUILDDIRS = kernel
|
225
|
+
|
226
|
+
EXTRA_HEADERS = gecode/support/config.hpp
|
227
|
+
|
228
|
+
#
|
229
|
+
# SEARCH COMPONENTS
|
230
|
+
#
|
231
|
+
|
232
|
+
SEARCHSRC0 = \
|
233
|
+
stop options \
|
234
|
+
parallel/engine \
|
235
|
+
dfs parallel/dfs \
|
236
|
+
bab parallel/bab \
|
237
|
+
restart parallel/restart
|
238
|
+
SEARCHHDR0 = \
|
239
|
+
statistics.hpp stop.hpp options.hpp \
|
240
|
+
support.hh worker.hh \
|
241
|
+
sequential/path.hh sequential/dfs.hh sequential/bab.hh \
|
242
|
+
sequential/restart.hh \
|
243
|
+
parallel/path.hh parallel/engine.hh \
|
244
|
+
parallel/dfs.hh parallel/bab.hh \
|
245
|
+
parallel/restart.hh \
|
246
|
+
dfs.hpp bab.hpp restart.hpp
|
247
|
+
|
248
|
+
SEARCHSRC = $(SEARCHSRC0:%=gecode/search/%.cpp)
|
249
|
+
SEARCHHDR = gecode/search.hh $(SEARCHHDR0:%=gecode/search/%)
|
250
|
+
SEARCHOBJ = $(SEARCHSRC:%.cpp=%$(OBJSUFFIX))
|
251
|
+
|
252
|
+
ifeq "@enable_search@" "yes"
|
253
|
+
export SEARCHDLL = $(LIBPREFIX)@SEARCH@$(DLLSUFFIX)
|
254
|
+
export SEARCHSTATICLIB = $(LIBPREFIX)@SEARCH@$(STATICLIBSUFFIX)
|
255
|
+
export SEARCHLIB = $(LIBPREFIX)@SEARCH@$(LIBSUFFIX)
|
256
|
+
export LINKSEARCH = $(LINKPREFIX)@SEARCH@$(LINKSUFFIX)
|
257
|
+
ifeq "@need_soname@" "yes"
|
258
|
+
export SEARCHSONAME = \
|
259
|
+
@WLSONAME@$(LIBPREFIX)@SEARCH@$(SOSUFFIX)
|
260
|
+
else
|
261
|
+
export SEARCHSONAME =
|
262
|
+
ifeq "@enable_resource@" "yes"
|
263
|
+
export SEARCHRC = $(LIBPREFIX)@SEARCH@$(RCSUFFIX)
|
264
|
+
export SEARCHRES = $(LIBPREFIX)@SEARCH@$(RESSUFFIX)
|
265
|
+
else
|
266
|
+
export SEARCHRES =
|
267
|
+
export SEARCHRC =
|
268
|
+
endif
|
269
|
+
endif
|
270
|
+
else
|
271
|
+
export SEARCHDLL =
|
272
|
+
export SEARCHSTATICLIB =
|
273
|
+
export SEARCHLIB =
|
274
|
+
export LINKSEARCH =
|
275
|
+
export SEARCHRES =
|
276
|
+
export SEARCHRC =
|
277
|
+
endif
|
278
|
+
SEARCHBUILDDIRS = search search/sequential search/parallel
|
279
|
+
|
280
|
+
#
|
281
|
+
# INTEGER COMPONENTS
|
282
|
+
#
|
283
|
+
|
284
|
+
INTSRC0 = \
|
285
|
+
int-set.cpp var-imp/int.cpp var-imp/bool.cpp var/int.cpp \
|
286
|
+
var/bool.cpp array.cpp bool.cpp bool/eqv.cpp \
|
287
|
+
extensional/dfa.cpp extensional/tuple-set.cpp extensional.cpp \
|
288
|
+
dom.cpp rel.cpp precede.cpp element.cpp count.cpp \
|
289
|
+
arithmetic.cpp exec.cpp \
|
290
|
+
exec/when.cpp element/pair.cpp \
|
291
|
+
linear/int-post.cpp linear-int.cpp \
|
292
|
+
linear/bool-post.cpp linear-bool.cpp \
|
293
|
+
branch.cpp distinct.cpp sorted.cpp gcc.cpp \
|
294
|
+
channel.cpp channel/link-single.cpp channel/link-multi.cpp \
|
295
|
+
unshare.cpp sequence.cpp \
|
296
|
+
bin-packing.cpp bin-packing/propagate.cpp \
|
297
|
+
unary.cpp cumulative.cpp cumulatives.cpp \
|
298
|
+
circuit.cpp no-overlap.cpp nvalues.cpp \
|
299
|
+
member.cpp
|
300
|
+
|
301
|
+
INTHDR0 = \
|
302
|
+
limits.hpp support-values.hh support-values.hpp \
|
303
|
+
exec.hh exec/when.hpp \
|
304
|
+
arithmetic/abs.hpp arithmetic/max.hpp arithmetic/mult.hpp \
|
305
|
+
arithmetic/sqr.hpp arithmetic/sqrt.hpp arithmetic/divmod.hpp \
|
306
|
+
bool/or.hpp bool/eq.hpp bool/lq.hpp bool/eqv.hpp bool/base.hpp \
|
307
|
+
bool/clause.hpp \
|
308
|
+
precede.hh precede/single.hpp \
|
309
|
+
branch/post-val-int.hpp branch/post-val-bool.hpp \
|
310
|
+
branch/select-val.hpp \
|
311
|
+
branch/select-values.hpp branch/select-view.hpp \
|
312
|
+
count.hh count/rel.hpp \
|
313
|
+
count/int-base.hpp count/int-eq.hpp \
|
314
|
+
count/int-gq.hpp count/int-lq.hpp \
|
315
|
+
count/view-base.hpp count/view-eq.hpp \
|
316
|
+
count/view-gq.hpp count/view-lq.hpp \
|
317
|
+
view-val-graph.hh view-val-graph/graph.hpp \
|
318
|
+
view-val-graph/bi-link.hpp view-val-graph/comb-ptr-flag.hpp \
|
319
|
+
view-val-graph/edge.hpp view-val-graph/node.hpp \
|
320
|
+
view-val-graph/iter-prune-val.hpp \
|
321
|
+
distinct/graph.hpp distinct/dom-ctrl.hpp \
|
322
|
+
distinct/bnd.hpp distinct/dom.hpp \
|
323
|
+
distinct/val.hpp distinct/ter-dom.hpp \
|
324
|
+
dom/range.hpp dom/spec.hpp \
|
325
|
+
element/int.hpp element/view.hpp element/pair.hpp \
|
326
|
+
gcc/bnd.hpp gcc/dom.hpp gcc/bnd-sup.hpp gcc/dom-sup.hpp \
|
327
|
+
gcc/val.hpp gcc/view.hpp gcc/post.hpp \
|
328
|
+
linear/post.hpp \
|
329
|
+
linear/int-noview.hpp linear/int-bin.hpp linear/int-ter.hpp \
|
330
|
+
linear/int-nary.hpp linear/int-dom.hpp \
|
331
|
+
linear/bool-int.hpp linear/bool-view.hpp linear/bool-scale.hpp \
|
332
|
+
extensional/dfa.hpp extensional/layered-graph.hpp \
|
333
|
+
extensional/tuple-set.hpp extensional/base.hpp \
|
334
|
+
extensional/basic.hpp extensional/incremental.hpp \
|
335
|
+
rel/eq.hpp rel/lex.hpp rel/lq-le.hpp rel/nq.hpp \
|
336
|
+
sorted/matching.hpp sorted/narrowing.hpp \
|
337
|
+
sorted/order.hpp sorted/propagate.hpp sorted/sortsup.hpp \
|
338
|
+
int-set-1.hpp int-set-2.hpp var-imp/delta.hpp var/print.hpp var/bool.hpp \
|
339
|
+
var-imp/int.hpp var-imp/bool.hpp var/int.hpp \
|
340
|
+
view/bool.hpp view/cached.hpp view/constint.hpp view/zero.hpp view/int.hpp \
|
341
|
+
view/minus.hpp view/print.hpp view/neg-bool.hpp view/bool-test.hpp \
|
342
|
+
view/offset.hpp view/rel-test.hpp view/scale.hpp view/iter.hpp \
|
343
|
+
arithmetic.hh array.hpp array-traits.hpp bool.hh branch.hh \
|
344
|
+
distinct.hh dom.hh \
|
345
|
+
element.hh exception.hpp gcc.hh linear.hh \
|
346
|
+
propagator.hpp extensional.hh rel.hh \
|
347
|
+
sorted.hh var-imp.hpp view.hpp \
|
348
|
+
channel.hh channel/dom.hpp channel/val.hpp \
|
349
|
+
channel/base.hpp channel/link-single.hpp channel/link-multi.hpp \
|
350
|
+
sequence.hh sequence/int.hpp sequence/view.hpp \
|
351
|
+
sequence/set-op.hpp sequence/violations.hpp \
|
352
|
+
bin-packing.hh bin-packing/propagate.hpp \
|
353
|
+
task.hh task/fwd-to-bwd.hpp task/array.hpp task/sort.hpp \
|
354
|
+
task/iter.hpp task/tree.hpp task/purge.hpp task/prop.hpp \
|
355
|
+
task/man-to-opt.hpp \
|
356
|
+
unary.hh unary/task.hpp unary/task-view.hpp \
|
357
|
+
unary/tree.hpp unary/overload.hpp unary/detectable.hpp \
|
358
|
+
unary/not-first-not-last.hpp \
|
359
|
+
unary/edge-finding.hpp unary/subsumption.hpp \
|
360
|
+
unary/man-prop.hpp unary/opt-prop.hpp \
|
361
|
+
cumulative.hh cumulative/man-prop.hpp cumulative/opt-prop.hpp \
|
362
|
+
cumulative/task-view.hpp cumulative/overload.hpp \
|
363
|
+
cumulative/basic.hpp cumulative/task.hpp cumulative/edge-finding.hpp \
|
364
|
+
cumulative/tree.hpp \
|
365
|
+
cumulatives.hh cumulatives/val.hpp \
|
366
|
+
circuit.hh circuit/base.hpp circuit/val.hpp circuit/dom.hpp \
|
367
|
+
no-overlap.hh no-overlap/dim.hpp no-overlap/box.hpp \
|
368
|
+
no-overlap/base.hpp no-overlap/man.hpp no-overlap/opt.hpp \
|
369
|
+
nvalues.hh nvalues/range-event.hpp \
|
370
|
+
nvalues/sym-bit-matrix.hpp nvalues/graph.hpp \
|
371
|
+
nvalues/bool-base.hpp nvalues/bool-eq.hpp \
|
372
|
+
nvalues/bool-lq.hpp nvalues/bool-gq.hpp \
|
373
|
+
nvalues/int-base.hpp nvalues/int-eq.hpp \
|
374
|
+
nvalues/int-lq.hpp nvalues/int-gq.hpp \
|
375
|
+
val-set.hh val-set.hpp \
|
376
|
+
member.hh member/prop.hpp member/re-prop.hpp
|
377
|
+
|
378
|
+
INTSRC = $(INTSRC0:%=gecode/int/%) \
|
379
|
+
gecode/int/branch/post-view-int.cpp \
|
380
|
+
gecode/int/branch/post-view-bool.cpp
|
381
|
+
INTHDR = gecode/int.hh $(INTHDR0:%=gecode/int/%)
|
382
|
+
INTOBJ = $(INTSRC:%.cpp=%$(OBJSUFFIX))
|
383
|
+
|
384
|
+
ifeq "@enable_int_vars@" "yes"
|
385
|
+
export INTDLL = $(LIBPREFIX)@INT@$(DLLSUFFIX)
|
386
|
+
export INTSTATICLIB = $(LIBPREFIX)@INT@$(STATICLIBSUFFIX)
|
387
|
+
export INTLIB = $(LIBPREFIX)@INT@$(LIBSUFFIX)
|
388
|
+
export LINKINT = $(LINKPREFIX)@INT@$(LINKSUFFIX)
|
389
|
+
ifeq "@need_soname@" "yes"
|
390
|
+
export INTSONAME = \
|
391
|
+
@WLSONAME@$(LIBPREFIX)@INT@$(SOSUFFIX)
|
392
|
+
else
|
393
|
+
export INTSONAME =
|
394
|
+
endif
|
395
|
+
ifeq "@enable_resource@" "yes"
|
396
|
+
export INTRC = $(LIBPREFIX)@INT@$(RCSUFFIX)
|
397
|
+
export INTRES = $(LIBPREFIX)@INT@$(RESSUFFIX)
|
398
|
+
else
|
399
|
+
export INTRES =
|
400
|
+
export INTRC =
|
401
|
+
endif
|
402
|
+
else
|
403
|
+
export INTDLL =
|
404
|
+
export INTSTATICLIB =
|
405
|
+
export INTLIB =
|
406
|
+
export LINKINT =
|
407
|
+
export INTRES =
|
408
|
+
export INTRC =
|
409
|
+
endif
|
410
|
+
INTBUILDDIRS = \
|
411
|
+
int int/var int/var-imp int/view int/extensional \
|
412
|
+
int/channel int/linear int/bool int/branch int/exec \
|
413
|
+
int/element int/sequence int/bin-packing \
|
414
|
+
int/unary int/cumulative int/cumulatives int/task
|
415
|
+
|
416
|
+
#
|
417
|
+
# SET COMPONENTS
|
418
|
+
#
|
419
|
+
|
420
|
+
SETSRC0 = \
|
421
|
+
branch.cpp cardinality.cpp convex.cpp convex/conv.cpp convex/hull.cpp \
|
422
|
+
dom.cpp rel.cpp \
|
423
|
+
rel-op.cpp rel-op-ternary.cpp rel-op-singleton.cpp \
|
424
|
+
rel-op/post-compl.cpp rel-op/post-nocompl.cpp \
|
425
|
+
rel-op/post-compl-cvv.cpp rel-op/post-nocompl-cvv.cpp \
|
426
|
+
rel-op/post-compl-vvc.cpp rel-op/post-nocompl-vvc.cpp \
|
427
|
+
rel-op/post-compl-cvc.cpp rel-op/post-nocompl-cvc.cpp \
|
428
|
+
rel-op-const-vvc.cpp rel-op-const-vcv.cpp rel-op-const-vcc.cpp \
|
429
|
+
rel-op-const-cvc.cpp rel-op-const-cvv.cpp \
|
430
|
+
int.cpp \
|
431
|
+
element.cpp sequence.cpp \
|
432
|
+
distinct.cpp distinct/atmostOne.cpp \
|
433
|
+
precede.cpp \
|
434
|
+
sequence/seq.cpp sequence/seq-u.cpp array.cpp var-imp/set.cpp \
|
435
|
+
var-imp/integerset.cpp var/set.cpp \
|
436
|
+
exec.cpp
|
437
|
+
SETHDR0 = \
|
438
|
+
limits.hpp \
|
439
|
+
view.hpp exception.hpp int.hh element.hh var-imp.hpp \
|
440
|
+
int/card.hpp \
|
441
|
+
int/match.hpp int/channel-int.hpp int/minmax.hpp int/weights.hpp \
|
442
|
+
int/channel-bool.hpp \
|
443
|
+
element/inter.hpp element/union.hpp \
|
444
|
+
element/unionConst.hpp \
|
445
|
+
element/disjoint.hpp array.hpp array-traits.hpp \
|
446
|
+
var-imp/set.hpp var-imp/integerset.hpp \
|
447
|
+
var-imp/delta.hpp var-imp/iter.hpp \
|
448
|
+
var/set.hpp var/print.hpp \
|
449
|
+
view/complement.hpp view/const.hpp view/set.hpp view/singleton.hpp \
|
450
|
+
view/cached.hpp view/print.hpp \
|
451
|
+
rel/subset.hpp rel/re-subset.hpp rel/eq.hpp rel/nq.hpp rel/re-eq.hpp \
|
452
|
+
rel/lq.hpp rel/re-lq.hpp \
|
453
|
+
rel/common.hpp rel/nosubset.hpp sequence.hh \
|
454
|
+
rel-op/union.hpp rel-op/partition.hpp rel-op/subofunion.hpp \
|
455
|
+
rel-op/inter.hpp rel-op/superofinter.hpp \
|
456
|
+
rel-op/post.hpp rel-op/common.hpp rel.hh \
|
457
|
+
distinct.hh distinct/atmostOne.hpp \
|
458
|
+
sequence/seq.hpp sequence/seq-u.hpp \
|
459
|
+
sequence/common.hpp convex/conv.hpp convex/hull.hpp convex.hh \
|
460
|
+
precede.hh precede/single.hpp \
|
461
|
+
rel-op.hh \
|
462
|
+
branch.hh branch/select-val.hpp branch/select-view.hpp \
|
463
|
+
branch/post-val.hpp
|
464
|
+
|
465
|
+
SETSRC = $(SETSRC0:%=gecode/set/%) \
|
466
|
+
gecode/set/branch/post-view.cpp
|
467
|
+
SETHDR = gecode/set.hh $(SETHDR0:%=gecode/set/%)
|
468
|
+
SETOBJ = $(SETSRC:%.cpp=%$(OBJSUFFIX))
|
469
|
+
|
470
|
+
ifeq "@enable_set_vars@" "yes"
|
471
|
+
export SETDLL = $(LIBPREFIX)@SET@$(DLLSUFFIX)
|
472
|
+
export SETSTATICLIB = $(LIBPREFIX)@SET@$(STATICLIBSUFFIX)
|
473
|
+
export SETLIB = $(LIBPREFIX)@SET@$(LIBSUFFIX)
|
474
|
+
export LINKSET = $(LINKPREFIX)@SET@$(LINKSUFFIX)
|
475
|
+
ifeq "@need_soname@" "yes"
|
476
|
+
export SETSONAME = \
|
477
|
+
@WLSONAME@$(LIBPREFIX)@SET@$(SOSUFFIX)
|
478
|
+
else
|
479
|
+
export SETSONAME =
|
480
|
+
endif
|
481
|
+
ifeq "@enable_resource@" "yes"
|
482
|
+
export SETRC = $(LIBPREFIX)@SET@$(RCSUFFIX)
|
483
|
+
export SETRES = $(LIBPREFIX)@SET@$(RESSUFFIX)
|
484
|
+
else
|
485
|
+
export SETRES =
|
486
|
+
export SETRC =
|
487
|
+
endif
|
488
|
+
else
|
489
|
+
export SETDLL =
|
490
|
+
export SETSTATICLIB =
|
491
|
+
export SETLIB =
|
492
|
+
export LINKSET =
|
493
|
+
export SETRES =
|
494
|
+
export SETRC =
|
495
|
+
endif
|
496
|
+
SETBUILDDIRS = \
|
497
|
+
set set/convex set/distinct set/int set/rel set/rel-op \
|
498
|
+
set/element set/sequence set/var set/var-imp set/view \
|
499
|
+
set/branch
|
500
|
+
|
501
|
+
|
502
|
+
#
|
503
|
+
# MINIMODEL COMPONENTS
|
504
|
+
#
|
505
|
+
|
506
|
+
MMSRC0 = \
|
507
|
+
lin-expr.cpp lin-rel.cpp bool-expr.cpp \
|
508
|
+
set-expr.cpp set-rel.cpp \
|
509
|
+
reg.cpp arithmetic.cpp
|
510
|
+
MMHDR0 = \
|
511
|
+
lin-expr.hpp lin-rel.hpp exception.hpp matrix.hpp \
|
512
|
+
bool-expr.hpp set-expr.hpp set-rel.hpp \
|
513
|
+
optimize.hpp reg.hpp
|
514
|
+
|
515
|
+
MMSRC = $(MMSRC0:%=gecode/minimodel/%)
|
516
|
+
MMHDR = gecode/minimodel.hh $(MMHDR0:%=gecode/minimodel/%)
|
517
|
+
MMOBJ = $(MMSRC:%.cpp=%$(OBJSUFFIX))
|
518
|
+
MMSBJ = $(MMSRC:%.cpp=%$(SBJSUFFIX))
|
519
|
+
|
520
|
+
ifeq "@enable_minimodel@" "yes"
|
521
|
+
export MMDLL = $(LIBPREFIX)@MM@$(DLLSUFFIX)
|
522
|
+
export MMSTATICLIB = $(LIBPREFIX)@MM@$(STATICLIBSUFFIX)
|
523
|
+
export MMLIB = $(LIBPREFIX)@MM@$(LIBSUFFIX)
|
524
|
+
export LINKMM = $(LINKPREFIX)@MM@$(LINKSUFFIX)
|
525
|
+
ifeq "@need_soname@" "yes"
|
526
|
+
export MMSONAME = \
|
527
|
+
@WLSONAME@$(LIBPREFIX)@MM@$(SOSUFFIX)
|
528
|
+
else
|
529
|
+
export MMSONAME =
|
530
|
+
endif
|
531
|
+
ifeq "@enable_resource@" "yes"
|
532
|
+
export MMRC = $(LIBPREFIX)@MM@$(RCSUFFIX)
|
533
|
+
export MMRES = $(LIBPREFIX)@MM@$(RESSUFFIX)
|
534
|
+
else
|
535
|
+
export MMRES =
|
536
|
+
export MMRC =
|
537
|
+
endif
|
538
|
+
else
|
539
|
+
export MMDLL =
|
540
|
+
export MMSTATICLIB =
|
541
|
+
export MMLIB =
|
542
|
+
export LINKMM =
|
543
|
+
export MMRES =
|
544
|
+
export MMRC =
|
545
|
+
endif
|
546
|
+
MMBUILDDIRS = minimodel
|
547
|
+
|
548
|
+
#
|
549
|
+
# DRIVER COMPONENTS
|
550
|
+
#
|
551
|
+
|
552
|
+
DRIVERSRC0 = options.cpp script.cpp
|
553
|
+
DRIVERHDR0 = options.hpp script.hpp
|
554
|
+
|
555
|
+
DRIVERSRC = $(DRIVERSRC0:%=gecode/driver/%)
|
556
|
+
DRIVERHDR = gecode/driver.hh $(DRIVERHDR0:%=gecode/driver/%)
|
557
|
+
DRIVEROBJ = $(DRIVERSRC:%.cpp=%$(OBJSUFFIX))
|
558
|
+
DRIVERSBJ = $(DRIVERSRC:%.cpp=%$(SBJSUFFIX))
|
559
|
+
|
560
|
+
ifeq "@enable_driver@" "yes"
|
561
|
+
export DRIVERDLL = $(LIBPREFIX)@DRIVER@$(DLLSUFFIX)
|
562
|
+
export DRIVERSTATICLIB = $(LIBPREFIX)@DRIVER@$(STATICLIBSUFFIX)
|
563
|
+
export DRIVERLIB = $(LIBPREFIX)@DRIVER@$(LIBSUFFIX)
|
564
|
+
export LINKDRIVER = $(LINKPREFIX)@DRIVER@$(LINKSUFFIX)
|
565
|
+
ifeq "@need_soname@" "yes"
|
566
|
+
export DRIVERSONAME = \
|
567
|
+
@WLSONAME@$(LIBPREFIX)@DRIVER@$(SOSUFFIX)
|
568
|
+
else
|
569
|
+
export DRIVERSONAME =
|
570
|
+
endif
|
571
|
+
ifeq "@enable_resource@" "yes"
|
572
|
+
export DRIVERRC = $(LIBPREFIX)@DRIVER@$(RCSUFFIX)
|
573
|
+
export DRIVERRES = $(LIBPREFIX)@DRIVER@$(RESSUFFIX)
|
574
|
+
else
|
575
|
+
export DRIVERRES =
|
576
|
+
export DRIVERRC =
|
577
|
+
endif
|
578
|
+
else
|
579
|
+
export DRIVERDLL =
|
580
|
+
export DRIVERSTATICLIB =
|
581
|
+
export DRIVERLIB =
|
582
|
+
export LINKDRIVER =
|
583
|
+
export DRIVERRES =
|
584
|
+
export DRIVERRC =
|
585
|
+
endif
|
586
|
+
DRIVERBUILDDIRS = driver
|
587
|
+
|
588
|
+
#
|
589
|
+
# ITERATOR HEADERS
|
590
|
+
#
|
591
|
+
ITERHDR0 = \
|
592
|
+
ranges-add ranges-append ranges-array ranges-cache \
|
593
|
+
ranges-compl ranges-diff ranges-empty \
|
594
|
+
ranges-inter ranges-minmax ranges-minus \
|
595
|
+
ranges-offset ranges-operations ranges-rangelist \
|
596
|
+
ranges-scale ranges-singleton ranges-singleton-append \
|
597
|
+
ranges-size ranges-union ranges-values \
|
598
|
+
ranges-negative ranges-positive ranges-map \
|
599
|
+
ranges-list \
|
600
|
+
values-array values-minus values-offset values-ranges \
|
601
|
+
values-positive values-negative \
|
602
|
+
values-singleton values-unique values-inter \
|
603
|
+
values-union values-map values-bitset values-list
|
604
|
+
ITERHDR = gecode/iter.hh \
|
605
|
+
$(ITERHDR0:%=gecode/iter/%.hpp)
|
606
|
+
|
607
|
+
|
608
|
+
#
|
609
|
+
# GIST
|
610
|
+
#
|
611
|
+
|
612
|
+
GISTHDR0 = \
|
613
|
+
drawingcursor.hh drawingcursor.hpp \
|
614
|
+
gist.hpp gecodelogo.hh node.hh node.hpp \
|
615
|
+
nodecursor.hh nodecursor.hpp nodevisitor.hh \
|
616
|
+
nodevisitor.hpp layoutcursor.hh layoutcursor.hpp \
|
617
|
+
spacenode.hh spacenode.hpp qtgist.hh \
|
618
|
+
textoutput.hh treecanvas.hh zoomToFitIcon.hpp \
|
619
|
+
visualnode.hh visualnode.hpp nodestats.hh \
|
620
|
+
nodewidget.hh mainwindow.hh preferences.hh \
|
621
|
+
stopbrancher.hh
|
622
|
+
|
623
|
+
GISTSRC0 = \
|
624
|
+
drawingcursor.cpp gist.cpp gecodelogo.cpp node.cpp \
|
625
|
+
spacenode.cpp \
|
626
|
+
textoutput.cpp treecanvas.cpp qtgist.cpp visualnode.cpp nodestats.cpp \
|
627
|
+
nodewidget.cpp mainwindow.cpp preferences.cpp stopbrancher.cpp
|
628
|
+
|
629
|
+
GISTMOCSRC0 = \
|
630
|
+
moc_treecanvas.cpp moc_qtgist.cpp moc_mainwindow.cpp moc_textoutput.cpp\
|
631
|
+
moc_preferences.cpp moc_nodestats.cpp
|
632
|
+
|
633
|
+
GISTSRC = $(GISTSRC0:%=gecode/gist/%)
|
634
|
+
GISTMOCSRC = $(GISTMOCSRC0:%=gecode/gist/%)
|
635
|
+
GISTHDR = $(GISTHDR0:%=gecode/gist/%) gecode/gist.hh
|
636
|
+
|
637
|
+
GISTOBJ = $(GISTSRC:%.cpp=%$(OBJSUFFIX)) $(GISTMOCSRC:%.cpp=%$(OBJSUFFIX))
|
638
|
+
GISTSBJ = $(GISTSRC:%.cpp=%$(SBJSUFFIX)) $(GISTMOCSRC:%.cpp=%$(SBJSUFFIX))
|
639
|
+
|
640
|
+
GISTBUILDDIRS = gist
|
641
|
+
|
642
|
+
ifeq "@enable_gist@" "yes"
|
643
|
+
export GISTDLL = $(LIBPREFIX)@GIST@$(DLLSUFFIX)
|
644
|
+
export GISTSTATICLIB = $(LIBPREFIX)@GIST@$(STATICLIBSUFFIX)
|
645
|
+
export GISTLIB = $(LIBPREFIX)@GIST@$(LIBSUFFIX)
|
646
|
+
export LINKGIST = $(LINKPREFIX)@GIST@$(LINKSUFFIX)
|
647
|
+
ifeq "@need_soname@" "yes"
|
648
|
+
export GISTSONAME = \
|
649
|
+
@WLSONAME@$(LIBPREFIX)@GIST@$(SOSUFFIX)
|
650
|
+
else
|
651
|
+
export GISTSONAME =
|
652
|
+
endif
|
653
|
+
ifeq "@enable_resource@" "yes"
|
654
|
+
export GISTRC = $(LIBPREFIX)@GIST@$(RCSUFFIX)
|
655
|
+
export GISTRES = $(LIBPREFIX)@GIST@$(RESSUFFIX)
|
656
|
+
else
|
657
|
+
export GISTRES =
|
658
|
+
export GISTRC =
|
659
|
+
endif
|
660
|
+
else
|
661
|
+
export GISTDLL =
|
662
|
+
export GISTSTATICLIB =
|
663
|
+
export GISTLIB =
|
664
|
+
export LINKGIST =
|
665
|
+
export GISTSONAME =
|
666
|
+
export GISTRES =
|
667
|
+
export GISTRC =
|
668
|
+
endif
|
669
|
+
|
670
|
+
#
|
671
|
+
# FLATZINC
|
672
|
+
#
|
673
|
+
|
674
|
+
FLATZINCSRC0 = flatzinc.cpp registry.cpp
|
675
|
+
FLATZINC_GENSRC0 = parser.tab.cpp lexer.yy.cpp
|
676
|
+
FLATZINCHDR0 = ast.hh conexpr.hh option.hh parser.hh \
|
677
|
+
plugin.hh registry.hh symboltable.hh varspec.hh
|
678
|
+
|
679
|
+
FLATZINCSRC = $(FLATZINCSRC0:%=gecode/flatzinc/%)
|
680
|
+
FLATZINC_GENSRC = $(FLATZINC_GENSRC0:%=gecode/flatzinc/%)
|
681
|
+
FLATZINCHDR = $(FLATZINCHDR0:%=gecode/flatzinc/%) gecode/flatzinc.hh
|
682
|
+
|
683
|
+
FLATZINCOBJ = \
|
684
|
+
$(FLATZINCSRC:%.cpp=%$(OBJSUFFIX)) \
|
685
|
+
$(FLATZINC_GENSRC:%.cpp=%$(OBJSUFFIX))
|
686
|
+
|
687
|
+
FLATZINCEXESRC0 = fz.cpp
|
688
|
+
FLATZINCEXESRC = $(FLATZINCEXESRC0:%=tools/flatzinc/%)
|
689
|
+
FLATZINCEXEOBJ = $(FLATZINCEXESRC:%.cpp=%$(OBJSUFFIX))
|
690
|
+
|
691
|
+
FLATZINCALLSRC = $(FLATZINCSRC) $(FLATZINCEXESRC)
|
692
|
+
|
693
|
+
FLATZINCBUILDDIRS = gecode/flatzinc tools/flatzinc
|
694
|
+
|
695
|
+
ifeq "@enable_flatzinc@" "yes"
|
696
|
+
export FLATZINCDLL = $(LIBPREFIX)@FLATZINC@$(DLLSUFFIX)
|
697
|
+
export FLATZINCSTATICLIB = $(LIBPREFIX)@FLATZINC@$(STATICLIBSUFFIX)
|
698
|
+
export FLATZINCLIB = $(LIBPREFIX)@FLATZINC@$(LIBSUFFIX)
|
699
|
+
export LINKFLATZINC = $(LINKPREFIX)@FLATZINC@$(LINKSUFFIX)
|
700
|
+
export FLATZINCMZNLIB = gecode/flatzinc/mznlib
|
701
|
+
FLATZINCEXE = tools/flatzinc/fz$(EXESUFFIX)
|
702
|
+
ifeq "@need_soname@" "yes"
|
703
|
+
export FLATZINCSONAME = @WLSONAME@$(LIBPREFIX)@FLATZINC@$(SOSUFFIX)
|
704
|
+
else
|
705
|
+
export FLATZINCSONAME =
|
706
|
+
endif
|
707
|
+
ifeq "@enable_resource@" "yes"
|
708
|
+
export FLATZINCRC = $(LIBPREFIX)@FLATZINC@$(RCSUFFIX)
|
709
|
+
export FLATZINCRES = $(LIBPREFIX)@FLATZINC@$(RESSUFFIX)
|
710
|
+
else
|
711
|
+
export FLATZINCRES =
|
712
|
+
export FLATZINCRC =
|
713
|
+
endif
|
714
|
+
else
|
715
|
+
export FLATZINCDLL =
|
716
|
+
export FLATZINCSTATICLIB =
|
717
|
+
export FLATZINCLIB =
|
718
|
+
export LINKFLATZINC =
|
719
|
+
export FLATZINCSONAME =
|
720
|
+
export FLATZINCMZNLIB =
|
721
|
+
export FLATZINCRES =
|
722
|
+
export FLATZINCRC =
|
723
|
+
FLATZINCEXE =
|
724
|
+
endif
|
725
|
+
|
726
|
+
#
|
727
|
+
# EXAMPLES
|
728
|
+
#
|
729
|
+
|
730
|
+
|
731
|
+
INTEXAMPLEHDR0 = \
|
732
|
+
scowl
|
733
|
+
INTEXAMPLESRC0 = \
|
734
|
+
alpha bacp bibd donald efpa eq20 golomb-ruler \
|
735
|
+
graph-color grocery ind-set magic-sequence magic-square \
|
736
|
+
money ortho-latin partition photo queens sudoku kakuro \
|
737
|
+
nonogram pentominoes crowded-chess black-hole \
|
738
|
+
minesweeper domino steel-mill sports-league \
|
739
|
+
all-interval langford-number warehouses radiotherapy \
|
740
|
+
word-square crossword open-shop car-sequencing sat \
|
741
|
+
bin-packing knights tsp perfect-square schurs-lemma \
|
742
|
+
dominating-queens
|
743
|
+
|
744
|
+
INTEXAMPLEHDR = $(INTEXAMPLEHDR0:%=examples/%.hpp)
|
745
|
+
INTEXAMPLESRC = $(INTEXAMPLESRC0:%=examples/%.cpp)
|
746
|
+
ifeq "@enable_int_vars@" "yes"
|
747
|
+
INTEXAMPLEEXE = $(INTEXAMPLESRC:%.cpp=%$(EXESUFFIX))
|
748
|
+
else
|
749
|
+
INTEXAMPLEEXE =
|
750
|
+
endif
|
751
|
+
|
752
|
+
SETEXAMPLESRC0 = \
|
753
|
+
crew golf hamming steiner queen-armies
|
754
|
+
SETEXAMPLESRC = $(SETEXAMPLESRC0:%=examples/%.cpp)
|
755
|
+
ifeq "@enable_set_vars@" "yes"
|
756
|
+
SETEXAMPLEEXE = $(SETEXAMPLESRC:%.cpp=%$(EXESUFFIX))
|
757
|
+
else
|
758
|
+
SETEXAMPLEEXE =
|
759
|
+
endif
|
760
|
+
|
761
|
+
EXAMPLEBUILDDIRS = examples
|
762
|
+
|
763
|
+
EXAMPLEEXE = \
|
764
|
+
$(INTEXAMPLEEXE) $(SETEXAMPLEEXE)
|
765
|
+
|
766
|
+
|
767
|
+
|
768
|
+
#
|
769
|
+
# COLLECTING ALL
|
770
|
+
#
|
771
|
+
|
772
|
+
ALLSRC = \
|
773
|
+
$(SUPPORTSRC) $(KERNELSRC) $(SEARCHSRC) \
|
774
|
+
$(INTSRC) $(SETSRC) $(MMSRC) $(DRIVERSRC) \
|
775
|
+
$(INTEXAMPLESRC) $(SETEXAMPLESRC) \
|
776
|
+
$(GISTSRC) $(FLATZINCALLSRC)
|
777
|
+
ALLHDR = \
|
778
|
+
$(SUPPORTHDR) $(KERNELHDR) $(SEARCHHDR) \
|
779
|
+
$(INTHDR) $(SETHDR) $(MMHDR) \
|
780
|
+
$(DRIVERHDR) $(ITERHDR) $(GISTHDR) $(FLATZINCHDR) \
|
781
|
+
$(INTEXAMPLEHDR)
|
782
|
+
ALLOBJ0 = $(ALLSRC:%.cpp=%$(OBJSUFFIX)) \
|
783
|
+
$(GISTMOCSRC:%.cpp=%$(OBJSUFFIX)) \
|
784
|
+
$(FLATZINC_GENSRC:%.cpp=%$(OBJSUFFIX))
|
785
|
+
ALLOBJ = $(ALLOBJ0:%.c=%$(OBJSUFFIX))
|
786
|
+
|
787
|
+
ALLSBJ0 = $(ALLSRC:%.cpp=%$(SBJSUFFIX))
|
788
|
+
ALLSBJ = $(ALLSBJ0:%.c=%$(SBJSUFFIX))
|
789
|
+
|
790
|
+
ifeq "@BUILDDLL@" "yes"
|
791
|
+
DLLTARGETS= \
|
792
|
+
$(SUPPORTDLL) $(KERNELDLL) $(SEARCHDLL) $(INTDLL) $(SETDLL) \
|
793
|
+
$(MMDLL) $(DRIVERDLL) $(GISTDLL) $(FLATZINCDLL)
|
794
|
+
export ALLLIB = \
|
795
|
+
$(SUPPORTLIB) $(KERNELLIB) $(SEARCHLIB) $(INTLIB) $(SETLIB) \
|
796
|
+
$(MMLIB) $(DRIVERLIB) $(GISTLIB) $(FLATZINCLIB)
|
797
|
+
else
|
798
|
+
DLLTARGETS=
|
799
|
+
ifeq "@BUILD_MACOS_FRAMEWORK@" "yes"
|
800
|
+
export ALLLIB = gecode.framework/Versions/@GECODE_SOVERSION@/gecode
|
801
|
+
else
|
802
|
+
export ALLLIB = \
|
803
|
+
$(SUPPORTSTATICLIB) $(KERNELSTATICLIB) $(SEARCHSTATICLIB) \
|
804
|
+
$(INTSTATICLIB) $(SETSTATICLIB) $(MMSTATICLIB) \
|
805
|
+
$(DRIVERSTATICLIB) $(GISTSTATICLIB) $(FLATZINCSTATICLIB)
|
806
|
+
endif
|
807
|
+
endif
|
808
|
+
|
809
|
+
ifeq "@BUILDSTATIC@" "yes"
|
810
|
+
STATICTARGETS = \
|
811
|
+
$(SUPPORTSTATICLIB) $(KERNELSTATICLIB) $(SEARCHSTATICLIB) \
|
812
|
+
$(INTSTATICLIB) $(SETSTATICLIB) $(MMSTATICLIB) \
|
813
|
+
$(DRIVERSTATICLIB) $(GISTSTATICLIB) $(FLATZINCSTATICLIB)
|
814
|
+
else
|
815
|
+
STATICTARGETS=
|
816
|
+
endif
|
817
|
+
|
818
|
+
export LIBTARGETS = $(DLLTARGETS) $(STATICTARGETS)
|
819
|
+
|
820
|
+
ifeq "@need_soname@" "yes"
|
821
|
+
export LIBLINKTARGETS = \
|
822
|
+
$(DLLTARGETS:%$(DLLSUFFIX)=%$(SOSUFFIX)) \
|
823
|
+
$(DLLTARGETS:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
824
|
+
else
|
825
|
+
export LIBLINKTARGETS =
|
826
|
+
endif
|
827
|
+
|
828
|
+
PDBS = $(ALLLIB:%$(LIBSUFFIX)=%$(PDBSUFFIX))
|
829
|
+
|
830
|
+
ifeq "@INSTALLLIBS@" "yes"
|
831
|
+
LIBLIBTARGETS = $(ALLLIB)
|
832
|
+
PDBTARGETS = $(PDBS)
|
833
|
+
else
|
834
|
+
LIBLIBTARGETS =
|
835
|
+
PDBTARGETS =
|
836
|
+
endif
|
837
|
+
|
838
|
+
EXETARGETS = $(FLATZINCEXE) tools/flatzinc/mzn-gecode@BATCHFILE@
|
839
|
+
|
840
|
+
#
|
841
|
+
# Testing
|
842
|
+
#
|
843
|
+
|
844
|
+
INTTESTSRC00 = \
|
845
|
+
channel arithmetic basic bool count dom distinct element extensional \
|
846
|
+
rel linear gcc sorted unshare exec sequence \
|
847
|
+
mm-arithmetic mm-bool mm-lin mm-count mm-rel \
|
848
|
+
bin-packing unary cumulative cumulatives circuit \
|
849
|
+
no-overlap precede nvalues member
|
850
|
+
INTTESTSRC0 = test/int.cpp $(INTTESTSRC00:%=test/int/%.cpp)
|
851
|
+
INTTESTOBJ = $(INTTESTSRC0:%.cpp=%$(OBJSUFFIX))
|
852
|
+
|
853
|
+
SETTESTSRC00 = \
|
854
|
+
construct dom rel rel-op rel-op-const convex sequence int element \
|
855
|
+
precede distinct exec mm-set
|
856
|
+
SETTESTSRC0 = test/set.cpp $(SETTESTSRC00:%=test/set/%.cpp)
|
857
|
+
|
858
|
+
ifeq "@enable_set_vars@" "yes"
|
859
|
+
SETTESTOBJ = $(SETTESTSRC0:%.cpp=%$(OBJSUFFIX))
|
860
|
+
else
|
861
|
+
SETTESTOBJ=
|
862
|
+
endif
|
863
|
+
|
864
|
+
BRANCHTESTSRC0 = \
|
865
|
+
test/branch.cpp test/branch/int.cpp test/branch/bool.cpp \
|
866
|
+
test/branch/set.cpp \
|
867
|
+
test/assign.cpp test/assign/int.cpp test/assign/bool.cpp \
|
868
|
+
test/assign/set.cpp
|
869
|
+
|
870
|
+
SEARCHTESTSRC0 = \
|
871
|
+
test/search.cpp
|
872
|
+
|
873
|
+
ARRAYTESTSRC0 = \
|
874
|
+
test/array.cpp
|
875
|
+
|
876
|
+
TESTSRC0 = test/test.cpp test/afc.cpp
|
877
|
+
|
878
|
+
TESTSRC = \
|
879
|
+
$(TESTSRC0) $(INTTESTSRC0) $(SETTESTSRC0) \
|
880
|
+
$(BRANCHTESTSRC0) $(SEARCHTESTSRC0) \
|
881
|
+
$(ARRAYTESTSRC0)
|
882
|
+
|
883
|
+
TESTHDR0 = \
|
884
|
+
test.hh test.hpp int.hh int.hpp set.hh set.hpp \
|
885
|
+
branch.hh assign.hh
|
886
|
+
TESTHDR = $(TESTHDR0:%=test/%)
|
887
|
+
TESTOBJ = $(INTTESTOBJ) $(SETTESTOBJ) \
|
888
|
+
$(BRANCHTESTSRC0:%.cpp=%$(OBJSUFFIX)) \
|
889
|
+
$(SEARCHTESTSRC0:%.cpp=%$(OBJSUFFIX)) \
|
890
|
+
$(ARRAYTESTSRC0:%.cpp=%$(OBJSUFFIX)) \
|
891
|
+
$(TESTSRC0:%.cpp=%$(OBJSUFFIX))
|
892
|
+
TESTSBJ = $(TESTOBJ:%$(OBJSUFFIX)=%$(SBJSUFFIX))
|
893
|
+
TESTEXE = test/test$(EXESUFFIX)
|
894
|
+
TESTBUILDDIRS = test test/int test/set test/branch test/assign
|
895
|
+
|
896
|
+
BUILDDIRS = \
|
897
|
+
tools \
|
898
|
+
$(SUPPORTBUILDDIRS:%=gecode/%) \
|
899
|
+
$(KERNELBUILDDIRS:%=gecode/%) $(SEARCHBUILDDIRS:%=gecode/%) \
|
900
|
+
$(INTBUILDDIRS:%=gecode/%) $(SETBUILDDIRS:%=gecode/%) \
|
901
|
+
$(MMBUILDDIRS:%=gecode/%) \
|
902
|
+
$(DRIVERBUILDDIRS:%=gecode/%) \
|
903
|
+
$(GISTBUILDDIRS:%=gecode/%) \
|
904
|
+
$(FLATZINCBUILDDIRS) \
|
905
|
+
$(EXAMPLEBUILDDIRS) $(TESTBUILDDIRS)
|
906
|
+
|
907
|
+
ifeq "@enable_examples@" "yes"
|
908
|
+
all: compilelib
|
909
|
+
@$(MAKE) compileexamples
|
910
|
+
@$(MAKE) makecompletedmessage
|
911
|
+
else
|
912
|
+
all: compilelib
|
913
|
+
@$(MAKE) makecompletedmessage
|
914
|
+
endif
|
915
|
+
compilelib: mkcompiledirs
|
916
|
+
@$(MAKE) $(VARIMP) $(LIBTARGETS)
|
917
|
+
@$(MAKE) compilesubdirs
|
918
|
+
@$(MAKE) framework
|
919
|
+
@$(MAKE) flatzinc
|
920
|
+
|
921
|
+
compileexamples: $(EXAMPLEEXE)
|
922
|
+
|
923
|
+
test: mkcompiledirs
|
924
|
+
@$(MAKE) $(VARIMP) $(TESTEXE)
|
925
|
+
|
926
|
+
# A basic integrity test
|
927
|
+
check: test
|
928
|
+
$(TESTEXE) -iter 2 -test Branch::Int::Dense::3 \
|
929
|
+
-test Int::Linear::Int::Int::Eq::Bnd::12::4 \
|
930
|
+
-test Int::Distinct::Random \
|
931
|
+
-test Int::Arithmetic::Mult::XYZ::Bnd::C \
|
932
|
+
-test Int::Arithmetic::Mult::XYZ::Dom::A \
|
933
|
+
-test Search::BAB::Sol::BalGr::Binary::Binary::Binary::1::1
|
934
|
+
|
935
|
+
ifeq "@top_srcdir@" "."
|
936
|
+
mkcompiledirs:
|
937
|
+
else
|
938
|
+
mkcompiledirs:
|
939
|
+
for_builddirs="$(BUILDDIRS)"; for f in $$for_builddirs; do \
|
940
|
+
(test -z "$(top_builddir)"/$$f || mkdir -p "$(top_builddir)"/$$f); \
|
941
|
+
done
|
942
|
+
endif
|
943
|
+
|
944
|
+
makecompletedmessage:
|
945
|
+
@echo
|
946
|
+
@echo Compilation of Gecode finished successfully. To use Gecode, either add
|
947
|
+
@echo $(PWD)
|
948
|
+
@echo to your search path for libraries, or install Gecode using
|
949
|
+
@echo make install
|
950
|
+
@echo
|
951
|
+
|
952
|
+
# ugly hack by Gr�goire Dooms to call a target on a contribs after evaluating all the variables in this Makefile.
|
953
|
+
# used as make contribs:cpgraph:doc or make contribs:cpgraph:Makefile.in
|
954
|
+
.PHONY: contribs\:%
|
955
|
+
contribs\:%:
|
956
|
+
$(MAKE) -C $(shell echo $@ | sed 's/\(contribs:[^:]*\):.*/\1/;s+:+/+') $(shell echo $@ | sed 's/contribs:[^:]*:\(.*\)/\1/;s+:+/+')
|
957
|
+
|
958
|
+
# less ugly hack by Guido Tack to call a target
|
959
|
+
# Just give ICD (in-contrib-dir) and ICT (in-contrib-target) as arguments
|
960
|
+
# to make incontrib
|
961
|
+
ICT=
|
962
|
+
ICD=
|
963
|
+
.PHONY: incontrib
|
964
|
+
incontrib:
|
965
|
+
$(MAKE) -C contribs/$(ICD) $(ICT)
|
966
|
+
|
967
|
+
compilesubdirs:
|
968
|
+
@for_subdirs="$(subdirs)"; for i in $$for_subdirs; do \
|
969
|
+
if test -f $$i/Makefile; then \
|
970
|
+
echo "Making in directory $$i"; \
|
971
|
+
$(MAKE) -C $$i; \
|
972
|
+
fi; \
|
973
|
+
done
|
974
|
+
|
975
|
+
#
|
976
|
+
# Generated variable implementations
|
977
|
+
#
|
978
|
+
|
979
|
+
VIS = @ALLVIS@
|
980
|
+
VISDEP = $(VIS) \
|
981
|
+
$(top_srcdir)/misc/genvarimp.perl Makefile
|
982
|
+
|
983
|
+
gecode/kernel/var-type.hpp: $(VISDEP)
|
984
|
+
perl $(top_srcdir)/misc/genvarimp.perl -typehpp $(VIS) > $@
|
985
|
+
gecode/kernel/var-imp.hpp: $(VISDEP)
|
986
|
+
perl $(top_srcdir)/misc/genvarimp.perl -header $(VIS) > $@
|
987
|
+
|
988
|
+
#
|
989
|
+
# Generated branchers
|
990
|
+
#
|
991
|
+
GENBRANCHSRC = \
|
992
|
+
$(top_srcdir)/gecode/int/branch/post-view-int.cpp \
|
993
|
+
$(top_srcdir)/gecode/int/branch/post-view-bool.cpp \
|
994
|
+
$(top_srcdir)/gecode/set/branch/post-view.cpp
|
995
|
+
|
996
|
+
$(top_srcdir)/gecode/int/branch/post-view-int.cpp: \
|
997
|
+
$(top_srcdir)/gecode/int/branch/post-view-int.bs \
|
998
|
+
$(top_srcdir)/misc/genbranch.perl
|
999
|
+
perl $(top_srcdir)/misc/genbranch.perl $< > $@
|
1000
|
+
$(top_srcdir)/gecode/int/branch/post-view-bool.cpp: \
|
1001
|
+
$(top_srcdir)/gecode/int/branch/post-view-bool.bs \
|
1002
|
+
$(top_srcdir)/misc/genbranch.perl
|
1003
|
+
perl $(top_srcdir)/misc/genbranch.perl $< > $@
|
1004
|
+
$(top_srcdir)/gecode/set/branch/post-view.cpp: \
|
1005
|
+
$(top_srcdir)/gecode/set/branch/post-view.bs \
|
1006
|
+
$(top_srcdir)/misc/genbranch.perl
|
1007
|
+
perl $(top_srcdir)/misc/genbranch.perl $< > $@
|
1008
|
+
|
1009
|
+
|
1010
|
+
#
|
1011
|
+
# Object targets
|
1012
|
+
#
|
1013
|
+
|
1014
|
+
gecode/support/%$(OBJSUFFIX): $(top_srcdir)/gecode/support/%.cpp
|
1015
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_SUPPORT_FLAG@ \
|
1016
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1017
|
+
gecode/support/%$(SBJSUFFIX): $(top_srcdir)/gecode/support/%.cpp
|
1018
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_SUPPORT_FLAG@ \
|
1019
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1020
|
+
gecode/support/%$(OBJSUFFIX): $(top_srcdir)/gecode/support/%.c
|
1021
|
+
$(CC) $(CFLAGS) @GECODE_BUILD_SUPPORT_FLAG@ \
|
1022
|
+
@COMPILEOBJ@$@ @CCIN@$<
|
1023
|
+
gecode/support/%$(SBJSUFFIX): $(top_srcdir)/gecode/support/%.c
|
1024
|
+
$(CC) $(CFLAGS) @GECODE_BUILD_SUPPORT_FLAG@ \
|
1025
|
+
@COMPILESBJ@$@ @CCIN@$<
|
1026
|
+
|
1027
|
+
gecode/kernel/%$(OBJSUFFIX): $(top_srcdir)/gecode/kernel/%.cpp
|
1028
|
+
$(CXX) $(CXXFLAGS) $(BOOST_CPPFLAGS) @GECODE_BUILD_KERNEL_FLAG@ \
|
1029
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1030
|
+
gecode/kernel/%$(SBJSUFFIX): $(top_srcdir)/gecode/kernel/%.cpp
|
1031
|
+
$(CXX) $(CXXFLAGS) $(BOOST_CPPFLAGS) @GECODE_BUILD_KERNEL_FLAG@ \
|
1032
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1033
|
+
|
1034
|
+
gecode/search/%$(OBJSUFFIX): $(top_srcdir)/gecode/search/%.cpp
|
1035
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_SEARCH_FLAG@ \
|
1036
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1037
|
+
gecode/search/%$(SBJSUFFIX): $(top_srcdir)/gecode/search/%.cpp
|
1038
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_SEARCH_FLAG@ \
|
1039
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1040
|
+
|
1041
|
+
gecode/int/%$(OBJSUFFIX): $(top_srcdir)/gecode/int/%.cpp
|
1042
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_INT_FLAG@ \
|
1043
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1044
|
+
gecode/int/%$(SBJSUFFIX): $(top_srcdir)/gecode/int/%.cpp
|
1045
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_INT_FLAG@ \
|
1046
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1047
|
+
|
1048
|
+
gecode/set/%$(OBJSUFFIX): $(top_srcdir)/gecode/set/%.cpp
|
1049
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_SET_FLAG@ \
|
1050
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1051
|
+
gecode/set/%$(SBJSUFFIX): $(top_srcdir)/gecode/set/%.cpp
|
1052
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_SET_FLAG@ \
|
1053
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1054
|
+
|
1055
|
+
gecode/minimodel/%$(OBJSUFFIX): $(top_srcdir)/gecode/minimodel/%.cpp
|
1056
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_MINIMODEL_FLAG@ \
|
1057
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1058
|
+
gecode/minimodel/%$(SBJSUFFIX): $(top_srcdir)/gecode/minimodel/%.cpp
|
1059
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_MINIMODEL_FLAG@ \
|
1060
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1061
|
+
|
1062
|
+
gecode/driver/%$(OBJSUFFIX): $(top_srcdir)/gecode/driver/%.cpp
|
1063
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_DRIVER_FLAG@ \
|
1064
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1065
|
+
gecode/driver/%$(SBJSUFFIX): $(top_srcdir)/gecode/driver/%.cpp
|
1066
|
+
$(CXX) $(CXXFLAGS) @GECODE_BUILD_DRIVER_FLAG@ \
|
1067
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1068
|
+
|
1069
|
+
|
1070
|
+
examples/%$(OBJSUFFIX): $(top_srcdir)/examples/%.cpp
|
1071
|
+
$(CXX) $(CXXFLAGS) $(EXAMPLES_EXTRA_CXXFLAGS) $(BOOST_CPPFLAGS) $(QT_CPPFLAGS) \
|
1072
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1073
|
+
examples/%$(SBJSUFFIX): $(top_srcdir)/examples/%.cpp
|
1074
|
+
$(CXX) $(CXXFLAGS) $(EXAMPLES_EXTRA_CXXFLAGS) $(BOOST_CPPFLAGS) $(QT_CPPFLAGS) \
|
1075
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1076
|
+
|
1077
|
+
|
1078
|
+
test/%$(OBJSUFFIX): $(top_srcdir)/test/%.cpp
|
1079
|
+
$(CXX) $(CXXFLAGS) $(EXAMPLES_EXTRA_CXXFLAGS) \
|
1080
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1081
|
+
test/%$(SBJSUFFIX): $(top_srcdir)/test/%.cpp
|
1082
|
+
$(CXX) $(CXXFLAGS) $(EXAMPLES_EXTRA_CXXFLAGS) \
|
1083
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1084
|
+
|
1085
|
+
tools/%$(OBJSUFFIX): $(top_srcdir)/tools/%.cpp
|
1086
|
+
$(CXX) $(CXXFLAGS) $(EXAMPLES_EXTRA_CXXFLAGS) \
|
1087
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1088
|
+
tools/%$(SBJSUFFIX): $(top_srcdir)/tools/%.cpp
|
1089
|
+
$(CXX) $(CXXFLAGS) $(EXAMPLES_EXTRA_CXXFLAGS) \
|
1090
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1091
|
+
|
1092
|
+
$(GISTSRC:%.cpp=%$(OBJSUFFIX)): gecode/gist/%$(OBJSUFFIX): $(top_srcdir)/gecode/gist/%.cpp
|
1093
|
+
$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
|
1094
|
+
@GECODE_BUILD_GIST_FLAG@ \
|
1095
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1096
|
+
|
1097
|
+
$(GISTSRC:%.cpp=%$(SBJSUFFIX)): gecode/gist/%$(SBJSUFFIX): $(top_srcdir)/gecode/gist/%.cpp
|
1098
|
+
$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
|
1099
|
+
@GECODE_BUILD_GIST_FLAG@ \
|
1100
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1101
|
+
|
1102
|
+
$(GISTMOCSRC:%.cpp=%$(OBJSUFFIX)): gecode/gist/moc_%$(OBJSUFFIX): gecode/gist/moc_%.cpp
|
1103
|
+
$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
|
1104
|
+
@GECODE_BUILD_GIST_FLAG@ \
|
1105
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1106
|
+
|
1107
|
+
$(GISTMOCSRC:%.cpp=%$(SBJSUFFIX)): gecode/gist/moc_%$(SBJSUFFIX): gecode/gist/moc_%.cpp
|
1108
|
+
$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
|
1109
|
+
@GECODE_BUILD_GIST_FLAG@ \
|
1110
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1111
|
+
|
1112
|
+
.PRECIOUS: gecode/gist/moc_%.cpp
|
1113
|
+
gecode/gist/moc_%.cpp: $(top_srcdir)/gecode/gist/%.hh
|
1114
|
+
$(MOC) $(CPPFLAGS) -pgecode/gist $< -o $@
|
1115
|
+
|
1116
|
+
.PRECIOUS: gecode/flatzinc/%.cpp gecode/flatzinc/%.hh
|
1117
|
+
ifeq "@HAVE_FLEXBISON@" "yes"
|
1118
|
+
gecode/flatzinc/lexer.yy.cpp: \
|
1119
|
+
$(top_srcdir)/gecode/flatzinc/lexer.lxx \
|
1120
|
+
$(top_srcdir)/gecode/flatzinc/parser.tab.hh
|
1121
|
+
flex -ogecode/flatzinc/lexer.yy.cpp \
|
1122
|
+
$(top_srcdir)/gecode/flatzinc/lexer.lxx
|
1123
|
+
|
1124
|
+
gecode/flatzinc/parser.tab.hh gecode/flatzinc/parser.tab.cpp: \
|
1125
|
+
$(top_srcdir)/gecode/flatzinc/parser.yxx
|
1126
|
+
bison -t -o gecode/flatzinc/parser.tab.cpp -d $<
|
1127
|
+
mv gecode/flatzinc/parser.tab.hpp gecode/flatzinc/parser.tab.hh
|
1128
|
+
else
|
1129
|
+
ifneq "$(top_srcdir)" "."
|
1130
|
+
gecode/flatzinc/lexer.yy.cpp: $(top_srcdir)/gecode/flatzinc/lexer.yy.cpp
|
1131
|
+
cp $(@:%=$(top_srcdir)/%) $@
|
1132
|
+
gecode/flatzinc/parser.tab.hh: $(top_srcdir)/gecode/flatzinc/parser.tab.hh
|
1133
|
+
cp $(@:%=$(top_srcdir)/%) $@
|
1134
|
+
gecode/flatzinc/parser.tab.cpp: $(top_srcdir)/gecode/flatzinc/parser.tab.cpp
|
1135
|
+
cp $(@:%=$(top_srcdir)/%) $@
|
1136
|
+
endif
|
1137
|
+
endif
|
1138
|
+
|
1139
|
+
$(FLATZINCSRC:%.cpp=%$(OBJSUFFIX)): gecode/flatzinc/%$(OBJSUFFIX): $(top_srcdir)/gecode/flatzinc/%.cpp
|
1140
|
+
$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
|
1141
|
+
@GECODE_BUILD_FLATZINC_FLAG@ \
|
1142
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1143
|
+
|
1144
|
+
$(FLATZINCSRC:%.cpp=%$(SBJSUFFIX)): gecode/flatzinc/%$(SBJSUFFIX): $(top_srcdir)/gecode/flatzinc/%.cpp
|
1145
|
+
$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
|
1146
|
+
@GECODE_BUILD_FLATZINC_FLAG@ \
|
1147
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1148
|
+
|
1149
|
+
$(FLATZINC_GENSRC:%.cpp=%$(OBJSUFFIX)): gecode/flatzinc/%$(OBJSUFFIX): gecode/flatzinc/%.cpp
|
1150
|
+
$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
|
1151
|
+
@GECODE_BUILD_FLATZINC_FLAG@ \
|
1152
|
+
@COMPILEOBJ@$@ @CXXIN@$<
|
1153
|
+
|
1154
|
+
$(FLATZINC_GENSRC:%.cpp=%$(SBJSUFFIX)): gecode/flatzinc/%$(SBJSUFFIX): gecode/flatzinc/%.cpp
|
1155
|
+
$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
|
1156
|
+
@GECODE_BUILD_FLATZINC_FLAG@ \
|
1157
|
+
@COMPILESBJ@$@ @CXXIN@$<
|
1158
|
+
|
1159
|
+
#
|
1160
|
+
# DLL Targets
|
1161
|
+
#
|
1162
|
+
|
1163
|
+
ifeq "$(DLLSUFFIX)" "$(LIBSUFFIX)"
|
1164
|
+
|
1165
|
+
ifeq "@BUILD_MACOS_FRAMEWORK@" "yes"
|
1166
|
+
export LINKALL = -F. -framework gecode
|
1167
|
+
else
|
1168
|
+
export LINKALL = \
|
1169
|
+
$(LINKFLATZINC) $(LINKDRIVER) $(LINKGIST) \
|
1170
|
+
$(LINKSEARCH) $(LINKMM) $(LINKSET) $(LINKINT) \
|
1171
|
+
$(LINKKERNEL) $(LINKSUPPORT)
|
1172
|
+
endif
|
1173
|
+
|
1174
|
+
$(SUPPORTDLL): $(SUPPORTOBJ)
|
1175
|
+
$(CXX) $(DLLFLAGS) $(SUPPORTOBJ) $(SUPPORTSONAME) \
|
1176
|
+
@LINKOUTPUT@$(SUPPORTDLL)
|
1177
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
1178
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1179
|
+
$(KERNELDLL): $(KERNELOBJ) $(SUPPORTDLL)
|
1180
|
+
$(CXX) $(DLLFLAGS) $(KERNELOBJ) $(KERNELSONAME) \
|
1181
|
+
@DLLPATH@ $(LINKSUPPORT) \
|
1182
|
+
@LINKOUTPUT@$(KERNELDLL)
|
1183
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
1184
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1185
|
+
$(SEARCHDLL): $(SEARCHOBJ) $(SUPPORTDLL) $(KERNELDLL)
|
1186
|
+
$(CXX) $(DLLFLAGS) $(SEARCHOBJ) $(SEARCHSONAME) \
|
1187
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) \
|
1188
|
+
@LINKOUTPUT@$(SEARCHDLL)
|
1189
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
1190
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1191
|
+
$(INTDLL): $(INTOBJ) $(SUPPORTDLL) $(KERNELDLL)
|
1192
|
+
$(CXX) $(DLLFLAGS) $(INTOBJ) $(INTSONAME) \
|
1193
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) \
|
1194
|
+
@LINKOUTPUT@$(INTDLL)
|
1195
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
1196
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1197
|
+
$(SETDLL): $(SETOBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL)
|
1198
|
+
$(CXX) $(DLLFLAGS) $(SETOBJ) $(SETSONAME) \
|
1199
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) \
|
1200
|
+
@LINKOUTPUT@$(SETDLL)
|
1201
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
1202
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1203
|
+
$(MMDLL): $(MMOBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL) $(SETDLL)
|
1204
|
+
$(CXX) $(DLLFLAGS) $(MMOBJ) $(MMSONAME) \
|
1205
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) $(LINKSET) \
|
1206
|
+
@LINKOUTPUT@$(MMDLL)
|
1207
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
1208
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1209
|
+
$(DRIVERDLL): $(DRIVEROBJ) $(SUPPORTDLL) $(KERNELDLL) $(SEARCHDLL) $(INTDLL) $(MMDLL) $(GISTDLL)
|
1210
|
+
$(CXX) $(DLLFLAGS) $(DRIVEROBJ) $(DRIVERSONAME) \
|
1211
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKSEARCH) $(LINKINT) $(LINKMM) $(LINKGIST) \
|
1212
|
+
@LINKOUTPUT@$(DRIVERDLL)
|
1213
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
1214
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1215
|
+
$(GISTDLL): $(GISTOBJ) $(SUPPORTDLL) $(KERNELDLL) $(SEARCHDLL) $(INTDLL)
|
1216
|
+
$(CXX) $(DLLFLAGS) $(GISTOBJ) $(GISTSONAME) \
|
1217
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKSEARCH) $(LINKINT) $(LINKQT) \
|
1218
|
+
@LINKOUTPUT@$(GISTDLL)
|
1219
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
1220
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1221
|
+
$(FLATZINCDLL): $(FLATZINCOBJ) $(SUPPORTDLL) $(KERNELDLL) $(SEARCHDLL) \
|
1222
|
+
$(INTDLL) $(SETDLL) $(GISTDLL) $(MMDLL) $(DRIVERDLL)
|
1223
|
+
$(CXX) $(DLLFLAGS) $(FLATZINCOBJ) $(FLATZINCSONAME) \
|
1224
|
+
@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKSEARCH) $(LINKINT) \
|
1225
|
+
$(LINKSET) $(LINKMM) $(LINKGIST) $(LINKDRIVER) $(LINKQT) \
|
1226
|
+
@LINKOUTPUT@$(FLATZINCDLL)
|
1227
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
|
1228
|
+
$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1229
|
+
else
|
1230
|
+
export LINKALL =
|
1231
|
+
|
1232
|
+
ifeq "@enable_resource@" "yes"
|
1233
|
+
$(SUPPORTRC):
|
1234
|
+
$(RCGEN) $(SUPPORTDLL) $(SUPPORTHDR) $(SUPPORTSRC) > $@
|
1235
|
+
endif
|
1236
|
+
$(SUPPORTDLL) $(SUPPORTLIB): $(SUPPORTOBJ) $(SUPPORTRES)
|
1237
|
+
$(CXX) $(DLLFLAGS) $(SUPPORTOBJ) $(SUPPORTRES) \
|
1238
|
+
@LINKOUTPUT@$(SUPPORTDLL) $(GLDFLAGS)
|
1239
|
+
$(FIXMANIFEST) $(SUPPORTDLL).manifest
|
1240
|
+
$(MANIFEST) -manifest $(SUPPORTDLL).manifest \
|
1241
|
+
-outputresource:$(SUPPORTDLL)\;2
|
1242
|
+
ifeq "@enable_resource@" "yes"
|
1243
|
+
$(KERNELRC):
|
1244
|
+
$(RCGEN) $(KERNELDLL) $(KERNELHDR) $(VARIMPHDR) $(KERNELSRC) > $@
|
1245
|
+
endif
|
1246
|
+
$(KERNELDLL) $(KERNELLIB): $(KERNELOBJ) $(KERNELRES) $(SUPPORTDLL)
|
1247
|
+
$(CXX) $(DLLFLAGS) $(KERNELOBJ) $(KERNELRES) \
|
1248
|
+
@DLLPATH@ @LINKOUTPUT@$(KERNELDLL) $(GLDFLAGS)
|
1249
|
+
$(FIXMANIFEST) $(KERNELDLL).manifest
|
1250
|
+
$(MANIFEST) -manifest $(KERNELDLL).manifest \
|
1251
|
+
-outputresource:$(KERNELDLL)\;2
|
1252
|
+
ifeq "@enable_resource@" "yes"
|
1253
|
+
$(SEARCHRC):
|
1254
|
+
$(RCGEN) $(SEARCHDLL) $(SEARCHHDR) $(SEARCHSRC) > $@
|
1255
|
+
endif
|
1256
|
+
$(SEARCHDLL) $(SEARCHLIB): $(SEARCHOBJ) $(SEARCHRES) $(SUPPORTDLL) $(KERNELDLL)
|
1257
|
+
$(CXX) $(DLLFLAGS) $(SEARCHOBJ) $(SEARCHRES) \
|
1258
|
+
@DLLPATH@ @LINKOUTPUT@$(SEARCHDLL) $(GLDFLAGS)
|
1259
|
+
$(FIXMANIFEST) $(SEARCHDLL).manifest
|
1260
|
+
$(MANIFEST) -manifest $(SEARCHDLL).manifest \
|
1261
|
+
-outputresource:$(SEARCHDLL)\;2
|
1262
|
+
ifeq "@enable_resource@" "yes"
|
1263
|
+
$(INTRC):
|
1264
|
+
$(RCGEN) $(INTDLL) $(INTHDR) $(INTSRC) > $@
|
1265
|
+
endif
|
1266
|
+
$(INTDLL) $(INTLIB): $(INTOBJ) $(INTRES) $(SUPPORTDLL) $(KERNELDLL)
|
1267
|
+
$(CXX) $(DLLFLAGS) $(INTOBJ) $(INTRES) \
|
1268
|
+
@DLLPATH@ @LINKOUTPUT@$(INTDLL) $(GLDFLAGS)
|
1269
|
+
$(FIXMANIFEST) $(INTDLL).manifest
|
1270
|
+
$(MANIFEST) -manifest $(INTDLL).manifest \
|
1271
|
+
-outputresource:$(INTDLL)\;2
|
1272
|
+
ifeq "@enable_resource@" "yes"
|
1273
|
+
$(SETRC):
|
1274
|
+
$(RCGEN) $(SETDLL) $(SETHDR) $(SETSRC) > $@
|
1275
|
+
endif
|
1276
|
+
$(SETDLL) $(SETLIB): $(SETOBJ) $(SETRES) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL)
|
1277
|
+
$(CXX) $(DLLFLAGS) $(SETOBJ) $(SETRES) \
|
1278
|
+
@DLLPATH@ @LINKOUTPUT@$(SETDLL) $(GLDFLAGS)
|
1279
|
+
$(FIXMANIFEST) $(SETDLL).manifest
|
1280
|
+
$(MANIFEST) -manifest $(SETDLL).manifest \
|
1281
|
+
-outputresource:$(SETDLL)\;2
|
1282
|
+
ifeq "@enable_resource@" "yes"
|
1283
|
+
$(MMRC):
|
1284
|
+
$(RCGEN) $(MMDLL) $(MMHDR) $(MMSRC) > $@
|
1285
|
+
endif
|
1286
|
+
$(MMDLL) $(MMLIB): $(MMOBJ) $(MMRES) \
|
1287
|
+
$(SUPPORTDLL) $(KERNELDLL) $(INTDLL) $(SETDLL)
|
1288
|
+
$(CXX) $(DLLFLAGS) $(MMOBJ) $(MMRES) \
|
1289
|
+
@DLLPATH@ @LINKOUTPUT@$(MMDLL) $(GLDFLAGS)
|
1290
|
+
$(FIXMANIFEST) $(MMDLL).manifest
|
1291
|
+
$(MANIFEST) -manifest $(MMDLL).manifest \
|
1292
|
+
-outputresource:$(MMDLL)\;2
|
1293
|
+
ifeq "@enable_resource@" "yes"
|
1294
|
+
$(DRIVERRC):
|
1295
|
+
$(RCGEN) $(DRIVERDLL) $(DRIVERHDR) $(DRIVERSRC) > $@
|
1296
|
+
endif
|
1297
|
+
$(DRIVERDLL) $(DRIVERLIB): $(DRIVEROBJ) $(DRIVERRES) \
|
1298
|
+
$(SUPPORTDLL) $(KERNELDLL) \
|
1299
|
+
$(SEARCHDLL) $(INTDLL) $(MMDLL) $(GISTDLL)
|
1300
|
+
$(CXX) $(DLLFLAGS) $(DRIVEROBJ) $(DRIVERRES) \
|
1301
|
+
@DLLPATH@ @LINKOUTPUT@$(DRIVERDLL) $(GLDFLAGS)
|
1302
|
+
$(FIXMANIFEST) $(DRIVERDLL).manifest
|
1303
|
+
$(MANIFEST) -manifest $(DRIVERDLL).manifest \
|
1304
|
+
-outputresource:$(DRIVERDLL)\;2
|
1305
|
+
ifeq "@enable_resource@" "yes"
|
1306
|
+
$(GISTRC):
|
1307
|
+
$(RCGEN) $(GISTDLL) $(GISTHDR) $(GISTSRC) > $@
|
1308
|
+
endif
|
1309
|
+
$(GISTDLL) $(GISTLIB): $(GISTOBJ) $(GISTRES) \
|
1310
|
+
$(SUPPORTDLL) $(KERNELDLL) $(SEARCHDLL) $(INTDLL)
|
1311
|
+
$(CXX) $(DLLFLAGS) $(GISTOBJ) $(GISTRES) \
|
1312
|
+
@DLLPATH@ $(LINKQT) @LINKOUTPUT@$(GISTDLL) $(GLDFLAGS)
|
1313
|
+
$(FIXMANIFEST) $(GISTDLL).manifest
|
1314
|
+
$(MANIFEST) -manifest $(GISTDLL).manifest \
|
1315
|
+
-outputresource:$(GISTDLL)\;2
|
1316
|
+
ifeq "@enable_resource@" "yes"
|
1317
|
+
$(FLATZINCRC):
|
1318
|
+
$(RCGEN) $(FLATZINCDLL) $(FLATZINCHDR) $(FLATZINCSRC) > $@
|
1319
|
+
endif
|
1320
|
+
$(FLATZINCDLL) $(FLATZINCLIB): $(FLATZINCOBJ) $(FLATZINCRES) \
|
1321
|
+
$(SUPPORTDLL) $(KERNELDLL) $(SEARCHDLL) $(INTDLL) \
|
1322
|
+
$(SETDLL) $(GISTDLL) $(MMDLL) $(DRIVERDLL)
|
1323
|
+
$(CXX) $(DLLFLAGS) $(FLATZINCOBJ) $(FLATZINCRES) \
|
1324
|
+
@DLLPATH@ $(LINKQT) @LINKOUTPUT@$(FLATZINCDLL) $(GLDFLAGS)
|
1325
|
+
$(FIXMANIFEST) $(FLATZINCDLL).manifest
|
1326
|
+
$(MANIFEST) -manifest $(FLATZINCDLL).manifest \
|
1327
|
+
-outputresource:$(FLATZINCDLL)\;2
|
1328
|
+
endif
|
1329
|
+
|
1330
|
+
#
|
1331
|
+
# Static libraries
|
1332
|
+
#
|
1333
|
+
|
1334
|
+
$(SUPPORTSTATICLIB): $(SUPPORTOBJ)
|
1335
|
+
$(AR) $(ARFLAGS) $@ $(SUPPORTOBJ)
|
1336
|
+
$(RANLIB) $@
|
1337
|
+
$(KERNELSTATICLIB): $(KERNELOBJ)
|
1338
|
+
$(AR) $(ARFLAGS) $@ $(KERNELOBJ)
|
1339
|
+
$(RANLIB) $@
|
1340
|
+
$(SEARCHSTATICLIB): $(SEARCHOBJ)
|
1341
|
+
$(AR) $(ARFLAGS) $@ $(SEARCHOBJ)
|
1342
|
+
$(RANLIB) $@
|
1343
|
+
$(INTSTATICLIB): $(INTOBJ)
|
1344
|
+
$(AR) $(ARFLAGS) $@ $(INTOBJ)
|
1345
|
+
$(RANLIB) $@
|
1346
|
+
$(SETSTATICLIB): $(SETOBJ)
|
1347
|
+
$(AR) $(ARFLAGS) $@ $(SETOBJ)
|
1348
|
+
$(RANLIB) $@
|
1349
|
+
$(MMSTATICLIB): $(MMOBJ)
|
1350
|
+
$(AR) $(ARFLAGS) $@ $(MMOBJ)
|
1351
|
+
$(RANLIB) $@
|
1352
|
+
$(DRIVERSTATICLIB): $(DRIVEROBJ)
|
1353
|
+
$(AR) $(ARFLAGS) $@ $(DRIVEROBJ)
|
1354
|
+
$(RANLIB) $@
|
1355
|
+
$(GISTSTATICLIB): $(GISTOBJ)
|
1356
|
+
$(AR) $(ARFLAGS) $@ $(GISTOBJ)
|
1357
|
+
$(RANLIB) $@
|
1358
|
+
$(FLATZINCSTATICLIB): $(FLATZINCOBJ)
|
1359
|
+
$(AR) $(ARFLAGS) $@ $(FLATZINCOBJ)
|
1360
|
+
$(RANLIB) $@
|
1361
|
+
|
1362
|
+
#
|
1363
|
+
# Mac OS X Framework
|
1364
|
+
#
|
1365
|
+
|
1366
|
+
.PHONY: framework
|
1367
|
+
ifeq "@BUILD_MACOS_FRAMEWORK@" "yes"
|
1368
|
+
framework: gecode.framework/Versions/@GECODE_SOVERSION@/gecode
|
1369
|
+
|
1370
|
+
gecode.framework/Versions/@GECODE_SOVERSION@/gecode: $(STATICTARGETS)
|
1371
|
+
$(RMF) gecode.framework
|
1372
|
+
mkdir -p gecode.framework/Versions/@GECODE_SOVERSION@
|
1373
|
+
$(CXX) -all_load -compatibility_version @GECODE_SOVERSION@.0 \
|
1374
|
+
-current_version @GECODE_SOVERSION@.0 \
|
1375
|
+
$(DLLFLAGS) $(LINKQT) \
|
1376
|
+
-o gecode.framework/Versions/@GECODE_SOVERSION@/gecode $^
|
1377
|
+
$(MAKE) doinstallheaders \
|
1378
|
+
prefix=gecode.framework/Versions/@GECODE_SOVERSION@ DESTDIR=
|
1379
|
+
mv gecode.framework/Versions/@GECODE_SOVERSION@/include/gecode/* \
|
1380
|
+
gecode.framework/Versions/@GECODE_SOVERSION@/include/
|
1381
|
+
rmdir gecode.framework/Versions/@GECODE_SOVERSION@/include/gecode
|
1382
|
+
cd gecode.framework/Versions && ln -s @GECODE_SOVERSION@ Current
|
1383
|
+
ln -s Versions/Current/include \
|
1384
|
+
gecode.framework/Headers
|
1385
|
+
ln -s Versions/Current/gecode \
|
1386
|
+
gecode.framework/gecode
|
1387
|
+
else
|
1388
|
+
framework:
|
1389
|
+
endif
|
1390
|
+
|
1391
|
+
#
|
1392
|
+
# EXE Targets
|
1393
|
+
#
|
1394
|
+
|
1395
|
+
.PRECIOUS: examples/%$(OBJSUFFIX)
|
1396
|
+
ifeq "@enable_resource@" "yes"
|
1397
|
+
.PRECIOUS: examples/%$(EXESUFFIX).rc examples/%$(EXESUFFIX).res
|
1398
|
+
examples/%$(EXESUFFIX).rc:
|
1399
|
+
$(RCGEN) $(@:%.rc=%) $< > $@
|
1400
|
+
examples/%$(EXESUFFIX): examples/%$(OBJSUFFIX) examples/%$(EXESUFFIX).res \
|
1401
|
+
$(ALLLIB)
|
1402
|
+
$(CXX) @EXEOUTPUT@$@ $< $@.res \
|
1403
|
+
$(DLLPATH) $(CXXFLAGS) \
|
1404
|
+
$(LINKALL) $(LINKQT) $(GLDFLAGS)
|
1405
|
+
$(FIXMANIFEST) $@.manifest
|
1406
|
+
$(MANIFEST) -manifest $@.manifest -outputresource:$@\;1
|
1407
|
+
else
|
1408
|
+
examples/%$(EXESUFFIX): examples/%$(OBJSUFFIX) $(ALLLIB)
|
1409
|
+
$(CXX) @EXEOUTPUT@$@ $< $(DLLPATH) $(CXXFLAGS) \
|
1410
|
+
$(LINKALL) $(LINKQT) $(GLDFLAGS)
|
1411
|
+
$(FIXMANIFEST) $@.manifest
|
1412
|
+
$(MANIFEST) -manifest $@.manifest -outputresource:$@\;1
|
1413
|
+
endif
|
1414
|
+
|
1415
|
+
ifeq "@enable_resource@" "yes"
|
1416
|
+
TESTRES = $(TESTEXE).res
|
1417
|
+
$(TESTEXE).rc:
|
1418
|
+
$(RCGEN) $(TESTEXE) $(TESTSRC) $(TESTHDR) > $@
|
1419
|
+
else
|
1420
|
+
TESTRES =
|
1421
|
+
endif
|
1422
|
+
$(TESTEXE): $(TESTOBJ) $(TESTRES) $(ALLLIB)
|
1423
|
+
$(CXX) @EXEOUTPUT@$@ $(TESTOBJ) $(TESTRES) $(DLLPATH) $(CXXFLAGS) \
|
1424
|
+
$(LINKALL) $(GLDFLAGS)
|
1425
|
+
$(FIXMANIFEST) $@.manifest $(DLLSUFFIX)
|
1426
|
+
$(MANIFEST) -manifest $@.manifest -outputresource:$@\;1
|
1427
|
+
|
1428
|
+
.PHONY: flatzinc
|
1429
|
+
ifeq "@enable_flatzinc@" "yes"
|
1430
|
+
flatzinc: $(FLATZINCEXE)
|
1431
|
+
else
|
1432
|
+
flatzinc:
|
1433
|
+
endif
|
1434
|
+
|
1435
|
+
ifeq "@enable_resource@" "yes"
|
1436
|
+
FLATZINCEXERES = $(FLATZINCEXE).res
|
1437
|
+
$(FLATZINCEXE).rc:
|
1438
|
+
$(RCGEN) $(FLATZINCEXE) $(FLATZINCEXESRC) > $@
|
1439
|
+
else
|
1440
|
+
FLATZINCEXERES =
|
1441
|
+
endif
|
1442
|
+
$(FLATZINCEXE): $(FLATZINCEXEOBJ) $(FLATZINCEXERES) $(ALLLIB)
|
1443
|
+
$(CXX) @EXEOUTPUT@$@ $(FLATZINCEXEOBJ) $(FLATZINCEXERES) \
|
1444
|
+
$(DLLPATH) $(CXXFLAGS) \
|
1445
|
+
$(LINKALL) $(LINKSTATICQT) $(GLDFLAGS)
|
1446
|
+
$(FIXMANIFEST) $@.manifest
|
1447
|
+
$(MANIFEST) -manifest $@.manifest -outputresource:$@\;1
|
1448
|
+
|
1449
|
+
|
1450
|
+
#
|
1451
|
+
# Autoconf
|
1452
|
+
#
|
1453
|
+
|
1454
|
+
$(top_srcdir)/configure: $(top_srcdir)/configure.ac
|
1455
|
+
(cd $(top_srcdir) && autoconf)
|
1456
|
+
config.status: $(top_srcdir)/configure
|
1457
|
+
./config.status --recheck
|
1458
|
+
Makefile: $(top_srcdir)/Makefile.in config.status
|
1459
|
+
./config.status --file $@:$<
|
1460
|
+
doxygen.hh: $(top_srcdir)/doxygen/doxygen.hh.in config.status
|
1461
|
+
./config.status --file $@:$<
|
1462
|
+
doxygen.conf: $(top_srcdir)/doxygen/doxygen.conf.in config.status
|
1463
|
+
./config.status --file $@:$<
|
1464
|
+
|
1465
|
+
#
|
1466
|
+
# Source distribution
|
1467
|
+
#
|
1468
|
+
|
1469
|
+
DIST_FILES= \
|
1470
|
+
configure.ac configure Makefile.in gecode.m4 \
|
1471
|
+
changelog.in LICENSE \
|
1472
|
+
doxygen/doxygen.conf.in doxygen/doxygen.hh.in \
|
1473
|
+
install-sh \
|
1474
|
+
misc/gecode.pc.in \
|
1475
|
+
misc/gecode-search.pc.in misc/gecode-minimodel.pc.in \
|
1476
|
+
misc/gecode-gist.pc.in misc/gecode-driver.pc.in \
|
1477
|
+
gecode/support/config.hpp.in \
|
1478
|
+
variables.vsl \
|
1479
|
+
gecode/int/var-imp/int.vis \
|
1480
|
+
gecode/int/var-imp/bool.vis \
|
1481
|
+
gecode/set/var-imp/set.vis \
|
1482
|
+
gecode/int/branch/post-view-int.bs \
|
1483
|
+
gecode/int/branch/post-view-bool.bs \
|
1484
|
+
gecode/set/branch/post-view.bs \
|
1485
|
+
examples/support.hh \
|
1486
|
+
examples/support/example.hpp \
|
1487
|
+
examples/support/options.hpp \
|
1488
|
+
misc/doxygen/back.png misc/doxygen/gecode-logo-100.png \
|
1489
|
+
misc/doxygen/stylesheet.css misc/doxygen/footer.html \
|
1490
|
+
misc/doxygen/header.html misc/genlicense.perl \
|
1491
|
+
misc/genstatistics.perl misc/getrevision.perl \
|
1492
|
+
misc/genchangelog.perl misc/genvarimp.perl \
|
1493
|
+
misc/gentxtchangelog.perl misc/makedepend.perl \
|
1494
|
+
misc/genbranch.perl
|
1495
|
+
|
1496
|
+
distdir:
|
1497
|
+
rm -rf gecode-$(VERSION) && \
|
1498
|
+
mkdir -p gecode-$(VERSION) && \
|
1499
|
+
(cd $(top_srcdir) && tar cf - $(ALLHDR) $(ALLSRC)) | \
|
1500
|
+
(cd gecode-$(VERSION) && tar xf -) && \
|
1501
|
+
(cd $(top_srcdir) && tar cf - $(TESTSRC) $(TESTHDR) $(DIST_FILES)) | \
|
1502
|
+
(cd gecode-$(VERSION) && tar xf -)
|
1503
|
+
|
1504
|
+
dist: distdir
|
1505
|
+
tar chof - gecode-$(VERSION) | gzip -c >gecode-$(VERSION).tar.gz
|
1506
|
+
rm -rf gecode-$(VERSION)
|
1507
|
+
|
1508
|
+
#
|
1509
|
+
# Documentation
|
1510
|
+
#
|
1511
|
+
|
1512
|
+
export ENABLEDOCCHM = @ENABLEDOCCHM@
|
1513
|
+
export ENABLEDOCDOCSET = @ENABLEDOCDOCSET@
|
1514
|
+
ENABLEDOCSEARCH = @ENABLEDOCSEARCH@
|
1515
|
+
|
1516
|
+
.PHONY: doc
|
1517
|
+
|
1518
|
+
DOCSRC_NOTGENERATED = \
|
1519
|
+
misc/doxygen/back.png misc/doxygen/footer.html \
|
1520
|
+
misc/doxygen/gecode-logo-100.png \
|
1521
|
+
misc/doxygen/stylesheet.css \
|
1522
|
+
misc/genlicense.perl misc/genstatistics.perl misc/getrevision.perl \
|
1523
|
+
misc/genchangelog.perl
|
1524
|
+
DOCSRC = $(DOCSRC_NOTGENERATED:%=$(top_srcdir)/%) \
|
1525
|
+
doxygen.conf.use header.html \
|
1526
|
+
doxygen.hh license.hh stat.hh changelog.hh
|
1527
|
+
|
1528
|
+
changelog.hh: $(top_srcdir)/changelog.in
|
1529
|
+
perl $(top_srcdir)/misc/genchangelog.perl < $^ > changelog.hh
|
1530
|
+
|
1531
|
+
ChangeLog: $(top_srcdir)/changelog.in
|
1532
|
+
perl $(top_srcdir)/misc/gentxtchangelog.perl < $^ > ChangeLog
|
1533
|
+
|
1534
|
+
license.hh: $(ALLHDR:%=$(top_srcdir)/%) $(ALLSRC:%=$(top_srcdir)/%) \
|
1535
|
+
$(VARIMPHDR)
|
1536
|
+
perl $(top_srcdir)/misc/genlicense.perl $^ > license.hh
|
1537
|
+
|
1538
|
+
stat.hh: $(ALLHDR:%=$(top_srcdir)/%) $(ALLSRC:%=$(top_srcdir)/%) \
|
1539
|
+
$(TESTHDR:%=$(top_srcdir)/%) $(TESTSRC:%=$(top_srcdir)/%) \
|
1540
|
+
$(VARIMPHDR)
|
1541
|
+
perl $(top_srcdir)/misc/genstatistics.perl $^ > stat.hh
|
1542
|
+
|
1543
|
+
|
1544
|
+
ifeq "@ENABLEDOCCHM@" "yes"
|
1545
|
+
|
1546
|
+
DOCTARGET=GecodeReference.chm
|
1547
|
+
|
1548
|
+
header.html: $(top_srcdir)/misc/doxygen/header.html doxygen.conf
|
1549
|
+
grep -v '<form.*form>' < $< > $@
|
1550
|
+
doxygen.conf.use: doxygen.conf
|
1551
|
+
(echo "GENERATE_HTMLHELP = YES"; \
|
1552
|
+
echo "SEARCHENGINE = NO";\
|
1553
|
+
echo "HAVE_DOT = @GECODE_DOXYGEN_DOT@") | \
|
1554
|
+
cat $< - > $@
|
1555
|
+
|
1556
|
+
doc: $(ALLHDR:%=$(top_srcdir)/%) $(VARIMPHDR) \
|
1557
|
+
$(ALLSRC:%=$(top_srcdir)/%) $(DOCSRC)
|
1558
|
+
mkdir -p doc/html
|
1559
|
+
cp -f $(top_srcdir)/misc/doxygen/back.png \
|
1560
|
+
$(top_srcdir)/misc/doxygen/gecode-logo-100.png doc/html
|
1561
|
+
doxygen doxygen.conf.use
|
1562
|
+
mv doc/html/GecodeReference.chm GecodeReference.chm
|
1563
|
+
|
1564
|
+
else
|
1565
|
+
ifeq "@ENABLEDOCDOCSET@" "yes"
|
1566
|
+
|
1567
|
+
DOCTARGET=org.gecode.@VERSION@.docset
|
1568
|
+
|
1569
|
+
header.html: $(top_srcdir)/misc/doxygen/header.html doxygen.conf
|
1570
|
+
grep -v '<form.*form>' < $< > $@
|
1571
|
+
doxygen.conf.use: doxygen.conf
|
1572
|
+
(echo "SEARCHENGINE = NO";\
|
1573
|
+
echo "HAVE_DOT = @GECODE_DOXYGEN_DOT@";\
|
1574
|
+
echo "GENERATE_DOCSET = YES";\
|
1575
|
+
echo "DOCSET_BUNDLE_ID = org.gecode.@VERSION@";\
|
1576
|
+
echo "DOCSET_FEEDNAME = Gecode") | \
|
1577
|
+
cat $< - > $@
|
1578
|
+
|
1579
|
+
doc: $(ALLHDR:%=$(top_srcdir)/%) $(VARIMPHDR) $(ALLSRC:%=$(top_srcdir)/%) \
|
1580
|
+
$(DOCSRC)
|
1581
|
+
mkdir -p doc/html
|
1582
|
+
cp -f $(top_srcdir)/misc/doxygen/back.png \
|
1583
|
+
$(top_srcdir)/misc/doxygen/gecode-logo-100.png doc/html
|
1584
|
+
doxygen doxygen.conf.use
|
1585
|
+
cd doc/html && make
|
1586
|
+
mv doc/html/$(DOCTARGET) .
|
1587
|
+
|
1588
|
+
else
|
1589
|
+
DOCTARGET=doc/html
|
1590
|
+
|
1591
|
+
ifeq "@ENABLEDOCSEARCH@" "yes"
|
1592
|
+
|
1593
|
+
header.html: $(top_srcdir)/misc/doxygen/header.html doxygen.conf
|
1594
|
+
cat < $< > $@
|
1595
|
+
doxygen.conf.use: doxygen.conf
|
1596
|
+
(echo "GENERATE_HTMLHELP = NO"; \
|
1597
|
+
echo "SEARCHENGINE = YES"; \
|
1598
|
+
echo "SERVER_BASED_SEARCH = YES"; \
|
1599
|
+
echo "HAVE_DOT = @GECODE_DOXYGEN_DOT@") | \
|
1600
|
+
cat $< - > $@
|
1601
|
+
else
|
1602
|
+
|
1603
|
+
header.html: $(top_srcdir)/misc/doxygen/header.html doxygen.conf
|
1604
|
+
grep -v '<form.*form>' < $< > $@
|
1605
|
+
doxygen.conf.use: doxygen.conf
|
1606
|
+
(echo "GENERATE_HTMLHELP = NO"; \
|
1607
|
+
echo "SEARCHENGINE = NO"; \
|
1608
|
+
echo "HAVE_DOT = @GECODE_DOXYGEN_DOT@") | \
|
1609
|
+
cat $< - > $@
|
1610
|
+
|
1611
|
+
endif
|
1612
|
+
|
1613
|
+
doc: $(ALLHDR:%=$(top_srcdir)/%) $(VARIMPHDR) $(ALLSRC:%=$(top_srcdir)/%) \
|
1614
|
+
$(DOCSRC)
|
1615
|
+
mkdir -p doc/html
|
1616
|
+
cp -f $(top_srcdir)/misc/doxygen/back.png \
|
1617
|
+
$(top_srcdir)/misc/doxygen/gecode-logo-100.png doc/html
|
1618
|
+
doxygen doxygen.conf.use
|
1619
|
+
|
1620
|
+
ifeq "@ENABLEDOCSEARCH@" "yes"
|
1621
|
+
# Work around a doxygen bug (a missing div screws up the layout)
|
1622
|
+
mv doc/html/search.php doc/html/search2.php
|
1623
|
+
sed -e 's|<div class="qindex">|<div><div class="qindex">|' \
|
1624
|
+
doc/html/search2.php > doc/html/search.php
|
1625
|
+
rm doc/html/search2.php
|
1626
|
+
endif
|
1627
|
+
|
1628
|
+
endif
|
1629
|
+
endif
|
1630
|
+
|
1631
|
+
#
|
1632
|
+
# Installation
|
1633
|
+
#
|
1634
|
+
|
1635
|
+
.PHONY: install
|
1636
|
+
|
1637
|
+
ifeq "@BUILD_MACOS_FRAMEWORK@" "yes"
|
1638
|
+
install: installframework
|
1639
|
+
else
|
1640
|
+
|
1641
|
+
ifeq "@enable_examples@" "yes"
|
1642
|
+
install: installlib installexamples
|
1643
|
+
else
|
1644
|
+
install: installlib
|
1645
|
+
endif
|
1646
|
+
|
1647
|
+
endif
|
1648
|
+
|
1649
|
+
doinstallheaders: $(ALLHDR:%=$(top_srcdir)/%) $(EXTRA_HEADERS) $(VARIMPHDR)
|
1650
|
+
mkdir -p $(DESTDIR)$(includedir) && \
|
1651
|
+
(cd $(top_srcdir) && tar cf - $(ALLHDR)) | \
|
1652
|
+
(cd $(DESTDIR)$(includedir) && tar xf -) && \
|
1653
|
+
for_varimpheaders="$(VARIMPHDR)" && \
|
1654
|
+
for f in $$for_varimpheaders; do \
|
1655
|
+
cp $$f $(DESTDIR)$(includedir)/gecode/kernel; done && \
|
1656
|
+
for_extraheaders="$(EXTRA_HEADERS)" && \
|
1657
|
+
for f in $$for_extraheaders; do \
|
1658
|
+
cp $$f $(DESTDIR)$(includedir)/gecode/support; done && \
|
1659
|
+
for_mznlib="$(FLATZINCMZNLIB)" && \
|
1660
|
+
for f in $$for_mznlib; do \
|
1661
|
+
mkdir -p $(DESTDIR)$(datadir)/gecode/mznlib; \
|
1662
|
+
cp $(top_srcdir)/$$f/*.mzn \
|
1663
|
+
$(DESTDIR)$(datadir)/gecode/mznlib; done
|
1664
|
+
|
1665
|
+
doinstalllib:
|
1666
|
+
mkdir -p $(DESTDIR)$(sharedlibdir) && \
|
1667
|
+
mkdir -p $(DESTDIR)$(libdir) && \
|
1668
|
+
mkdir -p $(DESTDIR)$(bindir) && \
|
1669
|
+
for_libtargets="$(LIBTARGETS) $(PDBTARGETS)" && \
|
1670
|
+
for f in $$for_libtargets; do \
|
1671
|
+
cp $$f $(DESTDIR)$(sharedlibdir); done && \
|
1672
|
+
for_liblinktargets="$(LIBLINKTARGETS)" && \
|
1673
|
+
for f in $$for_liblinktargets; do \
|
1674
|
+
cp -pR $$f $(DESTDIR)$(sharedlibdir); done &&\
|
1675
|
+
for_liblibtargets="$(LIBLIBTARGETS)" && \
|
1676
|
+
for f in $$for_liblibtargets; do \
|
1677
|
+
cp $$f $(DESTDIR)$(libdir); done &&\
|
1678
|
+
for_exetargets="$(EXETARGETS)" && \
|
1679
|
+
for f in $$for_exetargets; do \
|
1680
|
+
cp $$f $(DESTDIR)$(bindir); done
|
1681
|
+
|
1682
|
+
ifeq "@BUILDSTATIC@" "yes"
|
1683
|
+
ranliblib:
|
1684
|
+
for_static="$(STATICTARGETS)" ; \
|
1685
|
+
for f in $$for_static; do \
|
1686
|
+
$(RANLIB) $(DESTDIR)$(sharedlibdir)/$$f; done
|
1687
|
+
else
|
1688
|
+
ranliblib:
|
1689
|
+
endif
|
1690
|
+
|
1691
|
+
installlib: compilelib
|
1692
|
+
$(MAKE) doinstalllib
|
1693
|
+
$(MAKE) doinstallheaders
|
1694
|
+
$(MAKE) ranliblib
|
1695
|
+
$(MAKE) installsubdirs
|
1696
|
+
|
1697
|
+
installexamples: compileexamples
|
1698
|
+
mkdir -p $(DESTDIR)$(bindir); \
|
1699
|
+
for_exampleexe="$(EXAMPLEEXE)" ; \
|
1700
|
+
for f in $$for_exampleexe; do cp $$f $(DESTDIR)$(bindir); done \
|
1701
|
+
|
1702
|
+
installframework: framework
|
1703
|
+
mkdir -p $(DESTDIR)/Library/Frameworks/gecode.framework && \
|
1704
|
+
(cd gecode.framework && tar cf - *) | \
|
1705
|
+
(cd $(DESTDIR)/Library/Frameworks/gecode.framework && tar xf -)
|
1706
|
+
|
1707
|
+
installdoc: doc
|
1708
|
+
mkdir -p $(DESTDIR)$(docdir); \
|
1709
|
+
cp -r $(DOCTARGET) $(DESTDIR)$(docdir)
|
1710
|
+
|
1711
|
+
installsubdirs:
|
1712
|
+
@for_subdirs="$(subdirs)" ; for i in $$for_subdirs; do \
|
1713
|
+
cd $$i && if test -f Makefile; then \
|
1714
|
+
echo "Making install in directory $$i"; \
|
1715
|
+
$(MAKE) install; \
|
1716
|
+
fi; \
|
1717
|
+
done
|
1718
|
+
|
1719
|
+
#
|
1720
|
+
# Source Distribution
|
1721
|
+
#
|
1722
|
+
|
1723
|
+
.PHONY: distdoc
|
1724
|
+
|
1725
|
+
ifeq "@ENABLEDOCSEARCH@" "yes"
|
1726
|
+
DOCSUFFIX = search-$(VERSION)
|
1727
|
+
else
|
1728
|
+
DOCSUFFIX = $(VERSION)
|
1729
|
+
endif
|
1730
|
+
|
1731
|
+
distdoc: doc
|
1732
|
+
rm -rf gecode-doc-$(DOCSUFFIX) && \
|
1733
|
+
mv doc/html gecode-doc-$(DOCSUFFIX) && \
|
1734
|
+
$(TAR) cf - gecode-doc-$(DOCSUFFIX) | \
|
1735
|
+
gzip -9 > gecode-doc-$(DOCSUFFIX).tar.gz && \
|
1736
|
+
7z a -mx9 gecode-doc-$(DOCSUFFIX).7z gecode-doc-$(DOCSUFFIX) && \
|
1737
|
+
$(RMF) gecode-doc-$(DOCSUFFIX) && \
|
1738
|
+
if test -f doc/gecode-doc.tag; then \
|
1739
|
+
mv doc/gecode-doc.tag gecode-doc-$(DOCSUFFIX).tag && \
|
1740
|
+
gzip -9 gecode-doc-$(DOCSUFFIX).tag; \
|
1741
|
+
fi
|
1742
|
+
|
1743
|
+
|
1744
|
+
#
|
1745
|
+
# Maintenance targets
|
1746
|
+
#
|
1747
|
+
|
1748
|
+
clean:
|
1749
|
+
$(RMF) *.stackdump core gmon.out \
|
1750
|
+
vc70.pdb vc80.pdb vc90.pdb vc100.pdb
|
1751
|
+
$(RMF) doxygen.log doxygen.hh doxygen.conf.use stat.hh \
|
1752
|
+
changelog.hh doxygen.hh license.hh header.html
|
1753
|
+
$(RMF) $(ALLOBJ) $(ALLSBJ) $(ALLOBJ:%$(OBJSUFFIX)=%.pdb)
|
1754
|
+
$(RMF) $(TESTOBJ) $(TESTSBJ) $(TESTOBJ:%$(OBJSUFFIX)=%.pdb)
|
1755
|
+
$(RMF) $(GISTMOCSRC)
|
1756
|
+
$(RMF) $(LIBTARGETS:%$(DLLSUFFIX)=%$(MANIFESTSUFFIX)) \
|
1757
|
+
$(LIBTARGETS:%$(DLLSUFFIX)=%$(RCSUFFIX)) \
|
1758
|
+
$(LIBTARGETS:%$(DLLSUFFIX)=%$(RESSUFFIX)) \
|
1759
|
+
$(LIBTARGETS:%$(DLLSUFFIX)=%$(EXPSUFFIX))
|
1760
|
+
$(RMF) $(EXAMPLEEXE:%.exe=%.pdb) $(EXAMPLEEXE:%=%.manifest) \
|
1761
|
+
$(EXAMPLEEXE:%=%.rc) $(EXAMPLEEXE:%=%.res)
|
1762
|
+
$(RMF) $(TESTEXE:%.exe=%.pdb) $(TESTEXE:%=%.manifest) \
|
1763
|
+
$(TESTEXE:%=%.rc) $(TESTEXE:%=%.res)
|
1764
|
+
$(RMF) $(FLATZINCEXE:%.exe=%.pdb) $(FLATZINCEXE:%=%.manifest) \
|
1765
|
+
$(FLATZINCEXE:%=%.rc) $(FLATZINCEXE:%=%.res)
|
1766
|
+
|
1767
|
+
veryclean: clean
|
1768
|
+
$(RMF) $(LIBTARGETS) \
|
1769
|
+
$(LIBTARGETS:%$(DLLSUFFIX)=%$(LIBSUFFIX)) \
|
1770
|
+
$(LIBTARGETS:%$(DLLSUFFIX)=%$(PDBSUFFIX))
|
1771
|
+
$(RMF) $(LIBTARGETS:%$(DLLSUFFIX)=%$(SOLINKSUFFIX)) \
|
1772
|
+
$(LIBTARGETS:%$(DLLSUFFIX)=%$(SOSUFFIX))
|
1773
|
+
$(RMF) $(EXAMPLEEXE)
|
1774
|
+
$(RMF) $(TESTEXE)
|
1775
|
+
$(RMF) $(FLATZINCEXE)
|
1776
|
+
$(RMF) doc GecodeReference.chm ChangeLog
|
1777
|
+
$(RMF) $(ALLOBJ:%$(OBJSUFFIX)=%.gcno) $(TESTOBJ:%$(OBJSUFFIX)=%.gcno)
|
1778
|
+
$(RMF) $(ALLOBJ:%$(OBJSUFFIX)=%.gcda) $(TESTOBJ:%$(OBJSUFFIX)=%.gcda)
|
1779
|
+
|
1780
|
+
distclean: veryclean
|
1781
|
+
$(RMF) $(VARIMP)
|
1782
|
+
$(RMF) $(GENBRANCHSRC)
|
1783
|
+
$(RMF) Makefile doxygen.conf
|
1784
|
+
$(RMF) $(EXTRA_HEADERS)
|
1785
|
+
$(RMF) config.log config.status Makefile.dep
|
1786
|
+
|
1787
|
+
depend: mkcompiledirs
|
1788
|
+
@$(MAKE) $(VARIMP) $(GENBRANCHSRC)
|
1789
|
+
perl $(top_srcdir)/misc/makedepend.perl \
|
1790
|
+
$(top_srcdir) \
|
1791
|
+
$(ALLSRC) \
|
1792
|
+
$(FLATZINC_GENSRC) \
|
1793
|
+
$(TESTSRC) > Makefile.dep
|
1794
|
+
|
1795
|
+
-include Makefile.dep
|