gecoder-with-gecode 0.9.0 → 0.9.1

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