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.
Files changed (806) hide show
  1. checksums.yaml +7 -0
  2. data/.gitignore +26 -0
  3. data/Gemfile +3 -0
  4. data/LICENSE.txt +22 -0
  5. data/README.md +29 -0
  6. data/Rakefile +20 -0
  7. data/dep-selector-libgecode.gemspec +25 -0
  8. data/ext/libgecode3/Makefile +8 -0
  9. data/ext/libgecode3/extconf.rb +57 -0
  10. data/ext/libgecode3/vendor/gecode-3.7.3/LICENSE +25 -0
  11. data/ext/libgecode3/vendor/gecode-3.7.3/Makefile.contribs +88 -0
  12. data/ext/libgecode3/vendor/gecode-3.7.3/Makefile.dep +11307 -0
  13. data/ext/libgecode3/vendor/gecode-3.7.3/Makefile.in +1795 -0
  14. data/ext/libgecode3/vendor/gecode-3.7.3/changelog.in +6132 -0
  15. data/ext/libgecode3/vendor/gecode-3.7.3/configure +13054 -0
  16. data/ext/libgecode3/vendor/gecode-3.7.3/configure.ac +356 -0
  17. data/ext/libgecode3/vendor/gecode-3.7.3/configure.ac.in +352 -0
  18. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/README +26 -0
  19. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/AbstractWorker.hh +42 -0
  20. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Doxyfile +263 -0
  21. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Makefile.in.in +162 -0
  22. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/OptVar.cc +82 -0
  23. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/OptVar.hh +124 -0
  24. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/QCOPPlus.cc +306 -0
  25. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/QCOPPlus.hh +166 -0
  26. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/QCSPPlusUnblockable.cc +239 -0
  27. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/QCSPPlusUnblockable.hh +140 -0
  28. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/README +6 -0
  29. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Strategy.cc +253 -0
  30. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Strategy.hh +112 -0
  31. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/StrategyNode.cc +59 -0
  32. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/StrategyNode.hh +49 -0
  33. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/UnblockableBranching.hh +34 -0
  34. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/UnblockableViewValBranching.cc +61 -0
  35. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/UnblockableViewValBranching.hh +45 -0
  36. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Work.cc +48 -0
  37. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Work.hh +64 -0
  38. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/WorkComparators.hh +67 -0
  39. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/WorkManager.cc +376 -0
  40. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/WorkManager.hh +96 -0
  41. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Worker.cc +285 -0
  42. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Worker.hh +70 -0
  43. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/clean +5 -0
  44. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/configure +2637 -0
  45. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/configure.ac +44 -0
  46. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/myDom.cc +59 -0
  47. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/myspace.cc +119 -0
  48. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/myspace.hh +79 -0
  49. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qecode.hh +56 -0
  50. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_parallel.cc +41 -0
  51. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_parallel.hh +43 -0
  52. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_qcop.cc +268 -0
  53. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_qcop.hh +56 -0
  54. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_qcsp.cc +163 -0
  55. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_qcsp.hh +63 -0
  56. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_unblockable.cc +423 -0
  57. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_unblockable.hh +84 -0
  58. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/shortdesc.ac +1 -0
  59. data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/vartype.hh +31 -0
  60. data/ext/libgecode3/vendor/gecode-3.7.3/doxygen/doxygen.conf.in +1245 -0
  61. data/ext/libgecode3/vendor/gecode-3.7.3/doxygen/doxygen.hh.in +594 -0
  62. data/ext/libgecode3/vendor/gecode-3.7.3/examples/all-interval.cpp +136 -0
  63. data/ext/libgecode3/vendor/gecode-3.7.3/examples/alpha.cpp +151 -0
  64. data/ext/libgecode3/vendor/gecode-3.7.3/examples/bacp.cpp +596 -0
  65. data/ext/libgecode3/vendor/gecode-3.7.3/examples/bibd.cpp +182 -0
  66. data/ext/libgecode3/vendor/gecode-3.7.3/examples/bin-packing.cpp +25363 -0
  67. data/ext/libgecode3/vendor/gecode-3.7.3/examples/black-hole.cpp +413 -0
  68. data/ext/libgecode3/vendor/gecode-3.7.3/examples/car-sequencing.cpp +653 -0
  69. data/ext/libgecode3/vendor/gecode-3.7.3/examples/crew.cpp +269 -0
  70. data/ext/libgecode3/vendor/gecode-3.7.3/examples/crossword.cpp +3954 -0
  71. data/ext/libgecode3/vendor/gecode-3.7.3/examples/crowded-chess.cpp +424 -0
  72. data/ext/libgecode3/vendor/gecode-3.7.3/examples/dominating-queens.cpp +170 -0
  73. data/ext/libgecode3/vendor/gecode-3.7.3/examples/domino.cpp +346 -0
  74. data/ext/libgecode3/vendor/gecode-3.7.3/examples/donald.cpp +135 -0
  75. data/ext/libgecode3/vendor/gecode-3.7.3/examples/efpa.cpp +323 -0
  76. data/ext/libgecode3/vendor/gecode-3.7.3/examples/eq20.cpp +128 -0
  77. data/ext/libgecode3/vendor/gecode-3.7.3/examples/golf.cpp +190 -0
  78. data/ext/libgecode3/vendor/gecode-3.7.3/examples/golomb-ruler.cpp +157 -0
  79. data/ext/libgecode3/vendor/gecode-3.7.3/examples/graph-color.cpp +425 -0
  80. data/ext/libgecode3/vendor/gecode-3.7.3/examples/grocery.cpp +116 -0
  81. data/ext/libgecode3/vendor/gecode-3.7.3/examples/hamming.cpp +144 -0
  82. data/ext/libgecode3/vendor/gecode-3.7.3/examples/ind-set.cpp +144 -0
  83. data/ext/libgecode3/vendor/gecode-3.7.3/examples/kakuro.cpp +627 -0
  84. data/ext/libgecode3/vendor/gecode-3.7.3/examples/knights.cpp +430 -0
  85. data/ext/libgecode3/vendor/gecode-3.7.3/examples/langford-number.cpp +218 -0
  86. data/ext/libgecode3/vendor/gecode-3.7.3/examples/magic-sequence.cpp +133 -0
  87. data/ext/libgecode3/vendor/gecode-3.7.3/examples/magic-square.cpp +141 -0
  88. data/ext/libgecode3/vendor/gecode-3.7.3/examples/minesweeper.cpp +311 -0
  89. data/ext/libgecode3/vendor/gecode-3.7.3/examples/money.cpp +132 -0
  90. data/ext/libgecode3/vendor/gecode-3.7.3/examples/nonogram.cpp +1215 -0
  91. data/ext/libgecode3/vendor/gecode-3.7.3/examples/open-shop.cpp +412 -0
  92. data/ext/libgecode3/vendor/gecode-3.7.3/examples/ortho-latin.cpp +183 -0
  93. data/ext/libgecode3/vendor/gecode-3.7.3/examples/partition.cpp +145 -0
  94. data/ext/libgecode3/vendor/gecode-3.7.3/examples/pentominoes.cpp +952 -0
  95. data/ext/libgecode3/vendor/gecode-3.7.3/examples/perfect-square.cpp +317 -0
  96. data/ext/libgecode3/vendor/gecode-3.7.3/examples/photo.cpp +166 -0
  97. data/ext/libgecode3/vendor/gecode-3.7.3/examples/queen-armies.cpp +335 -0
  98. data/ext/libgecode3/vendor/gecode-3.7.3/examples/queens.cpp +214 -0
  99. data/ext/libgecode3/vendor/gecode-3.7.3/examples/radiotherapy.cpp +943 -0
  100. data/ext/libgecode3/vendor/gecode-3.7.3/examples/sat.cpp +260 -0
  101. data/ext/libgecode3/vendor/gecode-3.7.3/examples/schurs-lemma.cpp +142 -0
  102. data/ext/libgecode3/vendor/gecode-3.7.3/examples/scowl.hpp +14149 -0
  103. data/ext/libgecode3/vendor/gecode-3.7.3/examples/sports-league.cpp +353 -0
  104. data/ext/libgecode3/vendor/gecode-3.7.3/examples/steel-mill.cpp +654 -0
  105. data/ext/libgecode3/vendor/gecode-3.7.3/examples/steiner.cpp +170 -0
  106. data/ext/libgecode3/vendor/gecode-3.7.3/examples/sudoku.cpp +2294 -0
  107. data/ext/libgecode3/vendor/gecode-3.7.3/examples/tsp.cpp +339 -0
  108. data/ext/libgecode3/vendor/gecode-3.7.3/examples/warehouses.cpp +185 -0
  109. data/ext/libgecode3/vendor/gecode-3.7.3/examples/word-square.cpp +168 -0
  110. data/ext/libgecode3/vendor/gecode-3.7.3/gecode.m4 +1272 -0
  111. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/driver.hh +602 -0
  112. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/driver/options.cpp +435 -0
  113. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/driver/options.hpp +418 -0
  114. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/driver/script.cpp +104 -0
  115. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/driver/script.hpp +388 -0
  116. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc.hh +417 -0
  117. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/CHANGES +63 -0
  118. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/ast.hh +492 -0
  119. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/conexpr.hh +82 -0
  120. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/exampleplugin/myplugin.cpp +49 -0
  121. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/exampleplugin/myplugin.hh +47 -0
  122. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/exampleplugin/myplugin.pro +51 -0
  123. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/exampleplugin/test_myplugin.fzn +1 -0
  124. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/flatzinc.cpp +1056 -0
  125. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/lexer.lxx +137 -0
  126. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/lexer.yy.cpp +2458 -0
  127. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/all_different_int.mzn +37 -0
  128. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/all_equal_int.mzn +37 -0
  129. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/among.mzn +37 -0
  130. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/at_least_int.mzn +37 -0
  131. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/at_least_set.mzn +38 -0
  132. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/at_most_int.mzn +37 -0
  133. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/at_most_set.mzn +38 -0
  134. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/bin_packing.mzn +44 -0
  135. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/bin_packing_capa.mzn +45 -0
  136. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/bin_packing_load.mzn +45 -0
  137. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/circuit.mzn +40 -0
  138. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/count.mzn +37 -0
  139. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/cumulative.mzn +53 -0
  140. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/decreasing_bool.mzn +37 -0
  141. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/decreasing_int.mzn +37 -0
  142. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/diffn.mzn +44 -0
  143. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/disjoint.mzn +37 -0
  144. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/distribute.mzn +46 -0
  145. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/exactly_int.mzn +40 -0
  146. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/exactly_set.mzn +38 -0
  147. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/gecode.mzn +98 -0
  148. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/global_cardinality.mzn +43 -0
  149. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/global_cardinality_closed.mzn +39 -0
  150. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/global_cardinality_low_up.mzn +40 -0
  151. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/global_cardinality_low_up_closed.mzn +40 -0
  152. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/increasing_bool.mzn +37 -0
  153. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/increasing_int.mzn +37 -0
  154. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/int_set_channel.mzn +49 -0
  155. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/inverse.mzn +42 -0
  156. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/lex_less_int.mzn +42 -0
  157. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/lex_lesseq_int.mzn +42 -0
  158. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/link_set_to_booleans.mzn +47 -0
  159. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/maximum_int.mzn +37 -0
  160. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/member_bool.mzn +41 -0
  161. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/member_int.mzn +41 -0
  162. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/minimum_int.mzn +37 -0
  163. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/nvalue.mzn +37 -0
  164. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/partition_set.mzn +42 -0
  165. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/precedence.mzn +41 -0
  166. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/range.mzn +51 -0
  167. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/redefinitions.mzn +62 -0
  168. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/regular.mzn +38 -0
  169. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/roots.mzn +63 -0
  170. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/sort.mzn +37 -0
  171. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/sum_pred.mzn +42 -0
  172. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/table_bool.mzn +37 -0
  173. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/table_int.mzn +37 -0
  174. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/option.hh +70 -0
  175. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/parser.hh +265 -0
  176. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/parser.tab.cpp +3571 -0
  177. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/parser.tab.hh +164 -0
  178. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/parser.yxx +1604 -0
  179. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/plugin.hh +83 -0
  180. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/registry.cpp +1812 -0
  181. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/registry.hh +71 -0
  182. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/symboltable.hh +96 -0
  183. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/varspec.hh +163 -0
  184. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist.hh +298 -0
  185. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/drawingcursor.cpp +288 -0
  186. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/drawingcursor.hh +110 -0
  187. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/drawingcursor.hpp +84 -0
  188. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/gecodelogo.cpp +673 -0
  189. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/gecodelogo.hh +65 -0
  190. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/gist.cpp +120 -0
  191. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/gist.hpp +207 -0
  192. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/layoutcursor.hh +69 -0
  193. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/layoutcursor.hpp +70 -0
  194. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/mainwindow.cpp +341 -0
  195. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/mainwindow.hh +129 -0
  196. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/node.cpp +82 -0
  197. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/node.hh +160 -0
  198. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/node.hpp +210 -0
  199. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodecursor.hh +215 -0
  200. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodecursor.hpp +271 -0
  201. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodestats.cpp +138 -0
  202. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodestats.hh +81 -0
  203. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodevisitor.hh +96 -0
  204. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodevisitor.hpp +126 -0
  205. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodewidget.cpp +90 -0
  206. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodewidget.hh +59 -0
  207. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/preferences.cpp +190 -0
  208. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/preferences.hh +96 -0
  209. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/qtgist.cpp +809 -0
  210. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/qtgist.hh +294 -0
  211. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/spacenode.cpp +369 -0
  212. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/spacenode.hh +221 -0
  213. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/spacenode.hpp +191 -0
  214. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/standalone-example/mygist.cpp +80 -0
  215. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/standalone-example/standalone_example.pro +18 -0
  216. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/stopbrancher.cpp +90 -0
  217. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/stopbrancher.hh +82 -0
  218. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/textoutput.cpp +175 -0
  219. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/textoutput.hh +75 -0
  220. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/treecanvas.cpp +1430 -0
  221. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/treecanvas.hh +369 -0
  222. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/visualnode.cpp +473 -0
  223. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/visualnode.hh +237 -0
  224. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/visualnode.hpp +220 -0
  225. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/zoomToFitIcon.hpp +114 -0
  226. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int.hh +3477 -0
  227. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic.cpp +185 -0
  228. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic.hh +666 -0
  229. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic/abs.hpp +236 -0
  230. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic/divmod.hpp +350 -0
  231. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic/max.hpp +398 -0
  232. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic/mult.hpp +750 -0
  233. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic/sqr.hpp +377 -0
  234. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic/sqrt.hpp +217 -0
  235. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/array-traits.hpp +147 -0
  236. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/array.cpp +113 -0
  237. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/array.hpp +111 -0
  238. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bin-packing.cpp +71 -0
  239. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bin-packing.hh +184 -0
  240. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bin-packing/propagate.cpp +388 -0
  241. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bin-packing/propagate.hpp +219 -0
  242. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool.cpp +755 -0
  243. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool.hh +581 -0
  244. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/base.hpp +137 -0
  245. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/clause.hpp +353 -0
  246. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/eq.hpp +196 -0
  247. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/eqv.cpp +104 -0
  248. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/eqv.hpp +202 -0
  249. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/lq.hpp +241 -0
  250. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/or.hpp +850 -0
  251. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch.cpp +152 -0
  252. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch.hh +607 -0
  253. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/post-val-bool.hpp +81 -0
  254. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/post-val-int.hpp +107 -0
  255. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/post-view-bool.bs +121 -0
  256. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/post-view-bool.cpp +438 -0
  257. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/post-view-int.bs +121 -0
  258. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/post-view-int.cpp +438 -0
  259. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/select-val.hpp +229 -0
  260. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/select-values.hpp +213 -0
  261. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/select-view.hpp +364 -0
  262. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel.cpp +172 -0
  263. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel.hh +249 -0
  264. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/base.hpp +78 -0
  265. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/dom.hpp +332 -0
  266. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/link-multi.cpp +241 -0
  267. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/link-multi.hpp +84 -0
  268. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/link-single.cpp +77 -0
  269. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/link-single.hpp +71 -0
  270. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/val.hpp +256 -0
  271. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/circuit.cpp +229 -0
  272. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/circuit.hh +160 -0
  273. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/circuit/base.hpp +270 -0
  274. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/circuit/dom.hpp +128 -0
  275. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/circuit/val.hpp +105 -0
  276. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count.cpp +417 -0
  277. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count.hh +410 -0
  278. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/int-base.hpp +80 -0
  279. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/int-eq.hpp +143 -0
  280. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/int-gq.hpp +137 -0
  281. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/int-lq.hpp +136 -0
  282. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/rel.hpp +281 -0
  283. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/view-base.hpp +131 -0
  284. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/view-eq.hpp +117 -0
  285. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/view-gq.hpp +109 -0
  286. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/view-lq.hpp +96 -0
  287. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative.cpp +432 -0
  288. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative.hh +745 -0
  289. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/basic.hpp +211 -0
  290. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/edge-finding.hpp +185 -0
  291. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/man-prop.hpp +127 -0
  292. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/opt-prop.hpp +171 -0
  293. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/overload.hpp +63 -0
  294. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/task-view.hpp +84 -0
  295. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/task.hpp +256 -0
  296. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/tree.hpp +272 -0
  297. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulatives.cpp +187 -0
  298. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulatives.hh +133 -0
  299. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulatives/val.hpp +380 -0
  300. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct.cpp +97 -0
  301. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct.hh +314 -0
  302. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct/bnd.hpp +444 -0
  303. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct/dom-ctrl.hpp +81 -0
  304. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct/dom.hpp +123 -0
  305. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct/graph.hpp +266 -0
  306. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct/ter-dom.hpp +113 -0
  307. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct/val.hpp +185 -0
  308. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/dom.cpp +135 -0
  309. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/dom.hh +118 -0
  310. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/dom/range.hpp +105 -0
  311. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/dom/spec.hpp +124 -0
  312. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/element.cpp +190 -0
  313. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/element.hh +384 -0
  314. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/element/int.hpp +443 -0
  315. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/element/pair.cpp +151 -0
  316. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/element/pair.hpp +74 -0
  317. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/element/view.hpp +559 -0
  318. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exception.hpp +196 -0
  319. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exec.cpp +83 -0
  320. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exec.hh +87 -0
  321. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exec/when.cpp +77 -0
  322. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exec/when.hpp +51 -0
  323. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional.cpp +124 -0
  324. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional.hh +508 -0
  325. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/base.hpp +163 -0
  326. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/basic.hpp +148 -0
  327. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/dfa.cpp +535 -0
  328. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/dfa.hpp +282 -0
  329. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/incremental.hpp +454 -0
  330. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/layered-graph.hpp +982 -0
  331. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/tuple-set.cpp +222 -0
  332. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/tuple-set.hpp +184 -0
  333. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc.cpp +172 -0
  334. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc.hh +268 -0
  335. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/bnd-sup.hpp +608 -0
  336. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/bnd.hpp +829 -0
  337. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/dom-sup.hpp +1777 -0
  338. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/dom.hpp +315 -0
  339. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/post.hpp +169 -0
  340. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/val.hpp +299 -0
  341. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/view.hpp +410 -0
  342. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/int-set-1.hpp +249 -0
  343. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/int-set-2.hpp +51 -0
  344. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/int-set.cpp +167 -0
  345. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/limits.hpp +94 -0
  346. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear-bool.cpp +196 -0
  347. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear-int.cpp +194 -0
  348. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear.hh +1560 -0
  349. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/bool-int.hpp +743 -0
  350. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/bool-post.cpp +602 -0
  351. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/bool-scale.hpp +695 -0
  352. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/bool-view.hpp +319 -0
  353. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/int-bin.hpp +439 -0
  354. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/int-dom.hpp +484 -0
  355. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/int-nary.hpp +864 -0
  356. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/int-noview.hpp +251 -0
  357. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/int-post.cpp +561 -0
  358. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/int-ter.hpp +273 -0
  359. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/post.hpp +152 -0
  360. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/member.cpp +85 -0
  361. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/member.hh +125 -0
  362. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/member/prop.hpp +175 -0
  363. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/member/re-prop.hpp +178 -0
  364. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap.cpp +226 -0
  365. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap.hh +318 -0
  366. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap/base.hpp +88 -0
  367. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap/box.hpp +198 -0
  368. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap/dim.hpp +197 -0
  369. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap/man.hpp +119 -0
  370. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap/opt.hpp +153 -0
  371. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues.cpp +244 -0
  372. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues.hh +429 -0
  373. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/bool-base.hpp +98 -0
  374. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/bool-eq.hpp +174 -0
  375. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/bool-gq.hpp +149 -0
  376. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/bool-lq.hpp +151 -0
  377. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/graph.hpp +283 -0
  378. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/int-base.hpp +347 -0
  379. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/int-eq.hpp +167 -0
  380. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/int-gq.hpp +130 -0
  381. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/int-lq.hpp +154 -0
  382. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/range-event.hpp +51 -0
  383. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/sym-bit-matrix.hpp +69 -0
  384. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/precede.cpp +73 -0
  385. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/precede.hh +113 -0
  386. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/precede/single.hpp +232 -0
  387. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/propagator.hpp +311 -0
  388. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/rel.cpp +381 -0
  389. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/rel.hh +665 -0
  390. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/rel/eq.hpp +676 -0
  391. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/rel/lex.hpp +414 -0
  392. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/rel/lq-le.hpp +537 -0
  393. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/rel/nq.hpp +196 -0
  394. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sequence.cpp +197 -0
  395. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sequence.hh +154 -0
  396. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sequence/int.hpp +168 -0
  397. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sequence/set-op.hpp +154 -0
  398. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sequence/view.hpp +499 -0
  399. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sequence/violations.hpp +101 -0
  400. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted.cpp +82 -0
  401. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted.hh +107 -0
  402. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted/matching.hpp +173 -0
  403. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted/narrowing.hpp +250 -0
  404. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted/order.hpp +213 -0
  405. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted/propagate.hpp +646 -0
  406. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted/sortsup.hpp +564 -0
  407. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/support-values.hh +154 -0
  408. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/support-values.hpp +187 -0
  409. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task.hh +454 -0
  410. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/array.hpp +179 -0
  411. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/fwd-to-bwd.hpp +102 -0
  412. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/iter.hpp +92 -0
  413. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/man-to-opt.hpp +100 -0
  414. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/prop.hpp +70 -0
  415. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/purge.hpp +74 -0
  416. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/sort.hpp +234 -0
  417. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/tree.hpp +189 -0
  418. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary.cpp +258 -0
  419. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary.hh +839 -0
  420. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/detectable.hpp +116 -0
  421. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/edge-finding.hpp +78 -0
  422. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/man-prop.hpp +78 -0
  423. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/not-first-not-last.hpp +133 -0
  424. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/opt-prop.hpp +116 -0
  425. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/overload.hpp +93 -0
  426. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/subsumption.hpp +55 -0
  427. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/task-view.hpp +105 -0
  428. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/task.hpp +532 -0
  429. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/tree.hpp +229 -0
  430. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unshare.cpp +146 -0
  431. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/val-set.hh +118 -0
  432. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/val-set.hpp +186 -0
  433. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp.hpp +710 -0
  434. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/bool.cpp +65 -0
  435. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/bool.hpp +431 -0
  436. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/bool.vis +75 -0
  437. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/delta.hpp +64 -0
  438. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/int.cpp +361 -0
  439. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/int.hpp +1029 -0
  440. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/int.vis +117 -0
  441. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var/bool.cpp +53 -0
  442. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var/bool.hpp +121 -0
  443. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var/int.cpp +61 -0
  444. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var/int.hpp +145 -0
  445. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var/print.hpp +56 -0
  446. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph.hh +334 -0
  447. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph/bi-link.hpp +89 -0
  448. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph/comb-ptr-flag.hpp +78 -0
  449. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph/edge.hpp +124 -0
  450. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph/graph.hpp +202 -0
  451. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph/iter-prune-val.hpp +70 -0
  452. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph/node.hpp +171 -0
  453. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view.hpp +1690 -0
  454. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/bool-test.hpp +64 -0
  455. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/bool.hpp +314 -0
  456. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/cached.hpp +402 -0
  457. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/constint.hpp +324 -0
  458. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/int.hpp +264 -0
  459. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/iter.hpp +65 -0
  460. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/minus.hpp +300 -0
  461. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/neg-bool.hpp +177 -0
  462. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/offset.hpp +303 -0
  463. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/print.hpp +162 -0
  464. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/rel-test.hpp +231 -0
  465. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/scale.hpp +368 -0
  466. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/zero.hpp +305 -0
  467. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter.hh +96 -0
  468. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-add.hpp +144 -0
  469. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-append.hpp +222 -0
  470. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-array.hpp +139 -0
  471. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-cache.hpp +106 -0
  472. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-compl.hpp +220 -0
  473. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-diff.hpp +142 -0
  474. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-empty.hpp +111 -0
  475. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-inter.hpp +309 -0
  476. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-list.hpp +263 -0
  477. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-map.hpp +260 -0
  478. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-minmax.hpp +118 -0
  479. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-minus.hpp +107 -0
  480. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-negative.hpp +137 -0
  481. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-offset.hpp +127 -0
  482. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-operations.hpp +157 -0
  483. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-positive.hpp +139 -0
  484. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-rangelist.hpp +115 -0
  485. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-scale.hpp +238 -0
  486. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-singleton-append.hpp +111 -0
  487. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-singleton.hpp +86 -0
  488. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-size.hpp +146 -0
  489. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-union.hpp +361 -0
  490. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-values.hpp +140 -0
  491. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-array.hpp +120 -0
  492. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-bitset.hpp +114 -0
  493. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-inter.hpp +130 -0
  494. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-list.hpp +186 -0
  495. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-map.hpp +136 -0
  496. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-minus.hpp +105 -0
  497. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-negative.hpp +116 -0
  498. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-offset.hpp +113 -0
  499. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-positive.hpp +123 -0
  500. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-ranges.hpp +106 -0
  501. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-singleton.hpp +109 -0
  502. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-union.hpp +137 -0
  503. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-unique.hpp +118 -0
  504. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel.hh +194 -0
  505. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/advisor.hpp +102 -0
  506. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/allocators.hpp +476 -0
  507. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/archive.cpp +70 -0
  508. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/archive.hpp +298 -0
  509. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/array.hpp +2133 -0
  510. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/branch.cpp +121 -0
  511. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/branch.hpp +254 -0
  512. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/brancher-tiebreak.hpp +615 -0
  513. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/brancher-val.hpp +126 -0
  514. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/brancher-view.hpp +455 -0
  515. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/brancher.hpp +431 -0
  516. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/core.cpp +563 -0
  517. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/core.hpp +3668 -0
  518. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/exception.hpp +124 -0
  519. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/global-prop-info.hpp +258 -0
  520. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/macros.hpp +118 -0
  521. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/memory-config.hpp +154 -0
  522. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/memory-manager.cpp +53 -0
  523. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/memory-manager.hpp +511 -0
  524. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/modevent.hpp +69 -0
  525. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/propagator.hpp +699 -0
  526. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/range-list.hpp +184 -0
  527. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/region.cpp +85 -0
  528. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/region.hpp +459 -0
  529. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/shared-array.hpp +345 -0
  530. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/var-imp.hpp +332 -0
  531. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/var-type.hpp +767 -0
  532. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/var.hpp +144 -0
  533. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/view.hpp +715 -0
  534. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/wait.hh +244 -0
  535. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel.hh +1870 -0
  536. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/arithmetic.cpp +408 -0
  537. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/bool-expr.cpp +522 -0
  538. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/bool-expr.hpp +87 -0
  539. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/exception.hpp +84 -0
  540. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/lin-expr.cpp +594 -0
  541. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/lin-expr.hpp +297 -0
  542. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/lin-rel.cpp +414 -0
  543. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/lin-rel.hpp +85 -0
  544. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/matrix.hpp +247 -0
  545. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/optimize.hpp +62 -0
  546. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/reg.cpp +817 -0
  547. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/reg.hpp +94 -0
  548. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/set-expr.cpp +704 -0
  549. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/set-expr.hpp +96 -0
  550. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/set-rel.cpp +81 -0
  551. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/set-rel.hpp +84 -0
  552. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search.hh +458 -0
  553. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/bab.cpp +62 -0
  554. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/bab.hpp +91 -0
  555. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/dfs.cpp +62 -0
  556. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/dfs.hpp +84 -0
  557. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/options.cpp +72 -0
  558. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/options.hpp +49 -0
  559. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/bab.cpp +178 -0
  560. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/bab.hh +203 -0
  561. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/dfs.cpp +176 -0
  562. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/dfs.hh +195 -0
  563. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/engine.cpp +118 -0
  564. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/engine.hh +418 -0
  565. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/path.hh +477 -0
  566. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/restart.cpp +167 -0
  567. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/restart.hh +73 -0
  568. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/restart.cpp +62 -0
  569. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/restart.hpp +88 -0
  570. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/sequential/bab.hh +177 -0
  571. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/sequential/dfs.hh +176 -0
  572. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/sequential/path.hh +411 -0
  573. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/sequential/restart.hh +89 -0
  574. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/statistics.hpp +70 -0
  575. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/stop.cpp +83 -0
  576. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/stop.hpp +137 -0
  577. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/support.hh +91 -0
  578. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/search/worker.hh +202 -0
  579. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set.hh +1144 -0
  580. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/array-traits.hpp +86 -0
  581. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/array.cpp +219 -0
  582. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/array.hpp +64 -0
  583. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch.cpp +128 -0
  584. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch.hh +438 -0
  585. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch/post-val.hpp +107 -0
  586. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch/post-view.bs +109 -0
  587. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch/post-view.cpp +370 -0
  588. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch/select-val.hpp +204 -0
  589. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch/select-view.hpp +306 -0
  590. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/cardinality.cpp +65 -0
  591. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/convex.cpp +60 -0
  592. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/convex.hh +107 -0
  593. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/convex/conv.cpp +97 -0
  594. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/convex/conv.hpp +67 -0
  595. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/convex/hull.cpp +116 -0
  596. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/convex/hull.hpp +68 -0
  597. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/distinct.cpp +56 -0
  598. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/distinct.hh +79 -0
  599. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/distinct/atmostOne.cpp +162 -0
  600. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/distinct/atmostOne.hpp +66 -0
  601. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/dom.cpp +300 -0
  602. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/element.cpp +255 -0
  603. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/element.hh +218 -0
  604. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/element/disjoint.hpp +324 -0
  605. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/element/inter.hpp +308 -0
  606. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/element/union.hpp +342 -0
  607. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/element/unionConst.hpp +293 -0
  608. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/exception.hpp +146 -0
  609. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/exec.cpp +58 -0
  610. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int.cpp +191 -0
  611. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int.hh +459 -0
  612. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int/card.hpp +93 -0
  613. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int/channel-bool.hpp +282 -0
  614. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int/channel-int.hpp +158 -0
  615. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int/match.hpp +199 -0
  616. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int/minmax.hpp +645 -0
  617. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int/weights.hpp +353 -0
  618. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/limits.hpp +62 -0
  619. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/precede.cpp +74 -0
  620. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/precede.hh +115 -0
  621. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/precede/single.hpp +255 -0
  622. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-const-cvc.cpp +66 -0
  623. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-const-cvv.cpp +65 -0
  624. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-const-vcc.cpp +168 -0
  625. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-const-vcv.cpp +166 -0
  626. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-const-vvc.cpp +63 -0
  627. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-singleton.cpp +115 -0
  628. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-ternary.cpp +60 -0
  629. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op.cpp +105 -0
  630. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op.hh +297 -0
  631. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/common.hpp +619 -0
  632. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/inter.hpp +389 -0
  633. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/partition.hpp +164 -0
  634. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-compl-cvc.cpp +58 -0
  635. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-compl-cvv.cpp +54 -0
  636. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-compl-vvc.cpp +57 -0
  637. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-compl.cpp +54 -0
  638. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-nocompl-cvc.cpp +55 -0
  639. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-nocompl-cvv.cpp +54 -0
  640. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-nocompl-vvc.cpp +54 -0
  641. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-nocompl.cpp +54 -0
  642. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post.hpp +266 -0
  643. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/subofunion.hpp +166 -0
  644. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/superofinter.hpp +167 -0
  645. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/union.hpp +319 -0
  646. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel.cpp +232 -0
  647. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel.hh +322 -0
  648. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/common.hpp +125 -0
  649. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/eq.hpp +116 -0
  650. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/lq.hpp +417 -0
  651. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/nosubset.hpp +104 -0
  652. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/nq.hpp +160 -0
  653. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/re-eq.hpp +152 -0
  654. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/re-lq.hpp +182 -0
  655. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/re-subset.hpp +146 -0
  656. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/subset.hpp +96 -0
  657. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence.cpp +64 -0
  658. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence.hh +115 -0
  659. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence/common.hpp +100 -0
  660. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence/seq-u.cpp +145 -0
  661. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence/seq-u.hpp +79 -0
  662. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence/seq.cpp +76 -0
  663. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence/seq.hpp +69 -0
  664. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp.hpp +634 -0
  665. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/delta.hpp +78 -0
  666. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/integerset.cpp +348 -0
  667. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/integerset.hpp +426 -0
  668. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/iter.hpp +63 -0
  669. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/set.cpp +142 -0
  670. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/set.hpp +531 -0
  671. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/set.vis +197 -0
  672. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var/print.hpp +49 -0
  673. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var/set.cpp +111 -0
  674. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var/set.hpp +254 -0
  675. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view.hpp +1142 -0
  676. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view/cached.hpp +399 -0
  677. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view/complement.hpp +556 -0
  678. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view/const.hpp +723 -0
  679. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view/print.hpp +140 -0
  680. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view/set.hpp +263 -0
  681. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view/singleton.hpp +402 -0
  682. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support.hh +135 -0
  683. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/auto-link.hpp +73 -0
  684. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/bitset-base.hpp +379 -0
  685. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/bitset.hpp +81 -0
  686. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/block-allocator.hpp +169 -0
  687. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/cast.hpp +52 -0
  688. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/config.hpp.in +109 -0
  689. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/dynamic-array.hpp +140 -0
  690. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/dynamic-queue.hpp +156 -0
  691. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/dynamic-stack.hpp +186 -0
  692. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/exception.cpp +65 -0
  693. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/exception.hpp +102 -0
  694. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/heap.cpp +49 -0
  695. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/heap.hpp +593 -0
  696. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/int-type.hpp +172 -0
  697. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/macros.hpp +103 -0
  698. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/marked-pointer.hpp +79 -0
  699. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/random.hpp +128 -0
  700. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/sort.hpp +268 -0
  701. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/static-stack.hpp +148 -0
  702. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread.hpp +272 -0
  703. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/none.hpp +87 -0
  704. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/pthreads.cpp +66 -0
  705. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/pthreads.hpp +142 -0
  706. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/thread.cpp +72 -0
  707. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/thread.hpp +114 -0
  708. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/windows.cpp +68 -0
  709. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/windows.hpp +108 -0
  710. data/ext/libgecode3/vendor/gecode-3.7.3/gecode/support/timer.hpp +103 -0
  711. data/ext/libgecode3/vendor/gecode-3.7.3/install-sh +323 -0
  712. data/ext/libgecode3/vendor/gecode-3.7.3/misc/allexamples.perl +60 -0
  713. data/ext/libgecode3/vendor/gecode-3.7.3/misc/doxygen/back.png +0 -0
  714. data/ext/libgecode3/vendor/gecode-3.7.3/misc/doxygen/footer.html +3 -0
  715. data/ext/libgecode3/vendor/gecode-3.7.3/misc/doxygen/gecode-logo-100.png +0 -0
  716. data/ext/libgecode3/vendor/gecode-3.7.3/misc/doxygen/header.html +66 -0
  717. data/ext/libgecode3/vendor/gecode-3.7.3/misc/doxygen/stylesheet.css +468 -0
  718. data/ext/libgecode3/vendor/gecode-3.7.3/misc/fixautoheader.perl +55 -0
  719. data/ext/libgecode3/vendor/gecode-3.7.3/misc/fixmanifest.perl +84 -0
  720. data/ext/libgecode3/vendor/gecode-3.7.3/misc/fixproperties.sh +98 -0
  721. data/ext/libgecode3/vendor/gecode-3.7.3/misc/gecode-logo.ico +0 -0
  722. data/ext/libgecode3/vendor/gecode-3.7.3/misc/genbranch.perl +310 -0
  723. data/ext/libgecode3/vendor/gecode-3.7.3/misc/genchangelog.perl +249 -0
  724. data/ext/libgecode3/vendor/gecode-3.7.3/misc/gencurrentchangelog.perl +191 -0
  725. data/ext/libgecode3/vendor/gecode-3.7.3/misc/genlcovmakefile.perl +148 -0
  726. data/ext/libgecode3/vendor/gecode-3.7.3/misc/genlicense.perl +121 -0
  727. data/ext/libgecode3/vendor/gecode-3.7.3/misc/genrc.perl +236 -0
  728. data/ext/libgecode3/vendor/gecode-3.7.3/misc/genstatistics.perl +178 -0
  729. data/ext/libgecode3/vendor/gecode-3.7.3/misc/gentxtchangelog.perl +198 -0
  730. data/ext/libgecode3/vendor/gecode-3.7.3/misc/genvarimp.perl +877 -0
  731. data/ext/libgecode3/vendor/gecode-3.7.3/misc/genxcodeproj.perl +144 -0
  732. data/ext/libgecode3/vendor/gecode-3.7.3/misc/getrevision.perl +47 -0
  733. data/ext/libgecode3/vendor/gecode-3.7.3/misc/makedepend.perl +85 -0
  734. data/ext/libgecode3/vendor/gecode-3.7.3/misc/svn-ignore-root.txt +43 -0
  735. data/ext/libgecode3/vendor/gecode-3.7.3/misc/svn-ignore.txt +18 -0
  736. data/ext/libgecode3/vendor/gecode-3.7.3/test/afc.cpp +143 -0
  737. data/ext/libgecode3/vendor/gecode-3.7.3/test/array.cpp +277 -0
  738. data/ext/libgecode3/vendor/gecode-3.7.3/test/assign.cpp +278 -0
  739. data/ext/libgecode3/vendor/gecode-3.7.3/test/assign.hh +119 -0
  740. data/ext/libgecode3/vendor/gecode-3.7.3/test/assign/bool.cpp +61 -0
  741. data/ext/libgecode3/vendor/gecode-3.7.3/test/assign/int.cpp +70 -0
  742. data/ext/libgecode3/vendor/gecode-3.7.3/test/assign/set.cpp +72 -0
  743. data/ext/libgecode3/vendor/gecode-3.7.3/test/branch.cpp +504 -0
  744. data/ext/libgecode3/vendor/gecode-3.7.3/test/branch.hh +119 -0
  745. data/ext/libgecode3/vendor/gecode-3.7.3/test/branch/bool.cpp +61 -0
  746. data/ext/libgecode3/vendor/gecode-3.7.3/test/branch/int.cpp +70 -0
  747. data/ext/libgecode3/vendor/gecode-3.7.3/test/branch/set.cpp +72 -0
  748. data/ext/libgecode3/vendor/gecode-3.7.3/test/int.cpp +655 -0
  749. data/ext/libgecode3/vendor/gecode-3.7.3/test/int.hh +353 -0
  750. data/ext/libgecode3/vendor/gecode-3.7.3/test/int.hpp +314 -0
  751. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/arithmetic.cpp +772 -0
  752. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/basic.cpp +82 -0
  753. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/bin-packing.cpp +237 -0
  754. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/bool.cpp +500 -0
  755. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/channel.cpp +234 -0
  756. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/circuit.cpp +359 -0
  757. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/count.cpp +410 -0
  758. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/cumulative.cpp +560 -0
  759. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/cumulatives.cpp +276 -0
  760. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/distinct.cpp +248 -0
  761. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/dom.cpp +174 -0
  762. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/element.cpp +602 -0
  763. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/exec.cpp +150 -0
  764. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/extensional.cpp +571 -0
  765. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/gcc.cpp +320 -0
  766. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/linear.cpp +394 -0
  767. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/member.cpp +138 -0
  768. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/mm-arithmetic.cpp +368 -0
  769. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/mm-bool.cpp +4344 -0
  770. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/mm-count.cpp +295 -0
  771. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/mm-lin.cpp +2179 -0
  772. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/mm-rel.cpp +136 -0
  773. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/no-overlap.cpp +259 -0
  774. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/nvalues.cpp +241 -0
  775. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/precede.cpp +115 -0
  776. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/rel.cpp +568 -0
  777. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/sequence.cpp +168 -0
  778. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/sorted.cpp +165 -0
  779. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/unary.cpp +327 -0
  780. data/ext/libgecode3/vendor/gecode-3.7.3/test/int/unshare.cpp +109 -0
  781. data/ext/libgecode3/vendor/gecode-3.7.3/test/search.cpp +487 -0
  782. data/ext/libgecode3/vendor/gecode-3.7.3/test/set.cpp +638 -0
  783. data/ext/libgecode3/vendor/gecode-3.7.3/test/set.hh +362 -0
  784. data/ext/libgecode3/vendor/gecode-3.7.3/test/set.hpp +121 -0
  785. data/ext/libgecode3/vendor/gecode-3.7.3/test/set/construct.cpp +225 -0
  786. data/ext/libgecode3/vendor/gecode-3.7.3/test/set/convex.cpp +139 -0
  787. data/ext/libgecode3/vendor/gecode-3.7.3/test/set/distinct.cpp +116 -0
  788. data/ext/libgecode3/vendor/gecode-3.7.3/test/set/dom.cpp +346 -0
  789. data/ext/libgecode3/vendor/gecode-3.7.3/test/set/element.cpp +397 -0
  790. data/ext/libgecode3/vendor/gecode-3.7.3/test/set/exec.cpp +86 -0
  791. data/ext/libgecode3/vendor/gecode-3.7.3/test/set/int.cpp +532 -0
  792. data/ext/libgecode3/vendor/gecode-3.7.3/test/set/mm-set.cpp +4532 -0
  793. data/ext/libgecode3/vendor/gecode-3.7.3/test/set/precede.cpp +136 -0
  794. data/ext/libgecode3/vendor/gecode-3.7.3/test/set/rel-op-const.cpp +368 -0
  795. data/ext/libgecode3/vendor/gecode-3.7.3/test/set/rel-op.cpp +504 -0
  796. data/ext/libgecode3/vendor/gecode-3.7.3/test/set/rel.cpp +157 -0
  797. data/ext/libgecode3/vendor/gecode-3.7.3/test/set/sequence.cpp +133 -0
  798. data/ext/libgecode3/vendor/gecode-3.7.3/test/test.cpp +281 -0
  799. data/ext/libgecode3/vendor/gecode-3.7.3/test/test.hh +161 -0
  800. data/ext/libgecode3/vendor/gecode-3.7.3/test/test.hpp +76 -0
  801. data/ext/libgecode3/vendor/gecode-3.7.3/tools/flatzinc/fz.cpp +93 -0
  802. data/ext/libgecode3/vendor/gecode-3.7.3/tools/flatzinc/mzn-gecode.bat.in +41 -0
  803. data/ext/libgecode3/vendor/gecode-3.7.3/tools/flatzinc/mzn-gecode.in +41 -0
  804. data/lib/dep-selector-libgecode.rb +15 -0
  805. data/lib/dep-selector-libgecode/version.rb +3 -0
  806. 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