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,131 @@
1
+ /**** , [ bobocheTree.cc ],
2
+ Copyright (c) 2008 Universite d'Orleans - Jeremie Vautard
3
+
4
+ Permission is hereby granted, free of charge, to any person obtaining a copy
5
+ of this software and associated documentation files (the "Software"), to deal
6
+ in the Software without restriction, including without limitation the rights
7
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
8
+ copies of the Software, and to permit persons to whom the Software is
9
+ furnished to do so, subject to the following conditions:
10
+
11
+ The above copyright notice and this permission notice shall be included in
12
+ all copies or substantial portions of the Software.
13
+
14
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
15
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
16
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
17
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
18
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
19
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
20
+ THE SOFTWARE.
21
+ *************************************************************************/
22
+
23
+ #include "Strategy.hh"
24
+
25
+
26
+ StrategyImp::StrategyImp(StrategyNode tag) {
27
+ // cout<<"Strategy imp constructor"<<endl;
28
+ pointers=1;
29
+ zetag=tag;
30
+ // cout<<"strategyimp constructor fini"<<endl;
31
+ }
32
+
33
+
34
+ StrategyImp::~StrategyImp() {
35
+ }
36
+
37
+
38
+ Strategy::Strategy() {
39
+ // cout<<"strategy default"<<endl;
40
+ StrategyNode tag = StrategyNode::Dummy();
41
+ imp = new StrategyImp(tag);
42
+ }
43
+
44
+ Strategy::Strategy(StrategyNode tag) {
45
+ // cout<<"Strategy with tag"<<endl;
46
+ imp = new StrategyImp(tag);
47
+ //cout<<"passed imp creation. End of strategy creator"<<endl;
48
+ }
49
+
50
+
51
+ Strategy::Strategy(bool qt,int VMin, int VMax, int scope, vector<int> values) {
52
+ // cout<<"strategy with values"<<endl;
53
+ StrategyNode tag(2,qt,VMin,VMax,scope);
54
+ tag.valeurs=values;
55
+ imp = new StrategyImp(tag);
56
+
57
+ }
58
+
59
+
60
+ Strategy::Strategy(const Strategy& tree) {
61
+ // cout<<"Strategy copy"<<endl;
62
+ imp = tree.imp;
63
+ (imp->pointers)++;
64
+ }
65
+
66
+
67
+ Strategy& Strategy::operator = (const Strategy& rvalue) {
68
+ // cout<<"Strategy = "<<endl;
69
+ if (imp != NULL) {
70
+ (imp->pointers)--;
71
+ if ( (imp->pointers) == 0) {
72
+ // cout<<"no more references for the imp. Delete"<<endl;
73
+ delete imp;
74
+ }
75
+ }
76
+ imp = rvalue.imp;
77
+ (imp->pointers)++;
78
+ return *this;
79
+ }
80
+
81
+
82
+ Strategy::~Strategy() {
83
+ // cout<<"strategy destructor"<<endl;
84
+ (imp->pointers)--;
85
+ if ( (imp->pointers) == 0) {
86
+ // cout<<"no more references for the imp. Delete"<<endl;
87
+ delete imp;
88
+ }
89
+ }
90
+
91
+
92
+ StrategyNode Strategy::getTag() {
93
+ return imp->zetag;
94
+ }
95
+
96
+
97
+ int Strategy::degree() {
98
+ return imp->nodes.size();
99
+ }
100
+
101
+
102
+ Strategy Strategy::getChild(int i) {
103
+ if (i<0 || i>=degree() ) {cout<<"Child "<<i<<" does not exist"<<endl;abort();}
104
+ return imp->nodes[i];
105
+ }
106
+
107
+
108
+ void Strategy::attach(Strategy child) {
109
+ if (child.isDummy()) {
110
+ for (int i=0;i<child.degree();i++) {
111
+ imp->nodes.push_back(child.getChild(i));
112
+ }
113
+ }
114
+ else
115
+ imp->nodes.push_back(child);
116
+ }
117
+
118
+ Strategy Strategy::STrue() {
119
+ Strategy ret(StrategyNode::STrue());
120
+ return ret;
121
+ }
122
+
123
+ Strategy Strategy::SFalse() {
124
+ Strategy ret(StrategyNode::SFalse());
125
+ return ret;
126
+ }
127
+
128
+ Strategy Strategy::Dummy() {
129
+ Strategy ret(StrategyNode::Dummy());
130
+ return ret;
131
+ }
@@ -0,0 +1,91 @@
1
+ /**** , [ bobocheTree.hh ],
2
+ Copyright (c) 2008 Universite d'Orleans - Jeremie Vautard
3
+
4
+ Permission is hereby granted, free of charge, to any person obtaining a copy
5
+ of this software and associated documentation files (the "Software"), to deal
6
+ in the Software without restriction, including without limitation the rights
7
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
8
+ copies of the Software, and to permit persons to whom the Software is
9
+ furnished to do so, subject to the following conditions:
10
+
11
+ The above copyright notice and this permission notice shall be included in
12
+ all copies or substantial portions of the Software.
13
+
14
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
15
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
16
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
17
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
18
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
19
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
20
+ THE SOFTWARE.
21
+ *************************************************************************/
22
+
23
+ #ifndef __BOBOCHE_TREE__
24
+ #define __BOBOCHE_TREE__
25
+ #include <vector>
26
+ #include <iostream>
27
+ #include <string>
28
+ #include "StrategyNode.hh"
29
+ #include "qecode.hh"
30
+
31
+ using namespace std;
32
+ class Strategy;
33
+
34
+ class StrategyImp {
35
+ friend class Strategy;
36
+ private:
37
+ unsigned int pointers;
38
+ StrategyNode zetag;
39
+ vector<Strategy> nodes;
40
+ public:
41
+ StrategyImp(StrategyNode tag);
42
+ ~StrategyImp();
43
+ };
44
+
45
+ /** \brief Strategy of a QCSP+ problem
46
+ *
47
+ * This class represents a solution of a QCSP+. Basically it consists in the tree-representation of the winning strategy.
48
+ * 3 spacial cases exists : the trivially true strategy, the trivially false strategy (used for the UNSAT answer),
49
+ * and the "Dummy" node, used to link together each tree of a strategy which first player is universal (such a strategy is not a tree but a forest)
50
+ */
51
+ class QECODE_VTABLE_EXPORT Strategy {
52
+ friend class StrategyImp;
53
+ private:
54
+ StrategyImp* imp;
55
+ public:
56
+ QECODE_EXPORT Strategy(); ///< default constructor
57
+ QECODE_EXPORT Strategy(StrategyNode tag); ///< builds a strategy on a given strategy node (deprecated)
58
+
59
+ /* \brief builds a one node (sub)strategy
60
+ *
61
+ * this method builds a one-node strategy that will typically be attached as child of another strategy. A strategy node embeds informations about quantification,
62
+ * scope and values of variables that must be provided
63
+ * @param qt quantifier of the scope this node represents
64
+ * @param VMin index of the first variable of the scope this node represents
65
+ * @param VMax index of the last variable of the scope this node represents
66
+ * @param values values taken by the variables between VMin and VMax in this part of the strategy
67
+ */
68
+ QECODE_EXPORT Strategy(bool qt,int VMin, int VMax, int scope,vector<int> values);
69
+ QECODE_EXPORT Strategy(const Strategy& tree); ///< copy constructor
70
+ QECODE_EXPORT Strategy& operator = (const Strategy& rvalue);
71
+ QECODE_EXPORT ~Strategy();
72
+ QECODE_EXPORT StrategyNode getTag();///< DEPRECATED returns the StrategyNode object corresponding to the root of this strategy
73
+ QECODE_EXPORT int degree();///< returns this strategy's number of children
74
+ QECODE_EXPORT Strategy getChild(int i); ///< returns the i-th child of this strategy
75
+ QECODE_EXPORT void attach(Strategy child);///< attach the strategy given in parameter as a child of the current strategy
76
+
77
+ QECODE_EXPORT bool isFalse() {return imp->zetag.isFalse();} ///< returns wether this strategy represents the UNSAT answer
78
+ QECODE_EXPORT bool isTrue() {return imp->zetag.isTrue();} ///< returns wether this strategy is trivially true
79
+ QECODE_EXPORT bool isDummy() {return imp->zetag.isDummy();} ///< returns wether this strategy is a set of
80
+ QECODE_EXPORT static Strategy STrue(); ///< returns the trivially false strategy
81
+ QECODE_EXPORT static Strategy SFalse(); ///< returns the trivially true strategy
82
+ QECODE_EXPORT static Strategy Dummy(); ///< returns a "dummy" node
83
+
84
+ QECODE_EXPORT bool quantifier() {return imp->zetag.quantifier;} ///< returns the quantifier of the root (true for universal, false for existential)
85
+ QECODE_EXPORT int VMin() {return imp->zetag.Vmin;} ///< returns the index of the first variable of the scope of the root
86
+ QECODE_EXPORT int VMax() {return imp->zetag.Vmax;} ///< returns the index of the last variable of the scope of the root
87
+ QECODE_EXPORT int scope() {return imp->zetag.scope;} ///< returns the scope of the root
88
+ QECODE_EXPORT vector<int> values() {return imp->zetag.valeurs;} ///< returns the values taken by the variables of the scope of the root in this (sub)strategy
89
+ QECODE_EXPORT int value(int var) {return imp->zetag.valeurs[var];}
90
+ };
91
+ #endif
@@ -0,0 +1,62 @@
1
+ /**** , [ StrategyNode.cc ],
2
+ Copyright (c) 2008 Universite d'Orleans - Jeremie Vautard
3
+
4
+ Permission is hereby granted, free of charge, to any person obtaining a copy
5
+ of this software and associated documentation files (the "Software"), to deal
6
+ in the Software without restriction, including without limitation the rights
7
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
8
+ copies of the Software, and to permit persons to whom the Software is
9
+ furnished to do so, subject to the following conditions:
10
+
11
+ The above copyright notice and this permission notice shall be included in
12
+ all copies or substantial portions of the Software.
13
+
14
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
15
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
16
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
17
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
18
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
19
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
20
+ THE SOFTWARE.
21
+ *************************************************************************/
22
+
23
+ #include "StrategyNode.hh"
24
+
25
+ StrategyNode::StrategyNode() {
26
+ type=0;
27
+ quantifier=true;
28
+ Vmin=-1;
29
+ Vmax=-1;
30
+ scope=-1;
31
+ }
32
+
33
+ StrategyNode::StrategyNode(int typ,bool qt,int min, int max, int sco) {
34
+ type=typ;
35
+ quantifier=qt;
36
+ Vmin=min;
37
+ Vmax=max;
38
+ scope=sco;
39
+ }
40
+
41
+ /*
42
+ StrategyNode::StrategyNode(const StrategyNode& st) {
43
+ cout<<"Strategynode copy constructor"<<endl;
44
+ type=st.type;
45
+ quantifier=st.quantifier;
46
+ Vmin=st.Vmin;
47
+ Vmax=st.Vmax;
48
+ if (type == 2) {
49
+ valeurs=new int[Vmax-Vmin];
50
+ for (int i=0;i<Vmax-Vmin;i++)
51
+ valeurs[i]=st.valeurs[i];
52
+ }
53
+ }
54
+ */
55
+
56
+ StrategyNode::~StrategyNode() {
57
+ /* if (type == 2) {
58
+ cout<<"delete valeurs"<<endl;
59
+ delete [] valeurs;
60
+ }*/
61
+ }
62
+
@@ -0,0 +1,47 @@
1
+ /**** , [ StrategyNode.hh ],
2
+ Copyright (c) 2008 Universite d'Orleans - Jeremie Vautard
3
+
4
+ Permission is hereby granted, free of charge, to any person obtaining a copy
5
+ of this software and associated documentation files (the "Software"), to deal
6
+ in the Software without restriction, including without limitation the rights
7
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
8
+ copies of the Software, and to permit persons to whom the Software is
9
+ furnished to do so, subject to the following conditions:
10
+
11
+ The above copyright notice and this permission notice shall be included in
12
+ all copies or substantial portions of the Software.
13
+
14
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
15
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
16
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
17
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
18
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
19
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
20
+ THE SOFTWARE.
21
+ *************************************************************************/
22
+ #ifndef __QECODE_STRATEGY_NODE__
23
+ #define __QECODE_STRATEGY_NODE__
24
+ #include "qecode.hh"
25
+ #include <iostream>
26
+ #include <vector>
27
+ using namespace std;
28
+ class QECODE_VTABLE_EXPORT StrategyNode {
29
+ public:
30
+ int type; // 0 = dummy, 1 = empty, 2 = normal.
31
+ bool quantifier;
32
+ int Vmin;
33
+ int Vmax;
34
+ int scope;
35
+ vector<int> valeurs;
36
+
37
+ QECODE_EXPORT StrategyNode();
38
+ QECODE_EXPORT StrategyNode(int type,bool qt,int Vmin, int Vmax, int scope);
39
+ QECODE_EXPORT ~StrategyNode();
40
+ QECODE_EXPORT static StrategyNode STrue() { return StrategyNode(1,true,-1,-1,-1);}
41
+ QECODE_EXPORT static StrategyNode SFalse() { return StrategyNode(1,false,-1,-1,-1);}
42
+ QECODE_EXPORT static StrategyNode Dummy() { return StrategyNode(0,true,-1,-1,-1);}
43
+ QECODE_EXPORT bool isFalse() { return ( (type==1) && (quantifier == false) );}
44
+ QECODE_EXPORT bool isTrue() { return ( (type==1) && (quantifier == true) );}
45
+ QECODE_EXPORT bool isDummy() { return (type==0);}
46
+ };
47
+ #endif
@@ -0,0 +1,2264 @@
1
+ @%:@! /bin/sh
2
+ @%:@ From configure.ac Revision.
3
+ @%:@ Guess values for system-dependent variables and create Makefiles.
4
+ @%:@ Generated by GNU Autoconf 2.59 for QECODE 1.2.
5
+ @%:@
6
+ @%:@ Report bugs to <jeremie.vautard@univ-orleans.fr>.
7
+ @%:@
8
+ @%:@ Copyright (C) 2003 Free Software Foundation, Inc.
9
+ @%:@ This configure script is free software; the Free Software Foundation
10
+ @%:@ gives unlimited permission to copy, distribute and modify it.
11
+ ## --------------------- ##
12
+ ## M4sh Initialization. ##
13
+ ## --------------------- ##
14
+
15
+ # Be Bourne compatible
16
+ if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then
17
+ emulate sh
18
+ NULLCMD=:
19
+ # Zsh 3.x and 4.x performs word splitting on ${1+"$@"}, which
20
+ # is contrary to our usage. Disable this feature.
21
+ alias -g '${1+"$@"}'='"$@"'
22
+ elif test -n "${BASH_VERSION+set}" && (set -o posix) >/dev/null 2>&1; then
23
+ set -o posix
24
+ fi
25
+ DUALCASE=1; export DUALCASE # for MKS sh
26
+
27
+ # Support unset when possible.
28
+ if ( (MAIL=60; unset MAIL) || exit) >/dev/null 2>&1; then
29
+ as_unset=unset
30
+ else
31
+ as_unset=false
32
+ fi
33
+
34
+
35
+ # Work around bugs in pre-3.0 UWIN ksh.
36
+ $as_unset ENV MAIL MAILPATH
37
+ PS1='$ '
38
+ PS2='> '
39
+ PS4='+ '
40
+
41
+ # NLS nuisances.
42
+ for as_var in \
43
+ LANG LANGUAGE LC_ADDRESS LC_ALL LC_COLLATE LC_CTYPE LC_IDENTIFICATION \
44
+ LC_MEASUREMENT LC_MESSAGES LC_MONETARY LC_NAME LC_NUMERIC LC_PAPER \
45
+ LC_TELEPHONE LC_TIME
46
+ do
47
+ if (set +x; test -z "`(eval $as_var=C; export $as_var) 2>&1`"); then
48
+ eval $as_var=C; export $as_var
49
+ else
50
+ $as_unset $as_var
51
+ fi
52
+ done
53
+
54
+ # Required to use basename.
55
+ if expr a : '\(a\)' >/dev/null 2>&1; then
56
+ as_expr=expr
57
+ else
58
+ as_expr=false
59
+ fi
60
+
61
+ if (basename /) >/dev/null 2>&1 && test "X`basename / 2>&1`" = "X/"; then
62
+ as_basename=basename
63
+ else
64
+ as_basename=false
65
+ fi
66
+
67
+
68
+ # Name of the executable.
69
+ as_me=`$as_basename "$0" ||
70
+ $as_expr X/"$0" : '.*/\([^/][^/]*\)/*$' \| \
71
+ X"$0" : 'X\(//\)$' \| \
72
+ X"$0" : 'X\(/\)$' \| \
73
+ . : '\(.\)' 2>/dev/null ||
74
+ echo X/"$0" |
75
+ sed '/^.*\/\([^/][^/]*\)\/*$/{ s//\1/; q; }
76
+ /^X\/\(\/\/\)$/{ s//\1/; q; }
77
+ /^X\/\(\/\).*/{ s//\1/; q; }
78
+ s/.*/./; q'`
79
+
80
+
81
+ # PATH needs CR, and LINENO needs CR and PATH.
82
+ # Avoid depending upon Character Ranges.
83
+ as_cr_letters='abcdefghijklmnopqrstuvwxyz'
84
+ as_cr_LETTERS='ABCDEFGHIJKLMNOPQRSTUVWXYZ'
85
+ as_cr_Letters=$as_cr_letters$as_cr_LETTERS
86
+ as_cr_digits='0123456789'
87
+ as_cr_alnum=$as_cr_Letters$as_cr_digits
88
+
89
+ # The user is always right.
90
+ if test "${PATH_SEPARATOR+set}" != set; then
91
+ echo "#! /bin/sh" >conf$$.sh
92
+ echo "exit 0" >>conf$$.sh
93
+ chmod +x conf$$.sh
94
+ if (PATH="/nonexistent;."; conf$$.sh) >/dev/null 2>&1; then
95
+ PATH_SEPARATOR=';'
96
+ else
97
+ PATH_SEPARATOR=:
98
+ fi
99
+ rm -f conf$$.sh
100
+ fi
101
+
102
+
103
+ as_lineno_1=$LINENO
104
+ as_lineno_2=$LINENO
105
+ as_lineno_3=`(expr $as_lineno_1 + 1) 2>/dev/null`
106
+ test "x$as_lineno_1" != "x$as_lineno_2" &&
107
+ test "x$as_lineno_3" = "x$as_lineno_2" || {
108
+ # Find who we are. Look in the path if we contain no path at all
109
+ # relative or not.
110
+ case $0 in
111
+ *[\\/]* ) as_myself=$0 ;;
112
+ *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
113
+ for as_dir in $PATH
114
+ do
115
+ IFS=$as_save_IFS
116
+ test -z "$as_dir" && as_dir=.
117
+ test -r "$as_dir/$0" && as_myself=$as_dir/$0 && break
118
+ done
119
+
120
+ ;;
121
+ esac
122
+ # We did not find ourselves, most probably we were run as `sh COMMAND'
123
+ # in which case we are not to be found in the path.
124
+ if test "x$as_myself" = x; then
125
+ as_myself=$0
126
+ fi
127
+ if test ! -f "$as_myself"; then
128
+ { echo "$as_me: error: cannot find myself; rerun with an absolute path" >&2
129
+ { (exit 1); exit 1; }; }
130
+ fi
131
+ case $CONFIG_SHELL in
132
+ '')
133
+ as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
134
+ for as_dir in /bin$PATH_SEPARATOR/usr/bin$PATH_SEPARATOR$PATH
135
+ do
136
+ IFS=$as_save_IFS
137
+ test -z "$as_dir" && as_dir=.
138
+ for as_base in sh bash ksh sh5; do
139
+ case $as_dir in
140
+ /*)
141
+ if ("$as_dir/$as_base" -c '
142
+ as_lineno_1=$LINENO
143
+ as_lineno_2=$LINENO
144
+ as_lineno_3=`(expr $as_lineno_1 + 1) 2>/dev/null`
145
+ test "x$as_lineno_1" != "x$as_lineno_2" &&
146
+ test "x$as_lineno_3" = "x$as_lineno_2" ') 2>/dev/null; then
147
+ $as_unset BASH_ENV || test "${BASH_ENV+set}" != set || { BASH_ENV=; export BASH_ENV; }
148
+ $as_unset ENV || test "${ENV+set}" != set || { ENV=; export ENV; }
149
+ CONFIG_SHELL=$as_dir/$as_base
150
+ export CONFIG_SHELL
151
+ exec "$CONFIG_SHELL" "$0" ${1+"$@"}
152
+ fi;;
153
+ esac
154
+ done
155
+ done
156
+ ;;
157
+ esac
158
+
159
+ # Create $as_me.lineno as a copy of $as_myself, but with $LINENO
160
+ # uniformly replaced by the line number. The first 'sed' inserts a
161
+ # line-number line before each line; the second 'sed' does the real
162
+ # work. The second script uses 'N' to pair each line-number line
163
+ # with the numbered line, and appends trailing '-' during
164
+ # substitution so that $LINENO is not a special case at line end.
165
+ # (Raja R Harinath suggested sed '=', and Paul Eggert wrote the
166
+ # second 'sed' script. Blame Lee E. McMahon for sed's syntax. :-)
167
+ sed '=' <$as_myself |
168
+ sed '
169
+ N
170
+ s,$,-,
171
+ : loop
172
+ s,^\(['$as_cr_digits']*\)\(.*\)[$]LINENO\([^'$as_cr_alnum'_]\),\1\2\1\3,
173
+ t loop
174
+ s,-$,,
175
+ s,^['$as_cr_digits']*\n,,
176
+ ' >$as_me.lineno &&
177
+ chmod +x $as_me.lineno ||
178
+ { echo "$as_me: error: cannot create $as_me.lineno; rerun with a POSIX shell" >&2
179
+ { (exit 1); exit 1; }; }
180
+
181
+ # Don't try to exec as it changes $[0], causing all sort of problems
182
+ # (the dirname of $[0] is not the place where we might find the
183
+ # original and so on. Autoconf is especially sensible to this).
184
+ . ./$as_me.lineno
185
+ # Exit status is that of the last command.
186
+ exit
187
+ }
188
+
189
+
190
+ case `echo "testing\c"; echo 1,2,3`,`echo -n testing; echo 1,2,3` in
191
+ *c*,-n*) ECHO_N= ECHO_C='
192
+ ' ECHO_T=' ' ;;
193
+ *c*,* ) ECHO_N=-n ECHO_C= ECHO_T= ;;
194
+ *) ECHO_N= ECHO_C='\c' ECHO_T= ;;
195
+ esac
196
+
197
+ if expr a : '\(a\)' >/dev/null 2>&1; then
198
+ as_expr=expr
199
+ else
200
+ as_expr=false
201
+ fi
202
+
203
+ rm -f conf$$ conf$$.exe conf$$.file
204
+ echo >conf$$.file
205
+ if ln -s conf$$.file conf$$ 2>/dev/null; then
206
+ # We could just check for DJGPP; but this test a) works b) is more generic
207
+ # and c) will remain valid once DJGPP supports symlinks (DJGPP 2.04).
208
+ if test -f conf$$.exe; then
209
+ # Don't use ln at all; we don't have any links
210
+ as_ln_s='cp -p'
211
+ else
212
+ as_ln_s='ln -s'
213
+ fi
214
+ elif ln conf$$.file conf$$ 2>/dev/null; then
215
+ as_ln_s=ln
216
+ else
217
+ as_ln_s='cp -p'
218
+ fi
219
+ rm -f conf$$ conf$$.exe conf$$.file
220
+
221
+ if mkdir -p . 2>/dev/null; then
222
+ as_mkdir_p=:
223
+ else
224
+ test -d ./-p && rmdir ./-p
225
+ as_mkdir_p=false
226
+ fi
227
+
228
+ as_executable_p="test -f"
229
+
230
+ # Sed expression to map a string onto a valid CPP name.
231
+ as_tr_cpp="eval sed 'y%*$as_cr_letters%P$as_cr_LETTERS%;s%[^_$as_cr_alnum]%_%g'"
232
+
233
+ # Sed expression to map a string onto a valid variable name.
234
+ as_tr_sh="eval sed 'y%*+%pp%;s%[^_$as_cr_alnum]%_%g'"
235
+
236
+
237
+ # IFS
238
+ # We need space, tab and new line, in precisely that order.
239
+ as_nl='
240
+ '
241
+ IFS=" $as_nl"
242
+
243
+ # CDPATH.
244
+ $as_unset CDPATH
245
+
246
+
247
+ # Name of the host.
248
+ # hostname on some systems (SVR3.2, Linux) returns a bogus exit status,
249
+ # so uname gets run too.
250
+ ac_hostname=`(hostname || uname -n) 2>/dev/null | sed 1q`
251
+
252
+ exec 6>&1
253
+
254
+ #
255
+ # Initializations.
256
+ #
257
+ ac_default_prefix=/usr/local
258
+ ac_config_libobj_dir=.
259
+ cross_compiling=no
260
+ subdirs=
261
+ MFLAGS=
262
+ MAKEFLAGS=
263
+ SHELL=${CONFIG_SHELL-/bin/sh}
264
+
265
+ # Maximum number of lines to put in a shell here document.
266
+ # This variable seems obsolete. It should probably be removed, and
267
+ # only ac_max_sed_lines should be used.
268
+ : ${ac_max_here_lines=38}
269
+
270
+ # Identity of this package.
271
+ PACKAGE_NAME='QECODE'
272
+ PACKAGE_TARNAME='qecode'
273
+ PACKAGE_VERSION='1.2'
274
+ PACKAGE_STRING='QECODE 1.2'
275
+ PACKAGE_BUGREPORT='jeremie.vautard@univ-orleans.fr'
276
+
277
+ ac_unique_file="qecode.hh"
278
+ ac_subst_vars='SHELL PATH_SEPARATOR PACKAGE_NAME PACKAGE_TARNAME PACKAGE_VERSION PACKAGE_STRING PACKAGE_BUGREPORT exec_prefix prefix program_transform_name bindir sbindir libexecdir datadir sysconfdir sharedstatedir localstatedir libdir includedir oldincludedir infodir mandir build_alias host_alias target_alias DEFS ECHO_C ECHO_N ECHO_T LIBS QECODE LIB@&t@OBJS LTLIBOBJS'
279
+ ac_subst_files=''
280
+
281
+ # Initialize some variables set by options.
282
+ ac_init_help=
283
+ ac_init_version=false
284
+ # The variables have the same names as the options, with
285
+ # dashes changed to underlines.
286
+ cache_file=/dev/null
287
+ exec_prefix=NONE
288
+ no_create=
289
+ no_recursion=
290
+ prefix=NONE
291
+ program_prefix=NONE
292
+ program_suffix=NONE
293
+ program_transform_name=s,x,x,
294
+ silent=
295
+ site=
296
+ srcdir=
297
+ verbose=
298
+ x_includes=NONE
299
+ x_libraries=NONE
300
+
301
+ # Installation directory options.
302
+ # These are left unexpanded so users can "make install exec_prefix=/foo"
303
+ # and all the variables that are supposed to be based on exec_prefix
304
+ # by default will actually change.
305
+ # Use braces instead of parens because sh, perl, etc. also accept them.
306
+ bindir='${exec_prefix}/bin'
307
+ sbindir='${exec_prefix}/sbin'
308
+ libexecdir='${exec_prefix}/libexec'
309
+ datadir='${prefix}/share'
310
+ sysconfdir='${prefix}/etc'
311
+ sharedstatedir='${prefix}/com'
312
+ localstatedir='${prefix}/var'
313
+ libdir='${exec_prefix}/lib'
314
+ includedir='${prefix}/include'
315
+ oldincludedir='/usr/include'
316
+ infodir='${prefix}/info'
317
+ mandir='${prefix}/man'
318
+
319
+ ac_prev=
320
+ for ac_option
321
+ do
322
+ # If the previous option needs an argument, assign it.
323
+ if test -n "$ac_prev"; then
324
+ eval "$ac_prev=\$ac_option"
325
+ ac_prev=
326
+ continue
327
+ fi
328
+
329
+ ac_optarg=`expr "x$ac_option" : 'x[^=]*=\(.*\)'`
330
+
331
+ # Accept the important Cygnus configure options, so we can diagnose typos.
332
+
333
+ case $ac_option in
334
+
335
+ -bindir | --bindir | --bindi | --bind | --bin | --bi)
336
+ ac_prev=bindir ;;
337
+ -bindir=* | --bindir=* | --bindi=* | --bind=* | --bin=* | --bi=*)
338
+ bindir=$ac_optarg ;;
339
+
340
+ -build | --build | --buil | --bui | --bu)
341
+ ac_prev=build_alias ;;
342
+ -build=* | --build=* | --buil=* | --bui=* | --bu=*)
343
+ build_alias=$ac_optarg ;;
344
+
345
+ -cache-file | --cache-file | --cache-fil | --cache-fi \
346
+ | --cache-f | --cache- | --cache | --cach | --cac | --ca | --c)
347
+ ac_prev=cache_file ;;
348
+ -cache-file=* | --cache-file=* | --cache-fil=* | --cache-fi=* \
349
+ | --cache-f=* | --cache-=* | --cache=* | --cach=* | --cac=* | --ca=* | --c=*)
350
+ cache_file=$ac_optarg ;;
351
+
352
+ --config-cache | -C)
353
+ cache_file=config.cache ;;
354
+
355
+ -datadir | --datadir | --datadi | --datad | --data | --dat | --da)
356
+ ac_prev=datadir ;;
357
+ -datadir=* | --datadir=* | --datadi=* | --datad=* | --data=* | --dat=* \
358
+ | --da=*)
359
+ datadir=$ac_optarg ;;
360
+
361
+ -disable-* | --disable-*)
362
+ ac_feature=`expr "x$ac_option" : 'x-*disable-\(.*\)'`
363
+ # Reject names that are not valid shell variable names.
364
+ expr "x$ac_feature" : ".*[^-_$as_cr_alnum]" >/dev/null &&
365
+ { echo "$as_me: error: invalid feature name: $ac_feature" >&2
366
+ { (exit 1); exit 1; }; }
367
+ ac_feature=`echo $ac_feature | sed 's/-/_/g'`
368
+ eval "enable_$ac_feature=no" ;;
369
+
370
+ -enable-* | --enable-*)
371
+ ac_feature=`expr "x$ac_option" : 'x-*enable-\([^=]*\)'`
372
+ # Reject names that are not valid shell variable names.
373
+ expr "x$ac_feature" : ".*[^-_$as_cr_alnum]" >/dev/null &&
374
+ { echo "$as_me: error: invalid feature name: $ac_feature" >&2
375
+ { (exit 1); exit 1; }; }
376
+ ac_feature=`echo $ac_feature | sed 's/-/_/g'`
377
+ case $ac_option in
378
+ *=*) ac_optarg=`echo "$ac_optarg" | sed "s/'/'\\\\\\\\''/g"`;;
379
+ *) ac_optarg=yes ;;
380
+ esac
381
+ eval "enable_$ac_feature='$ac_optarg'" ;;
382
+
383
+ -exec-prefix | --exec_prefix | --exec-prefix | --exec-prefi \
384
+ | --exec-pref | --exec-pre | --exec-pr | --exec-p | --exec- \
385
+ | --exec | --exe | --ex)
386
+ ac_prev=exec_prefix ;;
387
+ -exec-prefix=* | --exec_prefix=* | --exec-prefix=* | --exec-prefi=* \
388
+ | --exec-pref=* | --exec-pre=* | --exec-pr=* | --exec-p=* | --exec-=* \
389
+ | --exec=* | --exe=* | --ex=*)
390
+ exec_prefix=$ac_optarg ;;
391
+
392
+ -gas | --gas | --ga | --g)
393
+ # Obsolete; use --with-gas.
394
+ with_gas=yes ;;
395
+
396
+ -help | --help | --hel | --he | -h)
397
+ ac_init_help=long ;;
398
+ -help=r* | --help=r* | --hel=r* | --he=r* | -hr*)
399
+ ac_init_help=recursive ;;
400
+ -help=s* | --help=s* | --hel=s* | --he=s* | -hs*)
401
+ ac_init_help=short ;;
402
+
403
+ -host | --host | --hos | --ho)
404
+ ac_prev=host_alias ;;
405
+ -host=* | --host=* | --hos=* | --ho=*)
406
+ host_alias=$ac_optarg ;;
407
+
408
+ -includedir | --includedir | --includedi | --included | --include \
409
+ | --includ | --inclu | --incl | --inc)
410
+ ac_prev=includedir ;;
411
+ -includedir=* | --includedir=* | --includedi=* | --included=* | --include=* \
412
+ | --includ=* | --inclu=* | --incl=* | --inc=*)
413
+ includedir=$ac_optarg ;;
414
+
415
+ -infodir | --infodir | --infodi | --infod | --info | --inf)
416
+ ac_prev=infodir ;;
417
+ -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)
418
+ infodir=$ac_optarg ;;
419
+
420
+ -libdir | --libdir | --libdi | --libd)
421
+ ac_prev=libdir ;;
422
+ -libdir=* | --libdir=* | --libdi=* | --libd=*)
423
+ libdir=$ac_optarg ;;
424
+
425
+ -libexecdir | --libexecdir | --libexecdi | --libexecd | --libexec \
426
+ | --libexe | --libex | --libe)
427
+ ac_prev=libexecdir ;;
428
+ -libexecdir=* | --libexecdir=* | --libexecdi=* | --libexecd=* | --libexec=* \
429
+ | --libexe=* | --libex=* | --libe=*)
430
+ libexecdir=$ac_optarg ;;
431
+
432
+ -localstatedir | --localstatedir | --localstatedi | --localstated \
433
+ | --localstate | --localstat | --localsta | --localst \
434
+ | --locals | --local | --loca | --loc | --lo)
435
+ ac_prev=localstatedir ;;
436
+ -localstatedir=* | --localstatedir=* | --localstatedi=* | --localstated=* \
437
+ | --localstate=* | --localstat=* | --localsta=* | --localst=* \
438
+ | --locals=* | --local=* | --loca=* | --loc=* | --lo=*)
439
+ localstatedir=$ac_optarg ;;
440
+
441
+ -mandir | --mandir | --mandi | --mand | --man | --ma | --m)
442
+ ac_prev=mandir ;;
443
+ -mandir=* | --mandir=* | --mandi=* | --mand=* | --man=* | --ma=* | --m=*)
444
+ mandir=$ac_optarg ;;
445
+
446
+ -nfp | --nfp | --nf)
447
+ # Obsolete; use --without-fp.
448
+ with_fp=no ;;
449
+
450
+ -no-create | --no-create | --no-creat | --no-crea | --no-cre \
451
+ | --no-cr | --no-c | -n)
452
+ no_create=yes ;;
453
+
454
+ -no-recursion | --no-recursion | --no-recursio | --no-recursi \
455
+ | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r)
456
+ no_recursion=yes ;;
457
+
458
+ -oldincludedir | --oldincludedir | --oldincludedi | --oldincluded \
459
+ | --oldinclude | --oldinclud | --oldinclu | --oldincl | --oldinc \
460
+ | --oldin | --oldi | --old | --ol | --o)
461
+ ac_prev=oldincludedir ;;
462
+ -oldincludedir=* | --oldincludedir=* | --oldincludedi=* | --oldincluded=* \
463
+ | --oldinclude=* | --oldinclud=* | --oldinclu=* | --oldincl=* | --oldinc=* \
464
+ | --oldin=* | --oldi=* | --old=* | --ol=* | --o=*)
465
+ oldincludedir=$ac_optarg ;;
466
+
467
+ -prefix | --prefix | --prefi | --pref | --pre | --pr | --p)
468
+ ac_prev=prefix ;;
469
+ -prefix=* | --prefix=* | --prefi=* | --pref=* | --pre=* | --pr=* | --p=*)
470
+ prefix=$ac_optarg ;;
471
+
472
+ -program-prefix | --program-prefix | --program-prefi | --program-pref \
473
+ | --program-pre | --program-pr | --program-p)
474
+ ac_prev=program_prefix ;;
475
+ -program-prefix=* | --program-prefix=* | --program-prefi=* \
476
+ | --program-pref=* | --program-pre=* | --program-pr=* | --program-p=*)
477
+ program_prefix=$ac_optarg ;;
478
+
479
+ -program-suffix | --program-suffix | --program-suffi | --program-suff \
480
+ | --program-suf | --program-su | --program-s)
481
+ ac_prev=program_suffix ;;
482
+ -program-suffix=* | --program-suffix=* | --program-suffi=* \
483
+ | --program-suff=* | --program-suf=* | --program-su=* | --program-s=*)
484
+ program_suffix=$ac_optarg ;;
485
+
486
+ -program-transform-name | --program-transform-name \
487
+ | --program-transform-nam | --program-transform-na \
488
+ | --program-transform-n | --program-transform- \
489
+ | --program-transform | --program-transfor \
490
+ | --program-transfo | --program-transf \
491
+ | --program-trans | --program-tran \
492
+ | --progr-tra | --program-tr | --program-t)
493
+ ac_prev=program_transform_name ;;
494
+ -program-transform-name=* | --program-transform-name=* \
495
+ | --program-transform-nam=* | --program-transform-na=* \
496
+ | --program-transform-n=* | --program-transform-=* \
497
+ | --program-transform=* | --program-transfor=* \
498
+ | --program-transfo=* | --program-transf=* \
499
+ | --program-trans=* | --program-tran=* \
500
+ | --progr-tra=* | --program-tr=* | --program-t=*)
501
+ program_transform_name=$ac_optarg ;;
502
+
503
+ -q | -quiet | --quiet | --quie | --qui | --qu | --q \
504
+ | -silent | --silent | --silen | --sile | --sil)
505
+ silent=yes ;;
506
+
507
+ -sbindir | --sbindir | --sbindi | --sbind | --sbin | --sbi | --sb)
508
+ ac_prev=sbindir ;;
509
+ -sbindir=* | --sbindir=* | --sbindi=* | --sbind=* | --sbin=* \
510
+ | --sbi=* | --sb=*)
511
+ sbindir=$ac_optarg ;;
512
+
513
+ -sharedstatedir | --sharedstatedir | --sharedstatedi \
514
+ | --sharedstated | --sharedstate | --sharedstat | --sharedsta \
515
+ | --sharedst | --shareds | --shared | --share | --shar \
516
+ | --sha | --sh)
517
+ ac_prev=sharedstatedir ;;
518
+ -sharedstatedir=* | --sharedstatedir=* | --sharedstatedi=* \
519
+ | --sharedstated=* | --sharedstate=* | --sharedstat=* | --sharedsta=* \
520
+ | --sharedst=* | --shareds=* | --shared=* | --share=* | --shar=* \
521
+ | --sha=* | --sh=*)
522
+ sharedstatedir=$ac_optarg ;;
523
+
524
+ -site | --site | --sit)
525
+ ac_prev=site ;;
526
+ -site=* | --site=* | --sit=*)
527
+ site=$ac_optarg ;;
528
+
529
+ -srcdir | --srcdir | --srcdi | --srcd | --src | --sr)
530
+ ac_prev=srcdir ;;
531
+ -srcdir=* | --srcdir=* | --srcdi=* | --srcd=* | --src=* | --sr=*)
532
+ srcdir=$ac_optarg ;;
533
+
534
+ -sysconfdir | --sysconfdir | --sysconfdi | --sysconfd | --sysconf \
535
+ | --syscon | --sysco | --sysc | --sys | --sy)
536
+ ac_prev=sysconfdir ;;
537
+ -sysconfdir=* | --sysconfdir=* | --sysconfdi=* | --sysconfd=* | --sysconf=* \
538
+ | --syscon=* | --sysco=* | --sysc=* | --sys=* | --sy=*)
539
+ sysconfdir=$ac_optarg ;;
540
+
541
+ -target | --target | --targe | --targ | --tar | --ta | --t)
542
+ ac_prev=target_alias ;;
543
+ -target=* | --target=* | --targe=* | --targ=* | --tar=* | --ta=* | --t=*)
544
+ target_alias=$ac_optarg ;;
545
+
546
+ -v | -verbose | --verbose | --verbos | --verbo | --verb)
547
+ verbose=yes ;;
548
+
549
+ -version | --version | --versio | --versi | --vers | -V)
550
+ ac_init_version=: ;;
551
+
552
+ -with-* | --with-*)
553
+ ac_package=`expr "x$ac_option" : 'x-*with-\([^=]*\)'`
554
+ # Reject names that are not valid shell variable names.
555
+ expr "x$ac_package" : ".*[^-_$as_cr_alnum]" >/dev/null &&
556
+ { echo "$as_me: error: invalid package name: $ac_package" >&2
557
+ { (exit 1); exit 1; }; }
558
+ ac_package=`echo $ac_package| sed 's/-/_/g'`
559
+ case $ac_option in
560
+ *=*) ac_optarg=`echo "$ac_optarg" | sed "s/'/'\\\\\\\\''/g"`;;
561
+ *) ac_optarg=yes ;;
562
+ esac
563
+ eval "with_$ac_package='$ac_optarg'" ;;
564
+
565
+ -without-* | --without-*)
566
+ ac_package=`expr "x$ac_option" : 'x-*without-\(.*\)'`
567
+ # Reject names that are not valid shell variable names.
568
+ expr "x$ac_package" : ".*[^-_$as_cr_alnum]" >/dev/null &&
569
+ { echo "$as_me: error: invalid package name: $ac_package" >&2
570
+ { (exit 1); exit 1; }; }
571
+ ac_package=`echo $ac_package | sed 's/-/_/g'`
572
+ eval "with_$ac_package=no" ;;
573
+
574
+ --x)
575
+ # Obsolete; use --with-x.
576
+ with_x=yes ;;
577
+
578
+ -x-includes | --x-includes | --x-include | --x-includ | --x-inclu \
579
+ | --x-incl | --x-inc | --x-in | --x-i)
580
+ ac_prev=x_includes ;;
581
+ -x-includes=* | --x-includes=* | --x-include=* | --x-includ=* | --x-inclu=* \
582
+ | --x-incl=* | --x-inc=* | --x-in=* | --x-i=*)
583
+ x_includes=$ac_optarg ;;
584
+
585
+ -x-libraries | --x-libraries | --x-librarie | --x-librari \
586
+ | --x-librar | --x-libra | --x-libr | --x-lib | --x-li | --x-l)
587
+ ac_prev=x_libraries ;;
588
+ -x-libraries=* | --x-libraries=* | --x-librarie=* | --x-librari=* \
589
+ | --x-librar=* | --x-libra=* | --x-libr=* | --x-lib=* | --x-li=* | --x-l=*)
590
+ x_libraries=$ac_optarg ;;
591
+
592
+ -*) { echo "$as_me: error: unrecognized option: $ac_option
593
+ Try \`$0 --help' for more information." >&2
594
+ { (exit 1); exit 1; }; }
595
+ ;;
596
+
597
+ *=*)
598
+ ac_envvar=`expr "x$ac_option" : 'x\([^=]*\)='`
599
+ # Reject names that are not valid shell variable names.
600
+ expr "x$ac_envvar" : ".*[^_$as_cr_alnum]" >/dev/null &&
601
+ { echo "$as_me: error: invalid variable name: $ac_envvar" >&2
602
+ { (exit 1); exit 1; }; }
603
+ ac_optarg=`echo "$ac_optarg" | sed "s/'/'\\\\\\\\''/g"`
604
+ eval "$ac_envvar='$ac_optarg'"
605
+ export $ac_envvar ;;
606
+
607
+ *)
608
+ # FIXME: should be removed in autoconf 3.0.
609
+ echo "$as_me: WARNING: you should use --build, --host, --target" >&2
610
+ expr "x$ac_option" : ".*[^-._$as_cr_alnum]" >/dev/null &&
611
+ echo "$as_me: WARNING: invalid host type: $ac_option" >&2
612
+ : ${build_alias=$ac_option} ${host_alias=$ac_option} ${target_alias=$ac_option}
613
+ ;;
614
+
615
+ esac
616
+ done
617
+
618
+ if test -n "$ac_prev"; then
619
+ ac_option=--`echo $ac_prev | sed 's/_/-/g'`
620
+ { echo "$as_me: error: missing argument to $ac_option" >&2
621
+ { (exit 1); exit 1; }; }
622
+ fi
623
+
624
+ # Be sure to have absolute paths.
625
+ for ac_var in exec_prefix prefix
626
+ do
627
+ eval ac_val=$`echo $ac_var`
628
+ case $ac_val in
629
+ [\\/$]* | ?:[\\/]* | NONE | '' ) ;;
630
+ *) { echo "$as_me: error: expected an absolute directory name for --$ac_var: $ac_val" >&2
631
+ { (exit 1); exit 1; }; };;
632
+ esac
633
+ done
634
+
635
+ # Be sure to have absolute paths.
636
+ for ac_var in bindir sbindir libexecdir datadir sysconfdir sharedstatedir \
637
+ localstatedir libdir includedir oldincludedir infodir mandir
638
+ do
639
+ eval ac_val=$`echo $ac_var`
640
+ case $ac_val in
641
+ [\\/$]* | ?:[\\/]* ) ;;
642
+ *) { echo "$as_me: error: expected an absolute directory name for --$ac_var: $ac_val" >&2
643
+ { (exit 1); exit 1; }; };;
644
+ esac
645
+ done
646
+
647
+ # There might be people who depend on the old broken behavior: `$host'
648
+ # used to hold the argument of --host etc.
649
+ # FIXME: To remove some day.
650
+ build=$build_alias
651
+ host=$host_alias
652
+ target=$target_alias
653
+
654
+ # FIXME: To remove some day.
655
+ if test "x$host_alias" != x; then
656
+ if test "x$build_alias" = x; then
657
+ cross_compiling=maybe
658
+ echo "$as_me: WARNING: If you wanted to set the --build type, don't use --host.
659
+ If a cross compiler is detected then cross compile mode will be used." >&2
660
+ elif test "x$build_alias" != "x$host_alias"; then
661
+ cross_compiling=yes
662
+ fi
663
+ fi
664
+
665
+ ac_tool_prefix=
666
+ test -n "$host_alias" && ac_tool_prefix=$host_alias-
667
+
668
+ test "$silent" = yes && exec 6>/dev/null
669
+
670
+
671
+ # Find the source files, if location was not specified.
672
+ if test -z "$srcdir"; then
673
+ ac_srcdir_defaulted=yes
674
+ # Try the directory containing this script, then its parent.
675
+ ac_confdir=`(dirname "$0") 2>/dev/null ||
676
+ $as_expr X"$0" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
677
+ X"$0" : 'X\(//\)[^/]' \| \
678
+ X"$0" : 'X\(//\)$' \| \
679
+ X"$0" : 'X\(/\)' \| \
680
+ . : '\(.\)' 2>/dev/null ||
681
+ echo X"$0" |
682
+ sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{ s//\1/; q; }
683
+ /^X\(\/\/\)[^/].*/{ s//\1/; q; }
684
+ /^X\(\/\/\)$/{ s//\1/; q; }
685
+ /^X\(\/\).*/{ s//\1/; q; }
686
+ s/.*/./; q'`
687
+ srcdir=$ac_confdir
688
+ if test ! -r $srcdir/$ac_unique_file; then
689
+ srcdir=..
690
+ fi
691
+ else
692
+ ac_srcdir_defaulted=no
693
+ fi
694
+ if test ! -r $srcdir/$ac_unique_file; then
695
+ if test "$ac_srcdir_defaulted" = yes; then
696
+ { echo "$as_me: error: cannot find sources ($ac_unique_file) in $ac_confdir or .." >&2
697
+ { (exit 1); exit 1; }; }
698
+ else
699
+ { echo "$as_me: error: cannot find sources ($ac_unique_file) in $srcdir" >&2
700
+ { (exit 1); exit 1; }; }
701
+ fi
702
+ fi
703
+ (cd $srcdir && test -r ./$ac_unique_file) 2>/dev/null ||
704
+ { echo "$as_me: error: sources are in $srcdir, but \`cd $srcdir' does not work" >&2
705
+ { (exit 1); exit 1; }; }
706
+ srcdir=`echo "$srcdir" | sed 's%\([^\\/]\)[\\/]*$%\1%'`
707
+ ac_env_build_alias_set=${build_alias+set}
708
+ ac_env_build_alias_value=$build_alias
709
+ ac_cv_env_build_alias_set=${build_alias+set}
710
+ ac_cv_env_build_alias_value=$build_alias
711
+ ac_env_host_alias_set=${host_alias+set}
712
+ ac_env_host_alias_value=$host_alias
713
+ ac_cv_env_host_alias_set=${host_alias+set}
714
+ ac_cv_env_host_alias_value=$host_alias
715
+ ac_env_target_alias_set=${target_alias+set}
716
+ ac_env_target_alias_value=$target_alias
717
+ ac_cv_env_target_alias_set=${target_alias+set}
718
+ ac_cv_env_target_alias_value=$target_alias
719
+
720
+ #
721
+ # Report the --help message.
722
+ #
723
+ if test "$ac_init_help" = "long"; then
724
+ # Omit some internal or obsolete options to make the list less imposing.
725
+ # This message is too long to be a string in the A/UX 3.1 sh.
726
+ cat <<_ACEOF
727
+ \`configure' configures QECODE 1.2 to adapt to many kinds of systems.
728
+
729
+ Usage: $0 [OPTION]... [VAR=VALUE]...
730
+
731
+ To assign environment variables (e.g., CC, CFLAGS...), specify them as
732
+ VAR=VALUE. See below for descriptions of some of the useful variables.
733
+
734
+ Defaults for the options are specified in brackets.
735
+
736
+ Configuration:
737
+ -h, --help display this help and exit
738
+ --help=short display options specific to this package
739
+ --help=recursive display the short help of all the included packages
740
+ -V, --version display version information and exit
741
+ -q, --quiet, --silent do not print \`checking...' messages
742
+ --cache-file=FILE cache test results in FILE [disabled]
743
+ -C, --config-cache alias for \`--cache-file=config.cache'
744
+ -n, --no-create do not create output files
745
+ --srcdir=DIR find the sources in DIR [configure dir or \`..']
746
+
747
+ _ACEOF
748
+
749
+ cat <<_ACEOF
750
+ Installation directories:
751
+ --prefix=PREFIX install architecture-independent files in PREFIX
752
+ [$ac_default_prefix]
753
+ --exec-prefix=EPREFIX install architecture-dependent files in EPREFIX
754
+ [PREFIX]
755
+
756
+ By default, \`make install' will install all the files in
757
+ \`$ac_default_prefix/bin', \`$ac_default_prefix/lib' etc. You can specify
758
+ an installation prefix other than \`$ac_default_prefix' using \`--prefix',
759
+ for instance \`--prefix=\$HOME'.
760
+
761
+ For better control, use the options below.
762
+
763
+ Fine tuning of the installation directories:
764
+ --bindir=DIR user executables [EPREFIX/bin]
765
+ --sbindir=DIR system admin executables [EPREFIX/sbin]
766
+ --libexecdir=DIR program executables [EPREFIX/libexec]
767
+ --datadir=DIR read-only architecture-independent data [PREFIX/share]
768
+ --sysconfdir=DIR read-only single-machine data [PREFIX/etc]
769
+ --sharedstatedir=DIR modifiable architecture-independent data [PREFIX/com]
770
+ --localstatedir=DIR modifiable single-machine data [PREFIX/var]
771
+ --libdir=DIR object code libraries [EPREFIX/lib]
772
+ --includedir=DIR C header files [PREFIX/include]
773
+ --oldincludedir=DIR C header files for non-gcc [/usr/include]
774
+ --infodir=DIR info documentation [PREFIX/info]
775
+ --mandir=DIR man documentation [PREFIX/man]
776
+ _ACEOF
777
+
778
+ cat <<\_ACEOF
779
+ _ACEOF
780
+ fi
781
+
782
+ if test -n "$ac_init_help"; then
783
+ case $ac_init_help in
784
+ short | recursive ) echo "Configuration of QECODE 1.2:";;
785
+ esac
786
+ cat <<\_ACEOF
787
+
788
+ Report bugs to <jeremie.vautard@univ-orleans.fr>.
789
+ _ACEOF
790
+ fi
791
+
792
+ if test "$ac_init_help" = "recursive"; then
793
+ # If there are subdirs, report their specific --help.
794
+ ac_popdir=`pwd`
795
+ for ac_dir in : $ac_subdirs_all; do test "x$ac_dir" = x: && continue
796
+ test -d $ac_dir || continue
797
+ ac_builddir=.
798
+
799
+ if test "$ac_dir" != .; then
800
+ ac_dir_suffix=/`echo "$ac_dir" | sed 's,^\.[\\/],,'`
801
+ # A "../" for each directory in $ac_dir_suffix.
802
+ ac_top_builddir=`echo "$ac_dir_suffix" | sed 's,/[^\\/]*,../,g'`
803
+ else
804
+ ac_dir_suffix= ac_top_builddir=
805
+ fi
806
+
807
+ case $srcdir in
808
+ .) # No --srcdir option. We are building in place.
809
+ ac_srcdir=.
810
+ if test -z "$ac_top_builddir"; then
811
+ ac_top_srcdir=.
812
+ else
813
+ ac_top_srcdir=`echo $ac_top_builddir | sed 's,/$,,'`
814
+ fi ;;
815
+ [\\/]* | ?:[\\/]* ) # Absolute path.
816
+ ac_srcdir=$srcdir$ac_dir_suffix;
817
+ ac_top_srcdir=$srcdir ;;
818
+ *) # Relative path.
819
+ ac_srcdir=$ac_top_builddir$srcdir$ac_dir_suffix
820
+ ac_top_srcdir=$ac_top_builddir$srcdir ;;
821
+ esac
822
+
823
+ # Do not use `cd foo && pwd` to compute absolute paths, because
824
+ # the directories may not exist.
825
+ case `pwd` in
826
+ .) ac_abs_builddir="$ac_dir";;
827
+ *)
828
+ case "$ac_dir" in
829
+ .) ac_abs_builddir=`pwd`;;
830
+ [\\/]* | ?:[\\/]* ) ac_abs_builddir="$ac_dir";;
831
+ *) ac_abs_builddir=`pwd`/"$ac_dir";;
832
+ esac;;
833
+ esac
834
+ case $ac_abs_builddir in
835
+ .) ac_abs_top_builddir=${ac_top_builddir}.;;
836
+ *)
837
+ case ${ac_top_builddir}. in
838
+ .) ac_abs_top_builddir=$ac_abs_builddir;;
839
+ [\\/]* | ?:[\\/]* ) ac_abs_top_builddir=${ac_top_builddir}.;;
840
+ *) ac_abs_top_builddir=$ac_abs_builddir/${ac_top_builddir}.;;
841
+ esac;;
842
+ esac
843
+ case $ac_abs_builddir in
844
+ .) ac_abs_srcdir=$ac_srcdir;;
845
+ *)
846
+ case $ac_srcdir in
847
+ .) ac_abs_srcdir=$ac_abs_builddir;;
848
+ [\\/]* | ?:[\\/]* ) ac_abs_srcdir=$ac_srcdir;;
849
+ *) ac_abs_srcdir=$ac_abs_builddir/$ac_srcdir;;
850
+ esac;;
851
+ esac
852
+ case $ac_abs_builddir in
853
+ .) ac_abs_top_srcdir=$ac_top_srcdir;;
854
+ *)
855
+ case $ac_top_srcdir in
856
+ .) ac_abs_top_srcdir=$ac_abs_builddir;;
857
+ [\\/]* | ?:[\\/]* ) ac_abs_top_srcdir=$ac_top_srcdir;;
858
+ *) ac_abs_top_srcdir=$ac_abs_builddir/$ac_top_srcdir;;
859
+ esac;;
860
+ esac
861
+
862
+ cd $ac_dir
863
+ # Check for guested configure; otherwise get Cygnus style configure.
864
+ if test -f $ac_srcdir/configure.gnu; then
865
+ echo
866
+ $SHELL $ac_srcdir/configure.gnu --help=recursive
867
+ elif test -f $ac_srcdir/configure; then
868
+ echo
869
+ $SHELL $ac_srcdir/configure --help=recursive
870
+ elif test -f $ac_srcdir/configure.ac ||
871
+ test -f $ac_srcdir/configure.in; then
872
+ echo
873
+ $ac_configure --help
874
+ else
875
+ echo "$as_me: WARNING: no configuration information is in $ac_dir" >&2
876
+ fi
877
+ cd $ac_popdir
878
+ done
879
+ fi
880
+
881
+ test -n "$ac_init_help" && exit 0
882
+ if $ac_init_version; then
883
+ cat <<\_ACEOF
884
+ QECODE configure 1.2
885
+ generated by GNU Autoconf 2.59
886
+
887
+ Copyright (C) 2003 Free Software Foundation, Inc.
888
+ This configure script is free software; the Free Software Foundation
889
+ gives unlimited permission to copy, distribute and modify it.
890
+ _ACEOF
891
+ exit 0
892
+ fi
893
+ exec 5>config.log
894
+ cat >&5 <<_ACEOF
895
+ This file contains any messages produced by compilers while
896
+ running configure, to aid debugging if configure makes a mistake.
897
+
898
+ It was created by QECODE $as_me 1.2, which was
899
+ generated by GNU Autoconf 2.59. Invocation command line was
900
+
901
+ $ $0 $@
902
+
903
+ _ACEOF
904
+ {
905
+ cat <<_ASUNAME
906
+ @%:@@%:@ --------- @%:@@%:@
907
+ @%:@@%:@ Platform. @%:@@%:@
908
+ @%:@@%:@ --------- @%:@@%:@
909
+
910
+ hostname = `(hostname || uname -n) 2>/dev/null | sed 1q`
911
+ uname -m = `(uname -m) 2>/dev/null || echo unknown`
912
+ uname -r = `(uname -r) 2>/dev/null || echo unknown`
913
+ uname -s = `(uname -s) 2>/dev/null || echo unknown`
914
+ uname -v = `(uname -v) 2>/dev/null || echo unknown`
915
+
916
+ /usr/bin/uname -p = `(/usr/bin/uname -p) 2>/dev/null || echo unknown`
917
+ /bin/uname -X = `(/bin/uname -X) 2>/dev/null || echo unknown`
918
+
919
+ /bin/arch = `(/bin/arch) 2>/dev/null || echo unknown`
920
+ /usr/bin/arch -k = `(/usr/bin/arch -k) 2>/dev/null || echo unknown`
921
+ /usr/convex/getsysinfo = `(/usr/convex/getsysinfo) 2>/dev/null || echo unknown`
922
+ hostinfo = `(hostinfo) 2>/dev/null || echo unknown`
923
+ /bin/machine = `(/bin/machine) 2>/dev/null || echo unknown`
924
+ /usr/bin/oslevel = `(/usr/bin/oslevel) 2>/dev/null || echo unknown`
925
+ /bin/universe = `(/bin/universe) 2>/dev/null || echo unknown`
926
+
927
+ _ASUNAME
928
+
929
+ as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
930
+ for as_dir in $PATH
931
+ do
932
+ IFS=$as_save_IFS
933
+ test -z "$as_dir" && as_dir=.
934
+ echo "PATH: $as_dir"
935
+ done
936
+
937
+ } >&5
938
+
939
+ cat >&5 <<_ACEOF
940
+
941
+
942
+ @%:@@%:@ ----------- @%:@@%:@
943
+ @%:@@%:@ Core tests. @%:@@%:@
944
+ @%:@@%:@ ----------- @%:@@%:@
945
+
946
+ _ACEOF
947
+
948
+
949
+ # Keep a trace of the command line.
950
+ # Strip out --no-create and --no-recursion so they do not pile up.
951
+ # Strip out --silent because we don't want to record it for future runs.
952
+ # Also quote any args containing shell meta-characters.
953
+ # Make two passes to allow for proper duplicate-argument suppression.
954
+ ac_configure_args=
955
+ ac_configure_args0=
956
+ ac_configure_args1=
957
+ ac_sep=
958
+ ac_must_keep_next=false
959
+ for ac_pass in 1 2
960
+ do
961
+ for ac_arg
962
+ do
963
+ case $ac_arg in
964
+ -no-create | --no-c* | -n | -no-recursion | --no-r*) continue ;;
965
+ -q | -quiet | --quiet | --quie | --qui | --qu | --q \
966
+ | -silent | --silent | --silen | --sile | --sil)
967
+ continue ;;
968
+ *" "*|*" "*|*[\[\]\~\#\$\^\&\*\(\)\{\}\\\|\;\<\>\?\"\']*)
969
+ ac_arg=`echo "$ac_arg" | sed "s/'/'\\\\\\\\''/g"` ;;
970
+ esac
971
+ case $ac_pass in
972
+ 1) ac_configure_args0="$ac_configure_args0 '$ac_arg'" ;;
973
+ 2)
974
+ ac_configure_args1="$ac_configure_args1 '$ac_arg'"
975
+ if test $ac_must_keep_next = true; then
976
+ ac_must_keep_next=false # Got value, back to normal.
977
+ else
978
+ case $ac_arg in
979
+ *=* | --config-cache | -C | -disable-* | --disable-* \
980
+ | -enable-* | --enable-* | -gas | --g* | -nfp | --nf* \
981
+ | -q | -quiet | --q* | -silent | --sil* | -v | -verb* \
982
+ | -with-* | --with-* | -without-* | --without-* | --x)
983
+ case "$ac_configure_args0 " in
984
+ "$ac_configure_args1"*" '$ac_arg' "* ) continue ;;
985
+ esac
986
+ ;;
987
+ -* ) ac_must_keep_next=true ;;
988
+ esac
989
+ fi
990
+ ac_configure_args="$ac_configure_args$ac_sep'$ac_arg'"
991
+ # Get rid of the leading space.
992
+ ac_sep=" "
993
+ ;;
994
+ esac
995
+ done
996
+ done
997
+ $as_unset ac_configure_args0 || test "${ac_configure_args0+set}" != set || { ac_configure_args0=; export ac_configure_args0; }
998
+ $as_unset ac_configure_args1 || test "${ac_configure_args1+set}" != set || { ac_configure_args1=; export ac_configure_args1; }
999
+
1000
+ # When interrupted or exit'd, cleanup temporary files, and complete
1001
+ # config.log. We remove comments because anyway the quotes in there
1002
+ # would cause problems or look ugly.
1003
+ # WARNING: Be sure not to use single quotes in there, as some shells,
1004
+ # such as our DU 5.0 friend, will then `close' the trap.
1005
+ trap 'exit_status=$?
1006
+ # Save into config.log some information that might help in debugging.
1007
+ {
1008
+ echo
1009
+
1010
+ cat <<\_ASBOX
1011
+ @%:@@%:@ ---------------- @%:@@%:@
1012
+ @%:@@%:@ Cache variables. @%:@@%:@
1013
+ @%:@@%:@ ---------------- @%:@@%:@
1014
+ _ASBOX
1015
+ echo
1016
+ # The following way of writing the cache mishandles newlines in values,
1017
+ {
1018
+ (set) 2>&1 |
1019
+ case `(ac_space='"'"' '"'"'; set | grep ac_space) 2>&1` in
1020
+ *ac_space=\ *)
1021
+ sed -n \
1022
+ "s/'"'"'/'"'"'\\\\'"'"''"'"'/g;
1023
+ s/^\\([_$as_cr_alnum]*_cv_[_$as_cr_alnum]*\\)=\\(.*\\)/\\1='"'"'\\2'"'"'/p"
1024
+ ;;
1025
+ *)
1026
+ sed -n \
1027
+ "s/^\\([_$as_cr_alnum]*_cv_[_$as_cr_alnum]*\\)=\\(.*\\)/\\1=\\2/p"
1028
+ ;;
1029
+ esac;
1030
+ }
1031
+ echo
1032
+
1033
+ cat <<\_ASBOX
1034
+ @%:@@%:@ ----------------- @%:@@%:@
1035
+ @%:@@%:@ Output variables. @%:@@%:@
1036
+ @%:@@%:@ ----------------- @%:@@%:@
1037
+ _ASBOX
1038
+ echo
1039
+ for ac_var in $ac_subst_vars
1040
+ do
1041
+ eval ac_val=$`echo $ac_var`
1042
+ echo "$ac_var='"'"'$ac_val'"'"'"
1043
+ done | sort
1044
+ echo
1045
+
1046
+ if test -n "$ac_subst_files"; then
1047
+ cat <<\_ASBOX
1048
+ @%:@@%:@ ------------- @%:@@%:@
1049
+ @%:@@%:@ Output files. @%:@@%:@
1050
+ @%:@@%:@ ------------- @%:@@%:@
1051
+ _ASBOX
1052
+ echo
1053
+ for ac_var in $ac_subst_files
1054
+ do
1055
+ eval ac_val=$`echo $ac_var`
1056
+ echo "$ac_var='"'"'$ac_val'"'"'"
1057
+ done | sort
1058
+ echo
1059
+ fi
1060
+
1061
+ if test -s confdefs.h; then
1062
+ cat <<\_ASBOX
1063
+ @%:@@%:@ ----------- @%:@@%:@
1064
+ @%:@@%:@ confdefs.h. @%:@@%:@
1065
+ @%:@@%:@ ----------- @%:@@%:@
1066
+ _ASBOX
1067
+ echo
1068
+ sed "/^$/d" confdefs.h | sort
1069
+ echo
1070
+ fi
1071
+ test "$ac_signal" != 0 &&
1072
+ echo "$as_me: caught signal $ac_signal"
1073
+ echo "$as_me: exit $exit_status"
1074
+ } >&5
1075
+ rm -f core *.core &&
1076
+ rm -rf conftest* confdefs* conf$$* $ac_clean_files &&
1077
+ exit $exit_status
1078
+ ' 0
1079
+ for ac_signal in 1 2 13 15; do
1080
+ trap 'ac_signal='$ac_signal'; { (exit 1); exit 1; }' $ac_signal
1081
+ done
1082
+ ac_signal=0
1083
+
1084
+ # confdefs.h avoids OS command line length limits that DEFS can exceed.
1085
+ rm -rf conftest* confdefs.h
1086
+ # AIX cpp loses on an empty file, so make sure it contains at least a newline.
1087
+ echo >confdefs.h
1088
+
1089
+ # Predefined preprocessor variables.
1090
+
1091
+ cat >>confdefs.h <<_ACEOF
1092
+ @%:@define PACKAGE_NAME "$PACKAGE_NAME"
1093
+ _ACEOF
1094
+
1095
+
1096
+ cat >>confdefs.h <<_ACEOF
1097
+ @%:@define PACKAGE_TARNAME "$PACKAGE_TARNAME"
1098
+ _ACEOF
1099
+
1100
+
1101
+ cat >>confdefs.h <<_ACEOF
1102
+ @%:@define PACKAGE_VERSION "$PACKAGE_VERSION"
1103
+ _ACEOF
1104
+
1105
+
1106
+ cat >>confdefs.h <<_ACEOF
1107
+ @%:@define PACKAGE_STRING "$PACKAGE_STRING"
1108
+ _ACEOF
1109
+
1110
+
1111
+ cat >>confdefs.h <<_ACEOF
1112
+ @%:@define PACKAGE_BUGREPORT "$PACKAGE_BUGREPORT"
1113
+ _ACEOF
1114
+
1115
+
1116
+ # Let the site file select an alternate cache file if it wants to.
1117
+ # Prefer explicitly selected file to automatically selected ones.
1118
+ if test -z "$CONFIG_SITE"; then
1119
+ if test "x$prefix" != xNONE; then
1120
+ CONFIG_SITE="$prefix/share/config.site $prefix/etc/config.site"
1121
+ else
1122
+ CONFIG_SITE="$ac_default_prefix/share/config.site $ac_default_prefix/etc/config.site"
1123
+ fi
1124
+ fi
1125
+ for ac_site_file in $CONFIG_SITE; do
1126
+ if test -r "$ac_site_file"; then
1127
+ { echo "$as_me:$LINENO: loading site script $ac_site_file" >&5
1128
+ echo "$as_me: loading site script $ac_site_file" >&6;}
1129
+ sed 's/^/| /' "$ac_site_file" >&5
1130
+ . "$ac_site_file"
1131
+ fi
1132
+ done
1133
+
1134
+ if test -r "$cache_file"; then
1135
+ # Some versions of bash will fail to source /dev/null (special
1136
+ # files actually), so we avoid doing that.
1137
+ if test -f "$cache_file"; then
1138
+ { echo "$as_me:$LINENO: loading cache $cache_file" >&5
1139
+ echo "$as_me: loading cache $cache_file" >&6;}
1140
+ case $cache_file in
1141
+ [\\/]* | ?:[\\/]* ) . $cache_file;;
1142
+ *) . ./$cache_file;;
1143
+ esac
1144
+ fi
1145
+ else
1146
+ { echo "$as_me:$LINENO: creating cache $cache_file" >&5
1147
+ echo "$as_me: creating cache $cache_file" >&6;}
1148
+ >$cache_file
1149
+ fi
1150
+
1151
+ # Check that the precious variables saved in the cache have kept the same
1152
+ # value.
1153
+ ac_cache_corrupted=false
1154
+ for ac_var in `(set) 2>&1 |
1155
+ sed -n 's/^ac_env_\([a-zA-Z_0-9]*\)_set=.*/\1/p'`; do
1156
+ eval ac_old_set=\$ac_cv_env_${ac_var}_set
1157
+ eval ac_new_set=\$ac_env_${ac_var}_set
1158
+ eval ac_old_val="\$ac_cv_env_${ac_var}_value"
1159
+ eval ac_new_val="\$ac_env_${ac_var}_value"
1160
+ case $ac_old_set,$ac_new_set in
1161
+ set,)
1162
+ { echo "$as_me:$LINENO: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&5
1163
+ echo "$as_me: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&2;}
1164
+ ac_cache_corrupted=: ;;
1165
+ ,set)
1166
+ { echo "$as_me:$LINENO: error: \`$ac_var' was not set in the previous run" >&5
1167
+ echo "$as_me: error: \`$ac_var' was not set in the previous run" >&2;}
1168
+ ac_cache_corrupted=: ;;
1169
+ ,);;
1170
+ *)
1171
+ if test "x$ac_old_val" != "x$ac_new_val"; then
1172
+ { echo "$as_me:$LINENO: error: \`$ac_var' has changed since the previous run:" >&5
1173
+ echo "$as_me: error: \`$ac_var' has changed since the previous run:" >&2;}
1174
+ { echo "$as_me:$LINENO: former value: $ac_old_val" >&5
1175
+ echo "$as_me: former value: $ac_old_val" >&2;}
1176
+ { echo "$as_me:$LINENO: current value: $ac_new_val" >&5
1177
+ echo "$as_me: current value: $ac_new_val" >&2;}
1178
+ ac_cache_corrupted=:
1179
+ fi;;
1180
+ esac
1181
+ # Pass precious variables to config.status.
1182
+ if test "$ac_new_set" = set; then
1183
+ case $ac_new_val in
1184
+ *" "*|*" "*|*[\[\]\~\#\$\^\&\*\(\)\{\}\\\|\;\<\>\?\"\']*)
1185
+ ac_arg=$ac_var=`echo "$ac_new_val" | sed "s/'/'\\\\\\\\''/g"` ;;
1186
+ *) ac_arg=$ac_var=$ac_new_val ;;
1187
+ esac
1188
+ case " $ac_configure_args " in
1189
+ *" '$ac_arg' "*) ;; # Avoid dups. Use of quotes ensures accuracy.
1190
+ *) ac_configure_args="$ac_configure_args '$ac_arg'" ;;
1191
+ esac
1192
+ fi
1193
+ done
1194
+ if $ac_cache_corrupted; then
1195
+ { echo "$as_me:$LINENO: error: changes in the environment can compromise the build" >&5
1196
+ echo "$as_me: error: changes in the environment can compromise the build" >&2;}
1197
+ { { echo "$as_me:$LINENO: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&5
1198
+ echo "$as_me: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&2;}
1199
+ { (exit 1); exit 1; }; }
1200
+ fi
1201
+
1202
+ ac_ext=c
1203
+ ac_cpp='$CPP $CPPFLAGS'
1204
+ ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
1205
+ ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
1206
+ ac_compiler_gnu=$ac_cv_c_compiler_gnu
1207
+
1208
+
1209
+
1210
+
1211
+
1212
+
1213
+
1214
+
1215
+
1216
+
1217
+
1218
+
1219
+
1220
+
1221
+
1222
+
1223
+
1224
+
1225
+
1226
+
1227
+
1228
+
1229
+
1230
+
1231
+
1232
+
1233
+
1234
+
1235
+
1236
+ QECODE="qecode"
1237
+
1238
+
1239
+ ../../config.status --file Makefile.in:Makefile.in.in
1240
+
1241
+ ac_config_commands="$ac_config_commands Makefile.in"
1242
+
1243
+ ac_config_files="$ac_config_files Makefile"
1244
+
1245
+ cat >confcache <<\_ACEOF
1246
+ # This file is a shell script that caches the results of configure
1247
+ # tests run on this system so they can be shared between configure
1248
+ # scripts and configure runs, see configure's option --config-cache.
1249
+ # It is not useful on other systems. If it contains results you don't
1250
+ # want to keep, you may remove or edit it.
1251
+ #
1252
+ # config.status only pays attention to the cache file if you give it
1253
+ # the --recheck option to rerun configure.
1254
+ #
1255
+ # `ac_cv_env_foo' variables (set or unset) will be overridden when
1256
+ # loading this file, other *unset* `ac_cv_foo' will be assigned the
1257
+ # following values.
1258
+
1259
+ _ACEOF
1260
+
1261
+ # The following way of writing the cache mishandles newlines in values,
1262
+ # but we know of no workaround that is simple, portable, and efficient.
1263
+ # So, don't put newlines in cache variables' values.
1264
+ # Ultrix sh set writes to stderr and can't be redirected directly,
1265
+ # and sets the high bit in the cache file unless we assign to the vars.
1266
+ {
1267
+ (set) 2>&1 |
1268
+ case `(ac_space=' '; set | grep ac_space) 2>&1` in
1269
+ *ac_space=\ *)
1270
+ # `set' does not quote correctly, so add quotes (double-quote
1271
+ # substitution turns \\\\ into \\, and sed turns \\ into \).
1272
+ sed -n \
1273
+ "s/'/'\\\\''/g;
1274
+ s/^\\([_$as_cr_alnum]*_cv_[_$as_cr_alnum]*\\)=\\(.*\\)/\\1='\\2'/p"
1275
+ ;;
1276
+ *)
1277
+ # `set' quotes correctly as required by POSIX, so do not add quotes.
1278
+ sed -n \
1279
+ "s/^\\([_$as_cr_alnum]*_cv_[_$as_cr_alnum]*\\)=\\(.*\\)/\\1=\\2/p"
1280
+ ;;
1281
+ esac;
1282
+ } |
1283
+ sed '
1284
+ t clear
1285
+ : clear
1286
+ s/^\([^=]*\)=\(.*[{}].*\)$/test "${\1+set}" = set || &/
1287
+ t end
1288
+ /^ac_cv_env/!s/^\([^=]*\)=\(.*\)$/\1=${\1=\2}/
1289
+ : end' >>confcache
1290
+ if diff $cache_file confcache >/dev/null 2>&1; then :; else
1291
+ if test -w $cache_file; then
1292
+ test "x$cache_file" != "x/dev/null" && echo "updating cache $cache_file"
1293
+ cat confcache >$cache_file
1294
+ else
1295
+ echo "not updating unwritable cache $cache_file"
1296
+ fi
1297
+ fi
1298
+ rm -f confcache
1299
+
1300
+ test "x$prefix" = xNONE && prefix=$ac_default_prefix
1301
+ # Let make expand exec_prefix.
1302
+ test "x$exec_prefix" = xNONE && exec_prefix='${prefix}'
1303
+
1304
+ # VPATH may cause trouble with some makes, so we remove $(srcdir),
1305
+ # ${srcdir} and @srcdir@ from VPATH if srcdir is ".", strip leading and
1306
+ # trailing colons and then remove the whole line if VPATH becomes empty
1307
+ # (actually we leave an empty line to preserve line numbers).
1308
+ if test "x$srcdir" = x.; then
1309
+ ac_vpsub='/^[ ]*VPATH[ ]*=/{
1310
+ s/:*\$(srcdir):*/:/;
1311
+ s/:*\${srcdir}:*/:/;
1312
+ s/:*@srcdir@:*/:/;
1313
+ s/^\([^=]*=[ ]*\):*/\1/;
1314
+ s/:*$//;
1315
+ s/^[^=]*=[ ]*$//;
1316
+ }'
1317
+ fi
1318
+
1319
+ # Transform confdefs.h into DEFS.
1320
+ # Protect against shell expansion while executing Makefile rules.
1321
+ # Protect against Makefile macro expansion.
1322
+ #
1323
+ # If the first sed substitution is executed (which looks for macros that
1324
+ # take arguments), then we branch to the quote section. Otherwise,
1325
+ # look for a macro that doesn't take arguments.
1326
+ cat >confdef2opt.sed <<\_ACEOF
1327
+ t clear
1328
+ : clear
1329
+ s,^[ ]*#[ ]*define[ ][ ]*\([^ (][^ (]*([^)]*)\)[ ]*\(.*\),-D\1=\2,g
1330
+ t quote
1331
+ s,^[ ]*#[ ]*define[ ][ ]*\([^ ][^ ]*\)[ ]*\(.*\),-D\1=\2,g
1332
+ t quote
1333
+ d
1334
+ : quote
1335
+ s,[ `~#$^&*(){}\\|;'"<>?],\\&,g
1336
+ s,\[,\\&,g
1337
+ s,\],\\&,g
1338
+ s,\$,$$,g
1339
+ p
1340
+ _ACEOF
1341
+ # We use echo to avoid assuming a particular line-breaking character.
1342
+ # The extra dot is to prevent the shell from consuming trailing
1343
+ # line-breaks from the sub-command output. A line-break within
1344
+ # single-quotes doesn't work because, if this script is created in a
1345
+ # platform that uses two characters for line-breaks (e.g., DOS), tr
1346
+ # would break.
1347
+ ac_LF_and_DOT=`echo; echo .`
1348
+ DEFS=`sed -n -f confdef2opt.sed confdefs.h | tr "$ac_LF_and_DOT" ' .'`
1349
+ rm -f confdef2opt.sed
1350
+
1351
+
1352
+ ac_libobjs=
1353
+ ac_ltlibobjs=
1354
+ for ac_i in : $LIB@&t@OBJS; do test "x$ac_i" = x: && continue
1355
+ # 1. Remove the extension, and $U if already installed.
1356
+ ac_i=`echo "$ac_i" |
1357
+ sed 's/\$U\././;s/\.o$//;s/\.obj$//'`
1358
+ # 2. Add them.
1359
+ ac_libobjs="$ac_libobjs $ac_i\$U.$ac_objext"
1360
+ ac_ltlibobjs="$ac_ltlibobjs $ac_i"'$U.lo'
1361
+ done
1362
+ LIB@&t@OBJS=$ac_libobjs
1363
+
1364
+ LTLIBOBJS=$ac_ltlibobjs
1365
+
1366
+
1367
+
1368
+ : ${CONFIG_STATUS=./config.status}
1369
+ ac_clean_files_save=$ac_clean_files
1370
+ ac_clean_files="$ac_clean_files $CONFIG_STATUS"
1371
+ { echo "$as_me:$LINENO: creating $CONFIG_STATUS" >&5
1372
+ echo "$as_me: creating $CONFIG_STATUS" >&6;}
1373
+ cat >$CONFIG_STATUS <<_ACEOF
1374
+ #! $SHELL
1375
+ # Generated by $as_me.
1376
+ # Run this file to recreate the current configuration.
1377
+ # Compiler output produced by configure, useful for debugging
1378
+ # configure, is in config.log if it exists.
1379
+
1380
+ debug=false
1381
+ ac_cs_recheck=false
1382
+ ac_cs_silent=false
1383
+ SHELL=\${CONFIG_SHELL-$SHELL}
1384
+ _ACEOF
1385
+
1386
+ cat >>$CONFIG_STATUS <<\_ACEOF
1387
+ ## --------------------- ##
1388
+ ## M4sh Initialization. ##
1389
+ ## --------------------- ##
1390
+
1391
+ # Be Bourne compatible
1392
+ if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then
1393
+ emulate sh
1394
+ NULLCMD=:
1395
+ # Zsh 3.x and 4.x performs word splitting on ${1+"$@"}, which
1396
+ # is contrary to our usage. Disable this feature.
1397
+ alias -g '${1+"$@"}'='"$@"'
1398
+ elif test -n "${BASH_VERSION+set}" && (set -o posix) >/dev/null 2>&1; then
1399
+ set -o posix
1400
+ fi
1401
+ DUALCASE=1; export DUALCASE # for MKS sh
1402
+
1403
+ # Support unset when possible.
1404
+ if ( (MAIL=60; unset MAIL) || exit) >/dev/null 2>&1; then
1405
+ as_unset=unset
1406
+ else
1407
+ as_unset=false
1408
+ fi
1409
+
1410
+
1411
+ # Work around bugs in pre-3.0 UWIN ksh.
1412
+ $as_unset ENV MAIL MAILPATH
1413
+ PS1='$ '
1414
+ PS2='> '
1415
+ PS4='+ '
1416
+
1417
+ # NLS nuisances.
1418
+ for as_var in \
1419
+ LANG LANGUAGE LC_ADDRESS LC_ALL LC_COLLATE LC_CTYPE LC_IDENTIFICATION \
1420
+ LC_MEASUREMENT LC_MESSAGES LC_MONETARY LC_NAME LC_NUMERIC LC_PAPER \
1421
+ LC_TELEPHONE LC_TIME
1422
+ do
1423
+ if (set +x; test -z "`(eval $as_var=C; export $as_var) 2>&1`"); then
1424
+ eval $as_var=C; export $as_var
1425
+ else
1426
+ $as_unset $as_var
1427
+ fi
1428
+ done
1429
+
1430
+ # Required to use basename.
1431
+ if expr a : '\(a\)' >/dev/null 2>&1; then
1432
+ as_expr=expr
1433
+ else
1434
+ as_expr=false
1435
+ fi
1436
+
1437
+ if (basename /) >/dev/null 2>&1 && test "X`basename / 2>&1`" = "X/"; then
1438
+ as_basename=basename
1439
+ else
1440
+ as_basename=false
1441
+ fi
1442
+
1443
+
1444
+ # Name of the executable.
1445
+ as_me=`$as_basename "$0" ||
1446
+ $as_expr X/"$0" : '.*/\([^/][^/]*\)/*$' \| \
1447
+ X"$0" : 'X\(//\)$' \| \
1448
+ X"$0" : 'X\(/\)$' \| \
1449
+ . : '\(.\)' 2>/dev/null ||
1450
+ echo X/"$0" |
1451
+ sed '/^.*\/\([^/][^/]*\)\/*$/{ s//\1/; q; }
1452
+ /^X\/\(\/\/\)$/{ s//\1/; q; }
1453
+ /^X\/\(\/\).*/{ s//\1/; q; }
1454
+ s/.*/./; q'`
1455
+
1456
+
1457
+ # PATH needs CR, and LINENO needs CR and PATH.
1458
+ # Avoid depending upon Character Ranges.
1459
+ as_cr_letters='abcdefghijklmnopqrstuvwxyz'
1460
+ as_cr_LETTERS='ABCDEFGHIJKLMNOPQRSTUVWXYZ'
1461
+ as_cr_Letters=$as_cr_letters$as_cr_LETTERS
1462
+ as_cr_digits='0123456789'
1463
+ as_cr_alnum=$as_cr_Letters$as_cr_digits
1464
+
1465
+ # The user is always right.
1466
+ if test "${PATH_SEPARATOR+set}" != set; then
1467
+ echo "#! /bin/sh" >conf$$.sh
1468
+ echo "exit 0" >>conf$$.sh
1469
+ chmod +x conf$$.sh
1470
+ if (PATH="/nonexistent;."; conf$$.sh) >/dev/null 2>&1; then
1471
+ PATH_SEPARATOR=';'
1472
+ else
1473
+ PATH_SEPARATOR=:
1474
+ fi
1475
+ rm -f conf$$.sh
1476
+ fi
1477
+
1478
+
1479
+ as_lineno_1=$LINENO
1480
+ as_lineno_2=$LINENO
1481
+ as_lineno_3=`(expr $as_lineno_1 + 1) 2>/dev/null`
1482
+ test "x$as_lineno_1" != "x$as_lineno_2" &&
1483
+ test "x$as_lineno_3" = "x$as_lineno_2" || {
1484
+ # Find who we are. Look in the path if we contain no path at all
1485
+ # relative or not.
1486
+ case $0 in
1487
+ *[\\/]* ) as_myself=$0 ;;
1488
+ *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
1489
+ for as_dir in $PATH
1490
+ do
1491
+ IFS=$as_save_IFS
1492
+ test -z "$as_dir" && as_dir=.
1493
+ test -r "$as_dir/$0" && as_myself=$as_dir/$0 && break
1494
+ done
1495
+
1496
+ ;;
1497
+ esac
1498
+ # We did not find ourselves, most probably we were run as `sh COMMAND'
1499
+ # in which case we are not to be found in the path.
1500
+ if test "x$as_myself" = x; then
1501
+ as_myself=$0
1502
+ fi
1503
+ if test ! -f "$as_myself"; then
1504
+ { { echo "$as_me:$LINENO: error: cannot find myself; rerun with an absolute path" >&5
1505
+ echo "$as_me: error: cannot find myself; rerun with an absolute path" >&2;}
1506
+ { (exit 1); exit 1; }; }
1507
+ fi
1508
+ case $CONFIG_SHELL in
1509
+ '')
1510
+ as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
1511
+ for as_dir in /bin$PATH_SEPARATOR/usr/bin$PATH_SEPARATOR$PATH
1512
+ do
1513
+ IFS=$as_save_IFS
1514
+ test -z "$as_dir" && as_dir=.
1515
+ for as_base in sh bash ksh sh5; do
1516
+ case $as_dir in
1517
+ /*)
1518
+ if ("$as_dir/$as_base" -c '
1519
+ as_lineno_1=$LINENO
1520
+ as_lineno_2=$LINENO
1521
+ as_lineno_3=`(expr $as_lineno_1 + 1) 2>/dev/null`
1522
+ test "x$as_lineno_1" != "x$as_lineno_2" &&
1523
+ test "x$as_lineno_3" = "x$as_lineno_2" ') 2>/dev/null; then
1524
+ $as_unset BASH_ENV || test "${BASH_ENV+set}" != set || { BASH_ENV=; export BASH_ENV; }
1525
+ $as_unset ENV || test "${ENV+set}" != set || { ENV=; export ENV; }
1526
+ CONFIG_SHELL=$as_dir/$as_base
1527
+ export CONFIG_SHELL
1528
+ exec "$CONFIG_SHELL" "$0" ${1+"$@"}
1529
+ fi;;
1530
+ esac
1531
+ done
1532
+ done
1533
+ ;;
1534
+ esac
1535
+
1536
+ # Create $as_me.lineno as a copy of $as_myself, but with $LINENO
1537
+ # uniformly replaced by the line number. The first 'sed' inserts a
1538
+ # line-number line before each line; the second 'sed' does the real
1539
+ # work. The second script uses 'N' to pair each line-number line
1540
+ # with the numbered line, and appends trailing '-' during
1541
+ # substitution so that $LINENO is not a special case at line end.
1542
+ # (Raja R Harinath suggested sed '=', and Paul Eggert wrote the
1543
+ # second 'sed' script. Blame Lee E. McMahon for sed's syntax. :-)
1544
+ sed '=' <$as_myself |
1545
+ sed '
1546
+ N
1547
+ s,$,-,
1548
+ : loop
1549
+ s,^\(['$as_cr_digits']*\)\(.*\)[$]LINENO\([^'$as_cr_alnum'_]\),\1\2\1\3,
1550
+ t loop
1551
+ s,-$,,
1552
+ s,^['$as_cr_digits']*\n,,
1553
+ ' >$as_me.lineno &&
1554
+ chmod +x $as_me.lineno ||
1555
+ { { echo "$as_me:$LINENO: error: cannot create $as_me.lineno; rerun with a POSIX shell" >&5
1556
+ echo "$as_me: error: cannot create $as_me.lineno; rerun with a POSIX shell" >&2;}
1557
+ { (exit 1); exit 1; }; }
1558
+
1559
+ # Don't try to exec as it changes $[0], causing all sort of problems
1560
+ # (the dirname of $[0] is not the place where we might find the
1561
+ # original and so on. Autoconf is especially sensible to this).
1562
+ . ./$as_me.lineno
1563
+ # Exit status is that of the last command.
1564
+ exit
1565
+ }
1566
+
1567
+
1568
+ case `echo "testing\c"; echo 1,2,3`,`echo -n testing; echo 1,2,3` in
1569
+ *c*,-n*) ECHO_N= ECHO_C='
1570
+ ' ECHO_T=' ' ;;
1571
+ *c*,* ) ECHO_N=-n ECHO_C= ECHO_T= ;;
1572
+ *) ECHO_N= ECHO_C='\c' ECHO_T= ;;
1573
+ esac
1574
+
1575
+ if expr a : '\(a\)' >/dev/null 2>&1; then
1576
+ as_expr=expr
1577
+ else
1578
+ as_expr=false
1579
+ fi
1580
+
1581
+ rm -f conf$$ conf$$.exe conf$$.file
1582
+ echo >conf$$.file
1583
+ if ln -s conf$$.file conf$$ 2>/dev/null; then
1584
+ # We could just check for DJGPP; but this test a) works b) is more generic
1585
+ # and c) will remain valid once DJGPP supports symlinks (DJGPP 2.04).
1586
+ if test -f conf$$.exe; then
1587
+ # Don't use ln at all; we don't have any links
1588
+ as_ln_s='cp -p'
1589
+ else
1590
+ as_ln_s='ln -s'
1591
+ fi
1592
+ elif ln conf$$.file conf$$ 2>/dev/null; then
1593
+ as_ln_s=ln
1594
+ else
1595
+ as_ln_s='cp -p'
1596
+ fi
1597
+ rm -f conf$$ conf$$.exe conf$$.file
1598
+
1599
+ if mkdir -p . 2>/dev/null; then
1600
+ as_mkdir_p=:
1601
+ else
1602
+ test -d ./-p && rmdir ./-p
1603
+ as_mkdir_p=false
1604
+ fi
1605
+
1606
+ as_executable_p="test -f"
1607
+
1608
+ # Sed expression to map a string onto a valid CPP name.
1609
+ as_tr_cpp="eval sed 'y%*$as_cr_letters%P$as_cr_LETTERS%;s%[^_$as_cr_alnum]%_%g'"
1610
+
1611
+ # Sed expression to map a string onto a valid variable name.
1612
+ as_tr_sh="eval sed 'y%*+%pp%;s%[^_$as_cr_alnum]%_%g'"
1613
+
1614
+
1615
+ # IFS
1616
+ # We need space, tab and new line, in precisely that order.
1617
+ as_nl='
1618
+ '
1619
+ IFS=" $as_nl"
1620
+
1621
+ # CDPATH.
1622
+ $as_unset CDPATH
1623
+
1624
+ exec 6>&1
1625
+
1626
+ # Open the log real soon, to keep \$[0] and so on meaningful, and to
1627
+ # report actual input values of CONFIG_FILES etc. instead of their
1628
+ # values after options handling. Logging --version etc. is OK.
1629
+ exec 5>>config.log
1630
+ {
1631
+ echo
1632
+ sed 'h;s/./-/g;s/^.../@%:@@%:@ /;s/...$/ @%:@@%:@/;p;x;p;x' <<_ASBOX
1633
+ @%:@@%:@ Running $as_me. @%:@@%:@
1634
+ _ASBOX
1635
+ } >&5
1636
+ cat >&5 <<_CSEOF
1637
+
1638
+ This file was extended by QECODE $as_me 1.2, which was
1639
+ generated by GNU Autoconf 2.59. Invocation command line was
1640
+
1641
+ CONFIG_FILES = $CONFIG_FILES
1642
+ CONFIG_HEADERS = $CONFIG_HEADERS
1643
+ CONFIG_LINKS = $CONFIG_LINKS
1644
+ CONFIG_COMMANDS = $CONFIG_COMMANDS
1645
+ $ $0 $@
1646
+
1647
+ _CSEOF
1648
+ echo "on `(hostname || uname -n) 2>/dev/null | sed 1q`" >&5
1649
+ echo >&5
1650
+ _ACEOF
1651
+
1652
+ # Files that config.status was made for.
1653
+ if test -n "$ac_config_files"; then
1654
+ echo "config_files=\"$ac_config_files\"" >>$CONFIG_STATUS
1655
+ fi
1656
+
1657
+ if test -n "$ac_config_headers"; then
1658
+ echo "config_headers=\"$ac_config_headers\"" >>$CONFIG_STATUS
1659
+ fi
1660
+
1661
+ if test -n "$ac_config_links"; then
1662
+ echo "config_links=\"$ac_config_links\"" >>$CONFIG_STATUS
1663
+ fi
1664
+
1665
+ if test -n "$ac_config_commands"; then
1666
+ echo "config_commands=\"$ac_config_commands\"" >>$CONFIG_STATUS
1667
+ fi
1668
+
1669
+ cat >>$CONFIG_STATUS <<\_ACEOF
1670
+
1671
+ ac_cs_usage="\
1672
+ \`$as_me' instantiates files from templates according to the
1673
+ current configuration.
1674
+
1675
+ Usage: $0 [OPTIONS] [FILE]...
1676
+
1677
+ -h, --help print this help, then exit
1678
+ -V, --version print version number, then exit
1679
+ -q, --quiet do not print progress messages
1680
+ -d, --debug don't remove temporary files
1681
+ --recheck update $as_me by reconfiguring in the same conditions
1682
+ --file=FILE[:TEMPLATE]
1683
+ instantiate the configuration file FILE
1684
+
1685
+ Configuration files:
1686
+ $config_files
1687
+
1688
+ Configuration commands:
1689
+ $config_commands
1690
+
1691
+ Report bugs to <bug-autoconf@gnu.org>."
1692
+ _ACEOF
1693
+
1694
+ cat >>$CONFIG_STATUS <<_ACEOF
1695
+ ac_cs_version="\\
1696
+ QECODE config.status 1.2
1697
+ configured by $0, generated by GNU Autoconf 2.59,
1698
+ with options \\"`echo "$ac_configure_args" | sed 's/[\\""\`\$]/\\\\&/g'`\\"
1699
+
1700
+ Copyright (C) 2003 Free Software Foundation, Inc.
1701
+ This config.status script is free software; the Free Software Foundation
1702
+ gives unlimited permission to copy, distribute and modify it."
1703
+ srcdir=$srcdir
1704
+ _ACEOF
1705
+
1706
+ cat >>$CONFIG_STATUS <<\_ACEOF
1707
+ # If no file are specified by the user, then we need to provide default
1708
+ # value. By we need to know if files were specified by the user.
1709
+ ac_need_defaults=:
1710
+ while test $# != 0
1711
+ do
1712
+ case $1 in
1713
+ --*=*)
1714
+ ac_option=`expr "x$1" : 'x\([^=]*\)='`
1715
+ ac_optarg=`expr "x$1" : 'x[^=]*=\(.*\)'`
1716
+ ac_shift=:
1717
+ ;;
1718
+ -*)
1719
+ ac_option=$1
1720
+ ac_optarg=$2
1721
+ ac_shift=shift
1722
+ ;;
1723
+ *) # This is not an option, so the user has probably given explicit
1724
+ # arguments.
1725
+ ac_option=$1
1726
+ ac_need_defaults=false;;
1727
+ esac
1728
+
1729
+ case $ac_option in
1730
+ # Handling of the options.
1731
+ _ACEOF
1732
+ cat >>$CONFIG_STATUS <<\_ACEOF
1733
+ -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)
1734
+ ac_cs_recheck=: ;;
1735
+ --version | --vers* | -V )
1736
+ echo "$ac_cs_version"; exit 0 ;;
1737
+ --he | --h)
1738
+ # Conflict between --help and --header
1739
+ { { echo "$as_me:$LINENO: error: ambiguous option: $1
1740
+ Try \`$0 --help' for more information." >&5
1741
+ echo "$as_me: error: ambiguous option: $1
1742
+ Try \`$0 --help' for more information." >&2;}
1743
+ { (exit 1); exit 1; }; };;
1744
+ --help | --hel | -h )
1745
+ echo "$ac_cs_usage"; exit 0 ;;
1746
+ --debug | --d* | -d )
1747
+ debug=: ;;
1748
+ --file | --fil | --fi | --f )
1749
+ $ac_shift
1750
+ CONFIG_FILES="$CONFIG_FILES $ac_optarg"
1751
+ ac_need_defaults=false;;
1752
+ --header | --heade | --head | --hea )
1753
+ $ac_shift
1754
+ CONFIG_HEADERS="$CONFIG_HEADERS $ac_optarg"
1755
+ ac_need_defaults=false;;
1756
+ -q | -quiet | --quiet | --quie | --qui | --qu | --q \
1757
+ | -silent | --silent | --silen | --sile | --sil | --si | --s)
1758
+ ac_cs_silent=: ;;
1759
+
1760
+ # This is an error.
1761
+ -*) { { echo "$as_me:$LINENO: error: unrecognized option: $1
1762
+ Try \`$0 --help' for more information." >&5
1763
+ echo "$as_me: error: unrecognized option: $1
1764
+ Try \`$0 --help' for more information." >&2;}
1765
+ { (exit 1); exit 1; }; } ;;
1766
+
1767
+ *) ac_config_targets="$ac_config_targets $1" ;;
1768
+
1769
+ esac
1770
+ shift
1771
+ done
1772
+
1773
+ ac_configure_extra_args=
1774
+
1775
+ if $ac_cs_silent; then
1776
+ exec 6>/dev/null
1777
+ ac_configure_extra_args="$ac_configure_extra_args --silent"
1778
+ fi
1779
+
1780
+ _ACEOF
1781
+ cat >>$CONFIG_STATUS <<_ACEOF
1782
+ if \$ac_cs_recheck; then
1783
+ echo "running $SHELL $0 " $ac_configure_args \$ac_configure_extra_args " --no-create --no-recursion" >&6
1784
+ exec $SHELL $0 $ac_configure_args \$ac_configure_extra_args --no-create --no-recursion
1785
+ fi
1786
+
1787
+ _ACEOF
1788
+
1789
+
1790
+
1791
+
1792
+
1793
+ cat >>$CONFIG_STATUS <<\_ACEOF
1794
+ for ac_config_target in $ac_config_targets
1795
+ do
1796
+ case "$ac_config_target" in
1797
+ # Handling of arguments.
1798
+ "Makefile" ) CONFIG_FILES="$CONFIG_FILES Makefile" ;;
1799
+ "Makefile.in" ) CONFIG_COMMANDS="$CONFIG_COMMANDS Makefile.in" ;;
1800
+ *) { { echo "$as_me:$LINENO: error: invalid argument: $ac_config_target" >&5
1801
+ echo "$as_me: error: invalid argument: $ac_config_target" >&2;}
1802
+ { (exit 1); exit 1; }; };;
1803
+ esac
1804
+ done
1805
+
1806
+ # If the user did not use the arguments to specify the items to instantiate,
1807
+ # then the envvar interface is used. Set only those that are not.
1808
+ # We use the long form for the default assignment because of an extremely
1809
+ # bizarre bug on SunOS 4.1.3.
1810
+ if $ac_need_defaults; then
1811
+ test "${CONFIG_FILES+set}" = set || CONFIG_FILES=$config_files
1812
+ test "${CONFIG_COMMANDS+set}" = set || CONFIG_COMMANDS=$config_commands
1813
+ fi
1814
+
1815
+ # Have a temporary directory for convenience. Make it in the build tree
1816
+ # simply because there is no reason to put it here, and in addition,
1817
+ # creating and moving files from /tmp can sometimes cause problems.
1818
+ # Create a temporary directory, and hook for its removal unless debugging.
1819
+ $debug ||
1820
+ {
1821
+ trap 'exit_status=$?; rm -rf $tmp && exit $exit_status' 0
1822
+ trap '{ (exit 1); exit 1; }' 1 2 13 15
1823
+ }
1824
+
1825
+ # Create a (secure) tmp directory for tmp files.
1826
+
1827
+ {
1828
+ tmp=`(umask 077 && mktemp -d -q "./confstatXXXXXX") 2>/dev/null` &&
1829
+ test -n "$tmp" && test -d "$tmp"
1830
+ } ||
1831
+ {
1832
+ tmp=./confstat$$-$RANDOM
1833
+ (umask 077 && mkdir $tmp)
1834
+ } ||
1835
+ {
1836
+ echo "$me: cannot create a temporary directory in ." >&2
1837
+ { (exit 1); exit 1; }
1838
+ }
1839
+
1840
+ _ACEOF
1841
+
1842
+ cat >>$CONFIG_STATUS <<_ACEOF
1843
+
1844
+ #
1845
+ # CONFIG_FILES section.
1846
+ #
1847
+
1848
+ # No need to generate the scripts if there are no CONFIG_FILES.
1849
+ # This happens for instance when ./config.status config.h
1850
+ if test -n "\$CONFIG_FILES"; then
1851
+ # Protect against being on the right side of a sed subst in config.status.
1852
+ sed 's/,@/@@/; s/@,/@@/; s/,;t t\$/@;t t/; /@;t t\$/s/[\\\\&,]/\\\\&/g;
1853
+ s/@@/,@/; s/@@/@,/; s/@;t t\$/,;t t/' >\$tmp/subs.sed <<\\CEOF
1854
+ s,@SHELL@,$SHELL,;t t
1855
+ s,@PATH_SEPARATOR@,$PATH_SEPARATOR,;t t
1856
+ s,@PACKAGE_NAME@,$PACKAGE_NAME,;t t
1857
+ s,@PACKAGE_TARNAME@,$PACKAGE_TARNAME,;t t
1858
+ s,@PACKAGE_VERSION@,$PACKAGE_VERSION,;t t
1859
+ s,@PACKAGE_STRING@,$PACKAGE_STRING,;t t
1860
+ s,@PACKAGE_BUGREPORT@,$PACKAGE_BUGREPORT,;t t
1861
+ s,@exec_prefix@,$exec_prefix,;t t
1862
+ s,@prefix@,$prefix,;t t
1863
+ s,@program_transform_name@,$program_transform_name,;t t
1864
+ s,@bindir@,$bindir,;t t
1865
+ s,@sbindir@,$sbindir,;t t
1866
+ s,@libexecdir@,$libexecdir,;t t
1867
+ s,@datadir@,$datadir,;t t
1868
+ s,@sysconfdir@,$sysconfdir,;t t
1869
+ s,@sharedstatedir@,$sharedstatedir,;t t
1870
+ s,@localstatedir@,$localstatedir,;t t
1871
+ s,@libdir@,$libdir,;t t
1872
+ s,@includedir@,$includedir,;t t
1873
+ s,@oldincludedir@,$oldincludedir,;t t
1874
+ s,@infodir@,$infodir,;t t
1875
+ s,@mandir@,$mandir,;t t
1876
+ s,@build_alias@,$build_alias,;t t
1877
+ s,@host_alias@,$host_alias,;t t
1878
+ s,@target_alias@,$target_alias,;t t
1879
+ s,@DEFS@,$DEFS,;t t
1880
+ s,@ECHO_C@,$ECHO_C,;t t
1881
+ s,@ECHO_N@,$ECHO_N,;t t
1882
+ s,@ECHO_T@,$ECHO_T,;t t
1883
+ s,@LIBS@,$LIBS,;t t
1884
+ s,@QECODE@,$QECODE,;t t
1885
+ s,@LIB@&t@OBJS@,$LIB@&t@OBJS,;t t
1886
+ s,@LTLIBOBJS@,$LTLIBOBJS,;t t
1887
+ CEOF
1888
+
1889
+ _ACEOF
1890
+
1891
+ cat >>$CONFIG_STATUS <<\_ACEOF
1892
+ # Split the substitutions into bite-sized pieces for seds with
1893
+ # small command number limits, like on Digital OSF/1 and HP-UX.
1894
+ ac_max_sed_lines=48
1895
+ ac_sed_frag=1 # Number of current file.
1896
+ ac_beg=1 # First line for current file.
1897
+ ac_end=$ac_max_sed_lines # Line after last line for current file.
1898
+ ac_more_lines=:
1899
+ ac_sed_cmds=
1900
+ while $ac_more_lines; do
1901
+ if test $ac_beg -gt 1; then
1902
+ sed "1,${ac_beg}d; ${ac_end}q" $tmp/subs.sed >$tmp/subs.frag
1903
+ else
1904
+ sed "${ac_end}q" $tmp/subs.sed >$tmp/subs.frag
1905
+ fi
1906
+ if test ! -s $tmp/subs.frag; then
1907
+ ac_more_lines=false
1908
+ else
1909
+ # The purpose of the label and of the branching condition is to
1910
+ # speed up the sed processing (if there are no `@' at all, there
1911
+ # is no need to browse any of the substitutions).
1912
+ # These are the two extra sed commands mentioned above.
1913
+ (echo ':t
1914
+ /@[a-zA-Z_][a-zA-Z_0-9]*@/!b' && cat $tmp/subs.frag) >$tmp/subs-$ac_sed_frag.sed
1915
+ if test -z "$ac_sed_cmds"; then
1916
+ ac_sed_cmds="sed -f $tmp/subs-$ac_sed_frag.sed"
1917
+ else
1918
+ ac_sed_cmds="$ac_sed_cmds | sed -f $tmp/subs-$ac_sed_frag.sed"
1919
+ fi
1920
+ ac_sed_frag=`expr $ac_sed_frag + 1`
1921
+ ac_beg=$ac_end
1922
+ ac_end=`expr $ac_end + $ac_max_sed_lines`
1923
+ fi
1924
+ done
1925
+ if test -z "$ac_sed_cmds"; then
1926
+ ac_sed_cmds=cat
1927
+ fi
1928
+ fi # test -n "$CONFIG_FILES"
1929
+
1930
+ _ACEOF
1931
+ cat >>$CONFIG_STATUS <<\_ACEOF
1932
+ for ac_file in : $CONFIG_FILES; do test "x$ac_file" = x: && continue
1933
+ # Support "outfile[:infile[:infile...]]", defaulting infile="outfile.in".
1934
+ case $ac_file in
1935
+ - | *:- | *:-:* ) # input from stdin
1936
+ cat >$tmp/stdin
1937
+ ac_file_in=`echo "$ac_file" | sed 's,[^:]*:,,'`
1938
+ ac_file=`echo "$ac_file" | sed 's,:.*,,'` ;;
1939
+ *:* ) ac_file_in=`echo "$ac_file" | sed 's,[^:]*:,,'`
1940
+ ac_file=`echo "$ac_file" | sed 's,:.*,,'` ;;
1941
+ * ) ac_file_in=$ac_file.in ;;
1942
+ esac
1943
+
1944
+ # Compute @srcdir@, @top_srcdir@, and @INSTALL@ for subdirectories.
1945
+ ac_dir=`(dirname "$ac_file") 2>/dev/null ||
1946
+ $as_expr X"$ac_file" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
1947
+ X"$ac_file" : 'X\(//\)[^/]' \| \
1948
+ X"$ac_file" : 'X\(//\)$' \| \
1949
+ X"$ac_file" : 'X\(/\)' \| \
1950
+ . : '\(.\)' 2>/dev/null ||
1951
+ echo X"$ac_file" |
1952
+ sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{ s//\1/; q; }
1953
+ /^X\(\/\/\)[^/].*/{ s//\1/; q; }
1954
+ /^X\(\/\/\)$/{ s//\1/; q; }
1955
+ /^X\(\/\).*/{ s//\1/; q; }
1956
+ s/.*/./; q'`
1957
+ { if $as_mkdir_p; then
1958
+ mkdir -p "$ac_dir"
1959
+ else
1960
+ as_dir="$ac_dir"
1961
+ as_dirs=
1962
+ while test ! -d "$as_dir"; do
1963
+ as_dirs="$as_dir $as_dirs"
1964
+ as_dir=`(dirname "$as_dir") 2>/dev/null ||
1965
+ $as_expr X"$as_dir" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
1966
+ X"$as_dir" : 'X\(//\)[^/]' \| \
1967
+ X"$as_dir" : 'X\(//\)$' \| \
1968
+ X"$as_dir" : 'X\(/\)' \| \
1969
+ . : '\(.\)' 2>/dev/null ||
1970
+ echo X"$as_dir" |
1971
+ sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{ s//\1/; q; }
1972
+ /^X\(\/\/\)[^/].*/{ s//\1/; q; }
1973
+ /^X\(\/\/\)$/{ s//\1/; q; }
1974
+ /^X\(\/\).*/{ s//\1/; q; }
1975
+ s/.*/./; q'`
1976
+ done
1977
+ test ! -n "$as_dirs" || mkdir $as_dirs
1978
+ fi || { { echo "$as_me:$LINENO: error: cannot create directory \"$ac_dir\"" >&5
1979
+ echo "$as_me: error: cannot create directory \"$ac_dir\"" >&2;}
1980
+ { (exit 1); exit 1; }; }; }
1981
+
1982
+ ac_builddir=.
1983
+
1984
+ if test "$ac_dir" != .; then
1985
+ ac_dir_suffix=/`echo "$ac_dir" | sed 's,^\.[\\/],,'`
1986
+ # A "../" for each directory in $ac_dir_suffix.
1987
+ ac_top_builddir=`echo "$ac_dir_suffix" | sed 's,/[^\\/]*,../,g'`
1988
+ else
1989
+ ac_dir_suffix= ac_top_builddir=
1990
+ fi
1991
+
1992
+ case $srcdir in
1993
+ .) # No --srcdir option. We are building in place.
1994
+ ac_srcdir=.
1995
+ if test -z "$ac_top_builddir"; then
1996
+ ac_top_srcdir=.
1997
+ else
1998
+ ac_top_srcdir=`echo $ac_top_builddir | sed 's,/$,,'`
1999
+ fi ;;
2000
+ [\\/]* | ?:[\\/]* ) # Absolute path.
2001
+ ac_srcdir=$srcdir$ac_dir_suffix;
2002
+ ac_top_srcdir=$srcdir ;;
2003
+ *) # Relative path.
2004
+ ac_srcdir=$ac_top_builddir$srcdir$ac_dir_suffix
2005
+ ac_top_srcdir=$ac_top_builddir$srcdir ;;
2006
+ esac
2007
+
2008
+ # Do not use `cd foo && pwd` to compute absolute paths, because
2009
+ # the directories may not exist.
2010
+ case `pwd` in
2011
+ .) ac_abs_builddir="$ac_dir";;
2012
+ *)
2013
+ case "$ac_dir" in
2014
+ .) ac_abs_builddir=`pwd`;;
2015
+ [\\/]* | ?:[\\/]* ) ac_abs_builddir="$ac_dir";;
2016
+ *) ac_abs_builddir=`pwd`/"$ac_dir";;
2017
+ esac;;
2018
+ esac
2019
+ case $ac_abs_builddir in
2020
+ .) ac_abs_top_builddir=${ac_top_builddir}.;;
2021
+ *)
2022
+ case ${ac_top_builddir}. in
2023
+ .) ac_abs_top_builddir=$ac_abs_builddir;;
2024
+ [\\/]* | ?:[\\/]* ) ac_abs_top_builddir=${ac_top_builddir}.;;
2025
+ *) ac_abs_top_builddir=$ac_abs_builddir/${ac_top_builddir}.;;
2026
+ esac;;
2027
+ esac
2028
+ case $ac_abs_builddir in
2029
+ .) ac_abs_srcdir=$ac_srcdir;;
2030
+ *)
2031
+ case $ac_srcdir in
2032
+ .) ac_abs_srcdir=$ac_abs_builddir;;
2033
+ [\\/]* | ?:[\\/]* ) ac_abs_srcdir=$ac_srcdir;;
2034
+ *) ac_abs_srcdir=$ac_abs_builddir/$ac_srcdir;;
2035
+ esac;;
2036
+ esac
2037
+ case $ac_abs_builddir in
2038
+ .) ac_abs_top_srcdir=$ac_top_srcdir;;
2039
+ *)
2040
+ case $ac_top_srcdir in
2041
+ .) ac_abs_top_srcdir=$ac_abs_builddir;;
2042
+ [\\/]* | ?:[\\/]* ) ac_abs_top_srcdir=$ac_top_srcdir;;
2043
+ *) ac_abs_top_srcdir=$ac_abs_builddir/$ac_top_srcdir;;
2044
+ esac;;
2045
+ esac
2046
+
2047
+
2048
+
2049
+ if test x"$ac_file" != x-; then
2050
+ { echo "$as_me:$LINENO: creating $ac_file" >&5
2051
+ echo "$as_me: creating $ac_file" >&6;}
2052
+ rm -f "$ac_file"
2053
+ fi
2054
+ # Let's still pretend it is `configure' which instantiates (i.e., don't
2055
+ # use $as_me), people would be surprised to read:
2056
+ # /* config.h. Generated by config.status. */
2057
+ if test x"$ac_file" = x-; then
2058
+ configure_input=
2059
+ else
2060
+ configure_input="$ac_file. "
2061
+ fi
2062
+ configure_input=$configure_input"Generated from `echo $ac_file_in |
2063
+ sed 's,.*/,,'` by configure."
2064
+
2065
+ # First look for the input files in the build tree, otherwise in the
2066
+ # src tree.
2067
+ ac_file_inputs=`IFS=:
2068
+ for f in $ac_file_in; do
2069
+ case $f in
2070
+ -) echo $tmp/stdin ;;
2071
+ [\\/$]*)
2072
+ # Absolute (can't be DOS-style, as IFS=:)
2073
+ test -f "$f" || { { echo "$as_me:$LINENO: error: cannot find input file: $f" >&5
2074
+ echo "$as_me: error: cannot find input file: $f" >&2;}
2075
+ { (exit 1); exit 1; }; }
2076
+ echo "$f";;
2077
+ *) # Relative
2078
+ if test -f "$f"; then
2079
+ # Build tree
2080
+ echo "$f"
2081
+ elif test -f "$srcdir/$f"; then
2082
+ # Source tree
2083
+ echo "$srcdir/$f"
2084
+ else
2085
+ # /dev/null tree
2086
+ { { echo "$as_me:$LINENO: error: cannot find input file: $f" >&5
2087
+ echo "$as_me: error: cannot find input file: $f" >&2;}
2088
+ { (exit 1); exit 1; }; }
2089
+ fi;;
2090
+ esac
2091
+ done` || { (exit 1); exit 1; }
2092
+ _ACEOF
2093
+ cat >>$CONFIG_STATUS <<_ACEOF
2094
+ sed "$ac_vpsub
2095
+ $extrasub
2096
+ _ACEOF
2097
+ cat >>$CONFIG_STATUS <<\_ACEOF
2098
+ :t
2099
+ /@[a-zA-Z_][a-zA-Z_0-9]*@/!b
2100
+ s,@configure_input@,$configure_input,;t t
2101
+ s,@srcdir@,$ac_srcdir,;t t
2102
+ s,@abs_srcdir@,$ac_abs_srcdir,;t t
2103
+ s,@top_srcdir@,$ac_top_srcdir,;t t
2104
+ s,@abs_top_srcdir@,$ac_abs_top_srcdir,;t t
2105
+ s,@builddir@,$ac_builddir,;t t
2106
+ s,@abs_builddir@,$ac_abs_builddir,;t t
2107
+ s,@top_builddir@,$ac_top_builddir,;t t
2108
+ s,@abs_top_builddir@,$ac_abs_top_builddir,;t t
2109
+ " $ac_file_inputs | (eval "$ac_sed_cmds") >$tmp/out
2110
+ rm -f $tmp/stdin
2111
+ if test x"$ac_file" != x-; then
2112
+ mv $tmp/out $ac_file
2113
+ else
2114
+ cat $tmp/out
2115
+ rm -f $tmp/out
2116
+ fi
2117
+
2118
+ done
2119
+ _ACEOF
2120
+ cat >>$CONFIG_STATUS <<\_ACEOF
2121
+
2122
+ #
2123
+ # CONFIG_COMMANDS section.
2124
+ #
2125
+ for ac_file in : $CONFIG_COMMANDS; do test "x$ac_file" = x: && continue
2126
+ ac_dest=`echo "$ac_file" | sed 's,:.*,,'`
2127
+ ac_source=`echo "$ac_file" | sed 's,[^:]*:,,'`
2128
+ ac_dir=`(dirname "$ac_dest") 2>/dev/null ||
2129
+ $as_expr X"$ac_dest" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
2130
+ X"$ac_dest" : 'X\(//\)[^/]' \| \
2131
+ X"$ac_dest" : 'X\(//\)$' \| \
2132
+ X"$ac_dest" : 'X\(/\)' \| \
2133
+ . : '\(.\)' 2>/dev/null ||
2134
+ echo X"$ac_dest" |
2135
+ sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{ s//\1/; q; }
2136
+ /^X\(\/\/\)[^/].*/{ s//\1/; q; }
2137
+ /^X\(\/\/\)$/{ s//\1/; q; }
2138
+ /^X\(\/\).*/{ s//\1/; q; }
2139
+ s/.*/./; q'`
2140
+ { if $as_mkdir_p; then
2141
+ mkdir -p "$ac_dir"
2142
+ else
2143
+ as_dir="$ac_dir"
2144
+ as_dirs=
2145
+ while test ! -d "$as_dir"; do
2146
+ as_dirs="$as_dir $as_dirs"
2147
+ as_dir=`(dirname "$as_dir") 2>/dev/null ||
2148
+ $as_expr X"$as_dir" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
2149
+ X"$as_dir" : 'X\(//\)[^/]' \| \
2150
+ X"$as_dir" : 'X\(//\)$' \| \
2151
+ X"$as_dir" : 'X\(/\)' \| \
2152
+ . : '\(.\)' 2>/dev/null ||
2153
+ echo X"$as_dir" |
2154
+ sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{ s//\1/; q; }
2155
+ /^X\(\/\/\)[^/].*/{ s//\1/; q; }
2156
+ /^X\(\/\/\)$/{ s//\1/; q; }
2157
+ /^X\(\/\).*/{ s//\1/; q; }
2158
+ s/.*/./; q'`
2159
+ done
2160
+ test ! -n "$as_dirs" || mkdir $as_dirs
2161
+ fi || { { echo "$as_me:$LINENO: error: cannot create directory \"$ac_dir\"" >&5
2162
+ echo "$as_me: error: cannot create directory \"$ac_dir\"" >&2;}
2163
+ { (exit 1); exit 1; }; }; }
2164
+
2165
+ ac_builddir=.
2166
+
2167
+ if test "$ac_dir" != .; then
2168
+ ac_dir_suffix=/`echo "$ac_dir" | sed 's,^\.[\\/],,'`
2169
+ # A "../" for each directory in $ac_dir_suffix.
2170
+ ac_top_builddir=`echo "$ac_dir_suffix" | sed 's,/[^\\/]*,../,g'`
2171
+ else
2172
+ ac_dir_suffix= ac_top_builddir=
2173
+ fi
2174
+
2175
+ case $srcdir in
2176
+ .) # No --srcdir option. We are building in place.
2177
+ ac_srcdir=.
2178
+ if test -z "$ac_top_builddir"; then
2179
+ ac_top_srcdir=.
2180
+ else
2181
+ ac_top_srcdir=`echo $ac_top_builddir | sed 's,/$,,'`
2182
+ fi ;;
2183
+ [\\/]* | ?:[\\/]* ) # Absolute path.
2184
+ ac_srcdir=$srcdir$ac_dir_suffix;
2185
+ ac_top_srcdir=$srcdir ;;
2186
+ *) # Relative path.
2187
+ ac_srcdir=$ac_top_builddir$srcdir$ac_dir_suffix
2188
+ ac_top_srcdir=$ac_top_builddir$srcdir ;;
2189
+ esac
2190
+
2191
+ # Do not use `cd foo && pwd` to compute absolute paths, because
2192
+ # the directories may not exist.
2193
+ case `pwd` in
2194
+ .) ac_abs_builddir="$ac_dir";;
2195
+ *)
2196
+ case "$ac_dir" in
2197
+ .) ac_abs_builddir=`pwd`;;
2198
+ [\\/]* | ?:[\\/]* ) ac_abs_builddir="$ac_dir";;
2199
+ *) ac_abs_builddir=`pwd`/"$ac_dir";;
2200
+ esac;;
2201
+ esac
2202
+ case $ac_abs_builddir in
2203
+ .) ac_abs_top_builddir=${ac_top_builddir}.;;
2204
+ *)
2205
+ case ${ac_top_builddir}. in
2206
+ .) ac_abs_top_builddir=$ac_abs_builddir;;
2207
+ [\\/]* | ?:[\\/]* ) ac_abs_top_builddir=${ac_top_builddir}.;;
2208
+ *) ac_abs_top_builddir=$ac_abs_builddir/${ac_top_builddir}.;;
2209
+ esac;;
2210
+ esac
2211
+ case $ac_abs_builddir in
2212
+ .) ac_abs_srcdir=$ac_srcdir;;
2213
+ *)
2214
+ case $ac_srcdir in
2215
+ .) ac_abs_srcdir=$ac_abs_builddir;;
2216
+ [\\/]* | ?:[\\/]* ) ac_abs_srcdir=$ac_srcdir;;
2217
+ *) ac_abs_srcdir=$ac_abs_builddir/$ac_srcdir;;
2218
+ esac;;
2219
+ esac
2220
+ case $ac_abs_builddir in
2221
+ .) ac_abs_top_srcdir=$ac_top_srcdir;;
2222
+ *)
2223
+ case $ac_top_srcdir in
2224
+ .) ac_abs_top_srcdir=$ac_abs_builddir;;
2225
+ [\\/]* | ?:[\\/]* ) ac_abs_top_srcdir=$ac_top_srcdir;;
2226
+ *) ac_abs_top_srcdir=$ac_abs_builddir/$ac_top_srcdir;;
2227
+ esac;;
2228
+ esac
2229
+
2230
+
2231
+ { echo "$as_me:$LINENO: executing $ac_dest commands" >&5
2232
+ echo "$as_me: executing $ac_dest commands" >&6;}
2233
+ done
2234
+ _ACEOF
2235
+
2236
+ cat >>$CONFIG_STATUS <<\_ACEOF
2237
+
2238
+ { (exit 0); exit 0; }
2239
+ _ACEOF
2240
+ chmod +x $CONFIG_STATUS
2241
+ ac_clean_files=$ac_clean_files_save
2242
+
2243
+
2244
+ # configure is writing to config.log, and then calls config.status.
2245
+ # config.status does its own redirection, appending to config.log.
2246
+ # Unfortunately, on DOS this fails, as config.log is still kept open
2247
+ # by configure, so config.status won't be able to write to it; its
2248
+ # output is simply discarded. So we exec the FD to /dev/null,
2249
+ # effectively closing config.log, so it can be properly (re)opened and
2250
+ # appended to by config.status. When coming back to configure, we
2251
+ # need to make the FD available again.
2252
+ if test "$no_create" != yes; then
2253
+ ac_cs_success=:
2254
+ ac_config_status_args=
2255
+ test "$silent" = yes &&
2256
+ ac_config_status_args="$ac_config_status_args --quiet"
2257
+ exec 5>/dev/null
2258
+ $SHELL $CONFIG_STATUS $ac_config_status_args || ac_cs_success=false
2259
+ exec 5>>config.log
2260
+ # Use ||, not &&, to avoid exiting from the if with $? = 1, which
2261
+ # would make configure fail if this is the last instruction.
2262
+ $ac_cs_success || { (exit 1); exit 1; }
2263
+ fi
2264
+