dep-selector-libgecode 1.0.0.alpha.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
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