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.
- data/CHANGES +6 -0
- data/README +1 -1
- data/THANKS +18 -0
- data/example/equation_system.rb +3 -1
- data/example/magic_sequence.rb +3 -1
- data/example/queens.rb +3 -1
- data/example/send_more_money.rb +24 -30
- data/example/send_most_money.rb +15 -26
- data/example/square_tiling.rb +3 -1
- data/example/sudoku-set.rb +3 -1
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/LICENSE +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/Makefile.contribs +0 -0
- data/ext/gecode-2.2.0/Makefile.dep +8056 -0
- data/ext/gecode-2.2.0/Makefile.in +1590 -0
- data/ext/gecode-2.2.0/changelog.in +2698 -0
- data/ext/gecode-2.2.0/configure +13112 -0
- data/ext/gecode-2.2.0/configure.ac +273 -0
- data/ext/gecode-2.2.0/configure.ac.in +269 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/README +0 -0
- data/ext/gecode-2.2.0/contribs/qecode/Doxyfile +263 -0
- data/ext/gecode-2.2.0/contribs/qecode/Implicative.cc +267 -0
- data/ext/gecode-2.2.0/contribs/qecode/Implicative.hh +164 -0
- data/ext/gecode-2.2.0/contribs/qecode/Makefile.in.in +163 -0
- data/ext/gecode-2.2.0/contribs/qecode/OptVar.cc +82 -0
- data/ext/gecode-2.2.0/contribs/qecode/OptVar.hh +123 -0
- data/ext/gecode-2.2.0/contribs/qecode/Strategy.cc +131 -0
- data/ext/gecode-2.2.0/contribs/qecode/Strategy.hh +91 -0
- data/ext/gecode-2.2.0/contribs/qecode/StrategyNode.cc +62 -0
- data/ext/gecode-2.2.0/contribs/qecode/StrategyNode.hh +47 -0
- data/ext/gecode-2.2.0/contribs/qecode/autom4te.cache/output.0 +2264 -0
- data/ext/gecode-2.2.0/contribs/qecode/autom4te.cache/requests +115 -0
- data/ext/gecode-2.2.0/contribs/qecode/autom4te.cache/traces.0 +57 -0
- data/ext/gecode-2.2.0/contribs/qecode/config.log +147 -0
- data/ext/gecode-2.2.0/contribs/qecode/config.status +817 -0
- data/ext/gecode-2.2.0/contribs/qecode/configure +2264 -0
- data/ext/gecode-2.2.0/contribs/qecode/configure.ac +23 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/COMPILING +13 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/MatrixGame.cpp +140 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/NimFibo.cpp +73 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/connect-5-3-3-3.cpp +842 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/network-pricing.cc +146 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/optim2.cc +149 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/stress_test.cpp +240 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/heap.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/myDom.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/myspace.cc +0 -0
- data/ext/gecode-2.2.0/contribs/qecode/myspace.hh +68 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/qecode.hh +0 -0
- data/ext/gecode-2.2.0/contribs/qecode/qsolver.cc +268 -0
- data/ext/gecode-2.2.0/contribs/qecode/qsolver.hh +46 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/shortdesc.ac +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/vartype.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/doxygen/doxygen.conf.in +0 -0
- data/ext/gecode-2.2.0/doxygen/doxygen.hh.in +1112 -0
- data/ext/gecode-2.2.0/doxygen/reflection.hh +417 -0
- data/ext/gecode-2.2.0/examples/all-interval.cc +133 -0
- data/ext/gecode-2.2.0/examples/alpha.cc +137 -0
- data/ext/gecode-2.2.0/examples/bacp.cc +521 -0
- data/ext/gecode-2.2.0/examples/baseline.cc +87 -0
- data/ext/gecode-2.2.0/examples/bibd.cc +203 -0
- data/ext/gecode-2.2.0/examples/black-hole.cc +389 -0
- data/ext/gecode-2.2.0/examples/crew.cc +286 -0
- data/ext/gecode-2.2.0/examples/crowded-chess.cc +424 -0
- data/ext/gecode-2.2.0/examples/domino.cc +297 -0
- data/ext/gecode-2.2.0/examples/donald.cc +107 -0
- data/ext/gecode-2.2.0/examples/eq20.cc +125 -0
- data/ext/gecode-2.2.0/examples/golf.cc +297 -0
- data/ext/gecode-2.2.0/examples/golomb-ruler.cc +199 -0
- data/ext/gecode-2.2.0/examples/graph-color.cc +407 -0
- data/ext/gecode-2.2.0/examples/grocery.cc +113 -0
- data/ext/gecode-2.2.0/examples/hamming.cc +129 -0
- data/ext/gecode-2.2.0/examples/ind-set.cc +143 -0
- data/ext/gecode-2.2.0/examples/javascript.cc +163 -0
- data/ext/gecode-2.2.0/examples/kakuro.cc +686 -0
- data/ext/gecode-2.2.0/examples/knights.cc +220 -0
- data/ext/gecode-2.2.0/examples/langford-number.cc +225 -0
- data/ext/gecode-2.2.0/examples/magic-sequence.cc +146 -0
- data/ext/gecode-2.2.0/examples/magic-square.cc +138 -0
- data/ext/gecode-2.2.0/examples/minesweeper.cc +304 -0
- data/ext/gecode-2.2.0/examples/money.cc +105 -0
- data/ext/gecode-2.2.0/examples/nonogram.cc +492 -0
- data/ext/gecode-2.2.0/examples/ortho-latin.cc +172 -0
- data/ext/gecode-2.2.0/examples/partition.cc +141 -0
- data/ext/gecode-2.2.0/examples/pentominoes.cc +949 -0
- data/ext/gecode-2.2.0/examples/perfect-square.cc +311 -0
- data/ext/gecode-2.2.0/examples/photo.cc +170 -0
- data/ext/gecode-2.2.0/examples/queen-armies.cc +284 -0
- data/ext/gecode-2.2.0/examples/queens.cc +147 -0
- data/ext/gecode-2.2.0/examples/queens.js +57 -0
- data/ext/gecode-2.2.0/examples/sports-league.cc +342 -0
- data/ext/gecode-2.2.0/examples/steiner.cc +192 -0
- data/ext/gecode-2.2.0/examples/stress-distinct.cc +90 -0
- data/ext/gecode-2.2.0/examples/stress-domain.cc +99 -0
- data/ext/gecode-2.2.0/examples/stress-element.cc +112 -0
- data/ext/gecode-2.2.0/examples/stress-exec.cc +97 -0
- data/ext/gecode-2.2.0/examples/stress-extensional.cc +134 -0
- data/ext/gecode-2.2.0/examples/stress-linear-bool.cc +97 -0
- data/ext/gecode-2.2.0/examples/stress-min.cc +98 -0
- data/ext/gecode-2.2.0/examples/stress-search.cc +88 -0
- data/ext/gecode-2.2.0/examples/sudoku.cc +2341 -0
- data/ext/gecode-2.2.0/examples/support.hh +338 -0
- data/ext/gecode-2.2.0/examples/support/example.cc +64 -0
- data/ext/gecode-2.2.0/examples/support/example.icc +321 -0
- data/ext/gecode-2.2.0/examples/support/options.cc +226 -0
- data/ext/gecode-2.2.0/examples/support/options.icc +276 -0
- data/ext/gecode-2.2.0/examples/tsp.cc +317 -0
- data/ext/gecode-2.2.0/examples/warehouses.cc +191 -0
- data/ext/gecode-2.2.0/gecode.m4 +1046 -0
- data/ext/gecode-2.2.0/gecode/cpltset.hh +797 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/array.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/array.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/bddmanager.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/bddmanager.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/branch.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/branch.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/branch/select-val.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/branch/select-view.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/atmost.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/cardinality.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/distinct.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/dom.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/partition.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/rangeroots.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/rel.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/select.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/singleton.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/exception.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/binary.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/nary.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/naryone.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/narytwo.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/singleton.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/unary.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/support.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/support.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var-imp.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var-imp/cpltset.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var-imp/cpltset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var-imp/cpltset.vis +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var/cpltset.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var/cpltset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/view.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/view/cpltset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/view/print.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/addchild.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/addchild.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/addvisualisationdialog.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/addvisualisationdialog.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/better.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/config.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/config.hh +0 -0
- data/ext/gecode-2.2.0/gecode/gist/drawingcursor.cc +281 -0
- data/ext/gecode-2.2.0/gecode/gist/drawingcursor.hh +103 -0
- data/ext/gecode-2.2.0/gecode/gist/drawingcursor.icc +70 -0
- data/ext/gecode-2.2.0/gecode/gist/gecodelogo.cc +672 -0
- data/ext/gecode-2.2.0/gecode/gist/gecodelogo.hh +64 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/gist.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/gist.icc +0 -0
- data/ext/gecode-2.2.0/gecode/gist/layoutcursor.cc +115 -0
- data/ext/gecode-2.2.0/gecode/gist/layoutcursor.hh +75 -0
- data/ext/gecode-2.2.0/gecode/gist/layoutcursor.icc +48 -0
- data/ext/gecode-2.2.0/gecode/gist/mainwindow.cc +274 -0
- data/ext/gecode-2.2.0/gecode/gist/mainwindow.hh +86 -0
- data/ext/gecode-2.2.0/gecode/gist/node.cc +148 -0
- data/ext/gecode-2.2.0/gecode/gist/node.hh +117 -0
- data/ext/gecode-2.2.0/gecode/gist/node.icc +99 -0
- data/ext/gecode-2.2.0/gecode/gist/nodecursor.cc +123 -0
- data/ext/gecode-2.2.0/gecode/gist/nodecursor.hh +147 -0
- data/ext/gecode-2.2.0/gecode/gist/nodecursor.icc +122 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/nodevisitor.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/nodevisitor.icc +0 -0
- data/ext/gecode-2.2.0/gecode/gist/preferences.cc +120 -0
- data/ext/gecode-2.2.0/gecode/gist/preferences.hh +79 -0
- data/ext/gecode-2.2.0/gecode/gist/spacenode.cc +468 -0
- data/ext/gecode-2.2.0/gecode/gist/spacenode.hh +227 -0
- data/ext/gecode-2.2.0/gecode/gist/spacenode.icc +170 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/test.cc +0 -0
- data/ext/gecode-2.2.0/gecode/gist/textoutput.cc +134 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/textoutput.hh +0 -0
- data/ext/gecode-2.2.0/gecode/gist/treecanvas.cc +1343 -0
- data/ext/gecode-2.2.0/gecode/gist/treecanvas.hh +361 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/ui_addchild.hh +0 -0
- data/ext/gecode-2.2.0/gecode/gist/ui_addvisualisationdialog.hh +165 -0
- data/ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.cc +192 -0
- data/ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.hh +75 -0
- data/ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.cc +235 -0
- data/ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.hh +77 -0
- data/ext/gecode-2.2.0/gecode/gist/visualisation/vararrayitem.hh +125 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/vararrayview.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/vararrayview.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/vararrayviewt.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/varitem.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/varitem.hh +0 -0
- data/ext/gecode-2.2.0/gecode/gist/visualnode.cc +474 -0
- data/ext/gecode-2.2.0/gecode/gist/visualnode.hh +226 -0
- data/ext/gecode-2.2.0/gecode/gist/visualnode.icc +198 -0
- data/ext/gecode-2.2.0/gecode/gist/zoomToFitIcon.icc +113 -0
- data/ext/gecode-2.2.0/gecode/int.hh +2116 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic.cc +237 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic.hh +827 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic/abs.icc +278 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic/divmod.icc +496 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic/max.icc +474 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic/mult.icc +858 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic/sqr.icc +464 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic/sqrt.icc +260 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/array.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/array.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/bool.cc +734 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool/base.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool/eq.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool/eqv.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool/lq.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/bool/or.icc +1000 -0
- data/ext/gecode-2.2.0/gecode/int/branch.cc +167 -0
- data/ext/gecode-2.2.0/gecode/int/branch.hh +587 -0
- data/ext/gecode-2.2.0/gecode/int/branch/create-branch.icc +190 -0
- data/ext/gecode-2.2.0/gecode/int/branch/select-val.icc +340 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/branch/select-view.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/channel.cc +165 -0
- data/ext/gecode-2.2.0/gecode/int/channel.hh +259 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/base.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/channel/dom.icc +348 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/link-multi.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/link-multi.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/link-single.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/link-single.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/channel/val.icc +278 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/circuit.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/circuit.hh +175 -0
- data/ext/gecode-2.2.0/gecode/int/circuit/base.icc +266 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/circuit/dom.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/circuit/val.icc +126 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/count.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/count.hh +487 -0
- data/ext/gecode-2.2.0/gecode/int/count/int.icc +620 -0
- data/ext/gecode-2.2.0/gecode/int/count/rel.icc +144 -0
- data/ext/gecode-2.2.0/gecode/int/count/view.icc +449 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/cumulatives.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/cumulatives.hh +138 -0
- data/ext/gecode-2.2.0/gecode/int/cumulatives/val.icc +455 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/distinct.hh +341 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/bilink.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/bnd.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/combptr.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/distinct/dom.icc +752 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/edge.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/node.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/distinct/ter-dom.icc +136 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/val.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/dom.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/dom.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/dom/range.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/dom/spec.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/element.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/element.hh +239 -0
- data/ext/gecode-2.2.0/gecode/int/element/int.icc +444 -0
- data/ext/gecode-2.2.0/gecode/int/element/view.icc +584 -0
- data/ext/gecode-2.2.0/gecode/int/exception.icc +174 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/extensional.hh +415 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/base.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/basic.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/bitset.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/extensional/dfa.cc +565 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/dfa.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/incremental.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/layered-graph.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/extensional/tuple-set.cc +285 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/tuple-set.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/gcc.hh +329 -0
- data/ext/gecode-2.2.0/gecode/int/gcc/bnd.icc +660 -0
- data/ext/gecode-2.2.0/gecode/int/gcc/dom.icc +531 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/gccbndsup.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/graphsup.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/lbc.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/occur.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/ubc.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/gcc/val.icc +400 -0
- data/ext/gecode-2.2.0/gecode/int/int-set.cc +157 -0
- data/ext/gecode-2.2.0/gecode/int/int-set.icc +195 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/limits.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/linear-bool.cc +235 -0
- data/ext/gecode-2.2.0/gecode/int/linear-int.cc +272 -0
- data/ext/gecode-2.2.0/gecode/int/linear.hh +1849 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/bool-int.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/linear/bool-post.cc +433 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/bool-scale.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/bool-view.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/linear/int-bin.icc +605 -0
- data/ext/gecode-2.2.0/gecode/int/linear/int-dom.icc +539 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/int-nary.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/int-noview.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/linear/int-post.cc +493 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/int-ter.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/post.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/propagator.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/rel.cc +420 -0
- data/ext/gecode-2.2.0/gecode/int/rel.hh +627 -0
- data/ext/gecode-2.2.0/gecode/int/rel/eq.icc +885 -0
- data/ext/gecode-2.2.0/gecode/int/rel/lex.icc +275 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/rel/lq-le.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/rel/nq.icc +118 -0
- data/ext/gecode-2.2.0/gecode/int/sorted.cc +81 -0
- data/ext/gecode-2.2.0/gecode/int/sorted.hh +118 -0
- data/ext/gecode-2.2.0/gecode/int/sorted/matching.icc +173 -0
- data/ext/gecode-2.2.0/gecode/int/sorted/narrowing.icc +249 -0
- data/ext/gecode-2.2.0/gecode/int/sorted/order.icc +212 -0
- data/ext/gecode-2.2.0/gecode/int/sorted/propagate.icc +702 -0
- data/ext/gecode-2.2.0/gecode/int/sorted/sortsup.icc +563 -0
- data/ext/gecode-2.2.0/gecode/int/support-values.hh +158 -0
- data/ext/gecode-2.2.0/gecode/int/support-values.icc +203 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/unshare.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/var-imp.icc +745 -0
- data/ext/gecode-2.2.0/gecode/int/var-imp/bool.cc +105 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/bool.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/bool.vis +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/delta.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/var-imp/int.cc +408 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/int.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/int.vis +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var/bool.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/var/bool.icc +128 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var/int.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/var/int.icc +153 -0
- data/ext/gecode-2.2.0/gecode/int/view.icc +1918 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/bool.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/constint.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/int.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/iter.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/minus.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/offset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/print.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/rtest.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/scale.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/zero.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter.hh +98 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-add.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-append.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-array.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-cache.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-compl.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-diff.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-empty.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-inter.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter/ranges-map.icc +260 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-minmax.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-minus.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter/ranges-negative.icc +137 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-offset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-operations.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter/ranges-positive.icc +139 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-scale.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-singleton-append.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-singleton.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-size.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-union.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-values.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-array.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter/values-inter.icc +130 -0
- data/ext/gecode-2.2.0/gecode/iter/values-map.icc +136 -0
- data/ext/gecode-2.2.0/gecode/iter/values-minus.icc +130 -0
- data/ext/gecode-2.2.0/gecode/iter/values-negative.icc +116 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-offset.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter/values-positive.icc +123 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-ranges.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-singleton.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter/values-union.icc +137 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-unique.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/virtual-ranges-compl.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/virtual-ranges-inter.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/virtual-ranges-union.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/virtual-ranges.icc +0 -0
- data/ext/gecode-2.2.0/gecode/kernel.hh +188 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/advisor.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/array.icc +0 -0
- data/ext/gecode-2.2.0/gecode/kernel/branching.icc +433 -0
- data/ext/gecode-2.2.0/gecode/kernel/core.cc +474 -0
- data/ext/gecode-2.2.0/gecode/kernel/core.icc +2311 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/exception.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/macros.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/memory-manager.cc +0 -0
- data/ext/gecode-2.2.0/gecode/kernel/memory-manager.icc +454 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/modevent.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/propagator.icc +0 -0
- data/ext/gecode-2.2.0/gecode/kernel/reflection.cc +951 -0
- data/ext/gecode-2.2.0/gecode/kernel/reflection.icc +1213 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/shared-array.icc +0 -0
- data/ext/gecode-2.2.0/gecode/kernel/var-imp.icc +433 -0
- data/ext/gecode-2.2.0/gecode/kernel/var-map.cc +269 -0
- data/ext/gecode-2.2.0/gecode/kernel/var-map.icc +230 -0
- data/ext/gecode-2.2.0/gecode/kernel/var-traits.icc +79 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/var-type.cc +0 -0
- data/ext/gecode-2.2.0/gecode/kernel/var-type.icc +915 -0
- data/ext/gecode-2.2.0/gecode/kernel/var.icc +114 -0
- data/ext/gecode-2.2.0/gecode/kernel/view.icc +413 -0
- data/ext/gecode-2.2.0/gecode/minimodel.hh +1206 -0
- data/ext/gecode-2.2.0/gecode/minimodel/arithmetic.icc +118 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/bool-expr.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/bool-expr.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/bool-rel.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/exception.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/lin-expr.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/lin-rel.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/matrix.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/reg.cc +0 -0
- data/ext/gecode-2.2.0/gecode/search.hh +759 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/bab.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/bab.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/dfs.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/dfs.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/engine-ctrl.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/lds.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/lds.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/options.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/options.icc +0 -0
- data/ext/gecode-2.2.0/gecode/search/reco-stack.icc +277 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/restart.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/statistics.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/stop.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/stop.icc +0 -0
- data/ext/gecode-2.2.0/gecode/serialization.hh +149 -0
- data/ext/gecode-2.2.0/gecode/serialization/boost.cc +78 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/serialization/boost.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/serialization/flatzinc.cc +0 -0
- data/ext/gecode-2.2.0/gecode/serialization/javascript.cc +343 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/serialization/javascript.hh +0 -0
- data/ext/gecode-2.2.0/gecode/serialization/register.cc +8498 -0
- data/ext/gecode-2.2.0/gecode/set.hh +970 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/array.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/array.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/branch.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/branch.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/branch/select-val.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/branch/select-view.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/cardinality.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex/conv.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex/conv.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex/hull.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex/hull.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/distinct.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/distinct.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/distinct/atmostOne.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/distinct/atmostOne.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/dom.cc +0 -0
- data/ext/gecode-2.2.0/gecode/set/element.cc +135 -0
- data/ext/gecode-2.2.0/gecode/set/element.hh +233 -0
- data/ext/gecode-2.2.0/gecode/set/element/disjoint.cc +308 -0
- data/ext/gecode-2.2.0/gecode/set/element/disjoint.icc +75 -0
- data/ext/gecode-2.2.0/gecode/set/element/idxarray.hh +113 -0
- data/ext/gecode-2.2.0/gecode/set/element/idxarray.icc +155 -0
- data/ext/gecode-2.2.0/gecode/set/element/inter.icc +348 -0
- data/ext/gecode-2.2.0/gecode/set/element/union.icc +371 -0
- data/ext/gecode-2.2.0/gecode/set/element/unionConst.icc +334 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/exception.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/card.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/channel-bool.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/channel-int.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/match.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/minmax.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/weights.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/limits.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors-compiler.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors.cc +0 -0
- data/ext/gecode-2.2.0/gecode/set/projectors.hh +438 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/compiler.cc +0 -0
- data/ext/gecode-2.2.0/gecode/set/projectors/formula.cc +312 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/formula.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/projector-set.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/projector-set.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/projector.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/projector.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator/card.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator/nary.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator/re-nary.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator/re-nary.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/set-expr.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/set-expr.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/propagator.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op-const.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op.hh +0 -0
- data/ext/gecode-2.2.0/gecode/set/rel-op/common.icc +613 -0
- data/ext/gecode-2.2.0/gecode/set/rel-op/inter.icc +452 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/partition.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/post.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/subofunion.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/superofinter.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/union.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/common.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/eq.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/nosubset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/nq.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/re-eq.icc +0 -0
- data/ext/gecode-2.2.0/gecode/set/rel/re-subset.icc +174 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/subset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/common.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/seq-u.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/seq-u.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/seq.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/seq.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/delta.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/integerset.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/integerset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/iter.icc +0 -0
- data/ext/gecode-2.2.0/gecode/set/var-imp/set.cc +215 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/set.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/set.vis +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var/set.cc +0 -0
- data/ext/gecode-2.2.0/gecode/set/var/set.icc +303 -0
- data/ext/gecode-2.2.0/gecode/set/view.icc +1451 -0
- data/ext/gecode-2.2.0/gecode/set/view/complement.icc +614 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/const.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/offset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/print.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/set.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/singleton.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support.hh +0 -0
- data/ext/gecode-2.2.0/gecode/support/block-allocator.icc +159 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/AUTHORS +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/ChangeLog +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/NEWS +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/README +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bdd.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bddio.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bddop.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bddtree.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bvec.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bvec.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/cache.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/cache.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/config.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/cppext.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/fdd.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/fdd.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/imatrix.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/imatrix.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/kernel.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/kernel.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/pairs.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/prime.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/prime.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/reorder.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/tree.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/cast.icc +0 -0
- data/ext/gecode-2.2.0/gecode/support/config.icc.in +83 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/dynamic-array.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/dynamic-stack.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/exception.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/exception.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/macros.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/map.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/marked-pointer.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/memory.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/random.icc +0 -0
- data/ext/gecode-2.2.0/gecode/support/sentinel-stack.icc +138 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/sort.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/static-pqueue.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/static-stack.icc +0 -0
- data/ext/gecode-2.2.0/gecode/support/symbol.cc +241 -0
- data/ext/gecode-2.2.0/gecode/support/symbol.icc +134 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/install-sh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/AppleHelpbookInfo.plist +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/allexamples.perl +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/Makefile.am +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/changelog +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/control +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/copyright +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/gecode.info +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/gecode.install +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/gecode.spec +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/rules +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/back.png +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/footer.html +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/gecode-logo-100.png +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/header.html +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/stylesheet.css +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/fixproperties.sh +0 -0
- data/ext/gecode-2.2.0/misc/gecode-gist.pc.in +45 -0
- data/ext/gecode-2.2.0/misc/gecode-minimodel.pc.in +45 -0
- data/ext/gecode-2.2.0/misc/gecode-search.pc.in +45 -0
- data/ext/gecode-2.2.0/misc/gecode-serialization.pc.in +45 -0
- data/ext/gecode-2.2.0/misc/gecode.pc.in +45 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/genchangelog.perl +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/genlcovmakefile.perl +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/genlicense.perl +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/genregistry.perl +0 -0
- data/ext/gecode-2.2.0/misc/genstatistics.perl +179 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/gentxtchangelog.perl +0 -0
- data/ext/gecode-2.2.0/misc/genvariables.perl +905 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/getrevision.perl +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/makedepend.perl +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/svn-ignore.txt +0 -0
- data/ext/gecode-2.2.0/test/assign.cc +181 -0
- data/ext/gecode-2.2.0/test/assign.hh +93 -0
- data/ext/gecode-2.2.0/test/assign/bool.cc +61 -0
- data/ext/gecode-2.2.0/test/assign/int.cc +70 -0
- data/ext/gecode-2.2.0/test/branch.cc +563 -0
- data/ext/gecode-2.2.0/test/branch.hh +144 -0
- data/ext/gecode-2.2.0/test/branch/bool.cc +61 -0
- data/ext/gecode-2.2.0/test/branch/cpltset.cc +71 -0
- data/ext/gecode-2.2.0/test/branch/int.cc +70 -0
- data/ext/gecode-2.2.0/test/branch/set.cc +74 -0
- data/ext/gecode-2.2.0/test/cpltset.cc +568 -0
- data/ext/gecode-2.2.0/test/cpltset.hh +125 -0
- data/ext/gecode-2.2.0/test/cpltset/atmost.cc +155 -0
- data/ext/gecode-2.2.0/test/cpltset/cardinality.cc +138 -0
- data/ext/gecode-2.2.0/test/cpltset/dom.cc +137 -0
- data/ext/gecode-2.2.0/test/cpltset/partition.cc +210 -0
- data/ext/gecode-2.2.0/test/cpltset/rel.cc +158 -0
- data/ext/gecode-2.2.0/test/cpltset/select.cc +216 -0
- data/ext/gecode-2.2.0/test/int.cc +688 -0
- data/ext/gecode-2.2.0/test/int.hh +267 -0
- data/ext/gecode-2.2.0/test/int.icc +266 -0
- data/ext/gecode-2.2.0/test/int/arithmetic.cc +766 -0
- data/ext/gecode-2.2.0/test/int/basic.cc +77 -0
- data/ext/gecode-2.2.0/test/int/bool.cc +340 -0
- data/ext/gecode-2.2.0/test/int/channel.cc +238 -0
- data/ext/gecode-2.2.0/test/int/circuit.cc +100 -0
- data/ext/gecode-2.2.0/test/int/count.cc +357 -0
- data/ext/gecode-2.2.0/test/int/distinct.cc +248 -0
- data/ext/gecode-2.2.0/test/int/dom.cc +123 -0
- data/ext/gecode-2.2.0/test/int/element.cc +333 -0
- data/ext/gecode-2.2.0/test/int/extensional.cc +475 -0
- data/ext/gecode-2.2.0/test/int/gcc.cc +293 -0
- data/ext/gecode-2.2.0/test/int/linear.cc +383 -0
- data/ext/gecode-2.2.0/test/int/mm-arithmetic.cc +302 -0
- data/ext/gecode-2.2.0/test/int/mm-bool.cc +4342 -0
- data/ext/gecode-2.2.0/test/int/mm-count.cc +295 -0
- data/ext/gecode-2.2.0/test/int/mm-lin.cc +2035 -0
- data/ext/gecode-2.2.0/test/int/mm-rel.cc +136 -0
- data/ext/gecode-2.2.0/test/int/rel.cc +416 -0
- data/ext/gecode-2.2.0/test/int/scheduling.cc +276 -0
- data/ext/gecode-2.2.0/test/int/sorted.cc +165 -0
- data/ext/gecode-2.2.0/test/int/unshare.cc +109 -0
- data/ext/gecode-2.2.0/test/search.cc +618 -0
- data/ext/gecode-2.2.0/test/set.cc +753 -0
- data/ext/gecode-2.2.0/test/set.hh +286 -0
- data/ext/gecode-2.2.0/test/set.icc +108 -0
- data/ext/gecode-2.2.0/test/set/convex.cc +139 -0
- data/ext/gecode-2.2.0/test/set/distinct.cc +116 -0
- data/ext/gecode-2.2.0/test/set/dom.cc +292 -0
- data/ext/gecode-2.2.0/test/set/int.cc +473 -0
- data/ext/gecode-2.2.0/test/set/projection.cc +436 -0
- data/ext/gecode-2.2.0/test/set/rel-op-const.cc +368 -0
- data/ext/gecode-2.2.0/test/set/rel-op.cc +465 -0
- data/ext/gecode-2.2.0/test/set/rel.cc +125 -0
- data/ext/gecode-2.2.0/test/set/select.cc +299 -0
- data/ext/gecode-2.2.0/test/set/sequence.cc +125 -0
- data/ext/gecode-2.2.0/test/test.cc +287 -0
- data/ext/gecode-2.2.0/test/test.hh +175 -0
- data/ext/gecode-2.2.0/test/test.icc +93 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/variables.vsl +0 -0
- data/lib/gecoder/bindings.rb +7 -5
- data/lib/gecoder/bindings/bindings.rb +8 -8
- data/lib/gecoder/interface.rb +4 -2
- data/lib/gecoder/interface/binding_changes.rb +1 -1
- data/lib/gecoder/interface/branch.rb +1 -1
- data/lib/gecoder/interface/constraints/bool_enum_constraints.rb +4 -4
- data/lib/gecoder/interface/constraints/bool_var_constraints.rb +2 -2
- data/lib/gecoder/interface/constraints/extensional_regexp.rb +1 -1
- data/lib/gecoder/interface/constraints/fixnum_enum_constraints.rb +2 -2
- data/lib/gecoder/interface/constraints/int_enum/extensional.rb +5 -5
- data/lib/gecoder/interface/constraints/int_enum_constraints.rb +4 -4
- data/lib/gecoder/interface/constraints/int_var_constraints.rb +2 -2
- data/lib/gecoder/interface/constraints/selected_set/select.rb +8 -8
- data/lib/gecoder/interface/constraints/set_enum/element.rb +79 -0
- data/lib/gecoder/interface/constraints/set_enum_constraints.rb +5 -5
- data/lib/gecoder/interface/constraints/set_var_constraints.rb +2 -2
- data/lib/gecoder/interface/convenience.rb +99 -0
- data/lib/gecoder/interface/enum_wrapper.rb +1 -1
- data/lib/gecoder/interface/mixin.rb +486 -0
- data/lib/gecoder/interface/search.rb +23 -22
- data/lib/gecoder/version.rb +1 -1
- data/specs/branch.rb +5 -3
- data/specs/constraints/bool/boolean.rb +3 -1
- data/specs/constraints/bool/linear.rb +3 -1
- data/specs/constraints/bool_enum/bool_enum_relation.rb +3 -1
- data/specs/constraints/bool_enum/channel.rb +3 -1
- data/specs/constraints/fixnum_enum/element.rb +3 -1
- data/specs/constraints/int/arithmetic.rb +3 -1
- data/specs/constraints/int/channel.rb +3 -1
- data/specs/constraints/int/linear.rb +3 -1
- data/specs/constraints/int/linear_properties.rb +3 -1
- data/specs/constraints/int_enum/arithmetic.rb +3 -1
- data/specs/constraints/int_enum/channel.rb +3 -1
- data/specs/constraints/int_enum/count.rb +3 -1
- data/specs/constraints/int_enum/distinct.rb +3 -1
- data/specs/constraints/int_enum/element.rb +3 -1
- data/specs/constraints/int_enum/sort.rb +3 -1
- data/specs/constraints/property_helper.rb +10 -10
- data/specs/constraints/reification_sugar.rb +3 -1
- data/specs/constraints/selected_set/select.rb +6 -5
- data/specs/constraints/selected_set/select_properties.rb +12 -10
- data/specs/constraints/set/channel.rb +3 -1
- data/specs/constraints/set/domain.rb +4 -4
- data/specs/constraints/set/relation.rb +4 -4
- data/specs/constraints/set_enum/channel.rb +3 -1
- data/specs/constraints/set_enum/distinct.rb +3 -1
- data/specs/constraints/set_enum/element.rb +77 -0
- data/specs/enum_wrapper.rb +1 -1
- data/specs/mixin.rb +78 -0
- data/specs/model.rb +5 -5
- data/specs/search.rb +20 -14
- data/specs/selected_set.rb +3 -3
- data/specs/set_elements.rb +2 -2
- data/tasks/distribution.rake +25 -4
- metadata +739 -602
- data/example/money.rb +0 -36
- data/ext/gecode-2.1.1/Makefile.dep +0 -7622
- data/ext/gecode-2.1.1/Makefile.in +0 -1568
- data/ext/gecode-2.1.1/changelog.in +0 -2459
- data/ext/gecode-2.1.1/configure +0 -11631
- data/ext/gecode-2.1.1/configure.ac +0 -249
- data/ext/gecode-2.1.1/configure.ac.in +0 -245
- data/ext/gecode-2.1.1/contribs/qecode/Doxyfile +0 -263
- data/ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.cc +0 -82
- data/ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.hh +0 -37
- data/ext/gecode-2.1.1/contribs/qecode/Makefile.in.in +0 -162
- data/ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.cc +0 -172
- data/ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.hh +0 -63
- data/ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.cc +0 -37
- data/ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.hh +0 -35
- data/ext/gecode-2.1.1/contribs/qecode/configure +0 -2264
- data/ext/gecode-2.1.1/contribs/qecode/configure.ac +0 -23
- data/ext/gecode-2.1.1/contribs/qecode/examples/COMPILING +0 -13
- data/ext/gecode-2.1.1/contribs/qecode/examples/MatrixGame.cpp +0 -144
- data/ext/gecode-2.1.1/contribs/qecode/examples/NimFibo.cpp +0 -73
- data/ext/gecode-2.1.1/contribs/qecode/examples/stress_test.cpp +0 -179
- data/ext/gecode-2.1.1/contribs/qecode/extensivecomparator.cc +0 -34
- data/ext/gecode-2.1.1/contribs/qecode/extensivecomparator.hh +0 -46
- data/ext/gecode-2.1.1/contribs/qecode/implicative.cc +0 -595
- data/ext/gecode-2.1.1/contribs/qecode/implicative.hh +0 -184
- data/ext/gecode-2.1.1/contribs/qecode/myspace.hh +0 -69
- data/ext/gecode-2.1.1/contribs/qecode/qecore.cc +0 -145
- data/ext/gecode-2.1.1/contribs/qecode/qecore.hh +0 -247
- data/ext/gecode-2.1.1/contribs/qecode/qsolver.cc +0 -168
- data/ext/gecode-2.1.1/contribs/qecode/qsolver.hh +0 -73
- data/ext/gecode-2.1.1/contribs/qecode/valueHeuristic.hh +0 -91
- data/ext/gecode-2.1.1/contribs/qecode/warner.cc +0 -101
- data/ext/gecode-2.1.1/contribs/qecode/warner.hh +0 -83
- data/ext/gecode-2.1.1/doxygen/doxygen.hh.in +0 -1111
- data/ext/gecode-2.1.1/doxygen/reflection.hh +0 -417
- data/ext/gecode-2.1.1/gecode.m4 +0 -956
- data/ext/gecode-2.1.1/gecode/cpltset.hh +0 -797
- data/ext/gecode-2.1.1/gecode/gist/analysiscursor.cc +0 -115
- data/ext/gecode-2.1.1/gecode/gist/analysiscursor.hh +0 -77
- data/ext/gecode-2.1.1/gecode/gist/drawingcursor.cc +0 -245
- data/ext/gecode-2.1.1/gecode/gist/drawingcursor.hh +0 -101
- data/ext/gecode-2.1.1/gecode/gist/gecodelogo.icc +0 -522
- data/ext/gecode-2.1.1/gecode/gist/mainwindow.cc +0 -254
- data/ext/gecode-2.1.1/gecode/gist/mainwindow.hh +0 -86
- data/ext/gecode-2.1.1/gecode/gist/node.cc +0 -100
- data/ext/gecode-2.1.1/gecode/gist/node.hh +0 -89
- data/ext/gecode-2.1.1/gecode/gist/nodecursor.cc +0 -124
- data/ext/gecode-2.1.1/gecode/gist/nodecursor.hh +0 -122
- data/ext/gecode-2.1.1/gecode/gist/nodecursor.icc +0 -79
- data/ext/gecode-2.1.1/gecode/gist/postscript.cc +0 -543
- data/ext/gecode-2.1.1/gecode/gist/postscript.hh +0 -56
- data/ext/gecode-2.1.1/gecode/gist/preferences.cc +0 -110
- data/ext/gecode-2.1.1/gecode/gist/preferences.hh +0 -76
- data/ext/gecode-2.1.1/gecode/gist/reflectionhelpers.cc +0 -55
- data/ext/gecode-2.1.1/gecode/gist/reflectionhelpers.hh +0 -58
- data/ext/gecode-2.1.1/gecode/gist/shapelist.cc +0 -331
- data/ext/gecode-2.1.1/gecode/gist/shapelist.hh +0 -140
- data/ext/gecode-2.1.1/gecode/gist/spacenode.cc +0 -531
- data/ext/gecode-2.1.1/gecode/gist/spacenode.hh +0 -224
- data/ext/gecode-2.1.1/gecode/gist/textoutput.cc +0 -114
- data/ext/gecode-2.1.1/gecode/gist/treecanvas.cc +0 -1140
- data/ext/gecode-2.1.1/gecode/gist/treecanvas.hh +0 -324
- data/ext/gecode-2.1.1/gecode/gist/ui_addvisualisationdialog.hh +0 -163
- data/ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.cc +0 -175
- data/ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.hh +0 -71
- data/ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.cc +0 -219
- data/ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.hh +0 -73
- data/ext/gecode-2.1.1/gecode/gist/visualisation/vararrayitem.hh +0 -123
- data/ext/gecode-2.1.1/gecode/gist/visualnode.cc +0 -303
- data/ext/gecode-2.1.1/gecode/gist/visualnode.hh +0 -166
- data/ext/gecode-2.1.1/gecode/int.hh +0 -2035
- data/ext/gecode-2.1.1/gecode/int/arithmetic.cc +0 -136
- data/ext/gecode-2.1.1/gecode/int/arithmetic.hh +0 -440
- data/ext/gecode-2.1.1/gecode/int/arithmetic/abs.icc +0 -279
- data/ext/gecode-2.1.1/gecode/int/arithmetic/max.icc +0 -253
- data/ext/gecode-2.1.1/gecode/int/arithmetic/mult.icc +0 -522
- data/ext/gecode-2.1.1/gecode/int/arithmetic/sqr.icc +0 -218
- data/ext/gecode-2.1.1/gecode/int/arithmetic/sqrt.icc +0 -138
- data/ext/gecode-2.1.1/gecode/int/bool.cc +0 -642
- data/ext/gecode-2.1.1/gecode/int/bool/or.icc +0 -1000
- data/ext/gecode-2.1.1/gecode/int/branch.cc +0 -301
- data/ext/gecode-2.1.1/gecode/int/branch.hh +0 -576
- data/ext/gecode-2.1.1/gecode/int/branch/select-val.icc +0 -338
- data/ext/gecode-2.1.1/gecode/int/channel.cc +0 -114
- data/ext/gecode-2.1.1/gecode/int/channel.hh +0 -259
- data/ext/gecode-2.1.1/gecode/int/channel/dom.icc +0 -347
- data/ext/gecode-2.1.1/gecode/int/channel/val.icc +0 -276
- data/ext/gecode-2.1.1/gecode/int/circuit.hh +0 -175
- data/ext/gecode-2.1.1/gecode/int/circuit/base.icc +0 -271
- data/ext/gecode-2.1.1/gecode/int/circuit/val.icc +0 -122
- data/ext/gecode-2.1.1/gecode/int/count.hh +0 -487
- data/ext/gecode-2.1.1/gecode/int/count/int.icc +0 -619
- data/ext/gecode-2.1.1/gecode/int/count/rel.icc +0 -144
- data/ext/gecode-2.1.1/gecode/int/count/view.icc +0 -449
- data/ext/gecode-2.1.1/gecode/int/cumulatives.hh +0 -141
- data/ext/gecode-2.1.1/gecode/int/cumulatives/val.icc +0 -429
- data/ext/gecode-2.1.1/gecode/int/distinct.hh +0 -341
- data/ext/gecode-2.1.1/gecode/int/distinct/dom.icc +0 -750
- data/ext/gecode-2.1.1/gecode/int/distinct/ter-dom.icc +0 -136
- data/ext/gecode-2.1.1/gecode/int/element.hh +0 -239
- data/ext/gecode-2.1.1/gecode/int/element/int.icc +0 -441
- data/ext/gecode-2.1.1/gecode/int/element/view.icc +0 -584
- data/ext/gecode-2.1.1/gecode/int/exception.icc +0 -163
- data/ext/gecode-2.1.1/gecode/int/extensional.hh +0 -415
- data/ext/gecode-2.1.1/gecode/int/extensional/dfa.cc +0 -565
- data/ext/gecode-2.1.1/gecode/int/extensional/tuple-set.cc +0 -311
- data/ext/gecode-2.1.1/gecode/int/gcc.hh +0 -329
- data/ext/gecode-2.1.1/gecode/int/gcc/bnd.icc +0 -660
- data/ext/gecode-2.1.1/gecode/int/gcc/dom.icc +0 -531
- data/ext/gecode-2.1.1/gecode/int/gcc/val.icc +0 -400
- data/ext/gecode-2.1.1/gecode/int/int-set.cc +0 -153
- data/ext/gecode-2.1.1/gecode/int/int-set.icc +0 -191
- data/ext/gecode-2.1.1/gecode/int/linear-bool.cc +0 -220
- data/ext/gecode-2.1.1/gecode/int/linear-int.cc +0 -240
- data/ext/gecode-2.1.1/gecode/int/linear.hh +0 -1849
- data/ext/gecode-2.1.1/gecode/int/linear/bool-post.cc +0 -433
- data/ext/gecode-2.1.1/gecode/int/linear/int-bin.icc +0 -605
- data/ext/gecode-2.1.1/gecode/int/linear/int-dom.icc +0 -539
- data/ext/gecode-2.1.1/gecode/int/linear/int-post.cc +0 -493
- data/ext/gecode-2.1.1/gecode/int/rel.cc +0 -431
- data/ext/gecode-2.1.1/gecode/int/rel.hh +0 -657
- data/ext/gecode-2.1.1/gecode/int/rel/eq.icc +0 -848
- data/ext/gecode-2.1.1/gecode/int/rel/lex.icc +0 -248
- data/ext/gecode-2.1.1/gecode/int/rel/nq.icc +0 -269
- data/ext/gecode-2.1.1/gecode/int/sorted.cc +0 -91
- data/ext/gecode-2.1.1/gecode/int/sorted.hh +0 -117
- data/ext/gecode-2.1.1/gecode/int/sorted/matching.icc +0 -182
- data/ext/gecode-2.1.1/gecode/int/sorted/narrowing.icc +0 -257
- data/ext/gecode-2.1.1/gecode/int/sorted/order.icc +0 -208
- data/ext/gecode-2.1.1/gecode/int/sorted/propagate.icc +0 -669
- data/ext/gecode-2.1.1/gecode/int/sorted/sortsup.icc +0 -596
- data/ext/gecode-2.1.1/gecode/int/var-imp.icc +0 -745
- data/ext/gecode-2.1.1/gecode/int/var-imp/bool.cc +0 -104
- data/ext/gecode-2.1.1/gecode/int/var-imp/int.cc +0 -407
- data/ext/gecode-2.1.1/gecode/int/var/bool.icc +0 -126
- data/ext/gecode-2.1.1/gecode/int/var/int.icc +0 -151
- data/ext/gecode-2.1.1/gecode/int/view.icc +0 -1894
- data/ext/gecode-2.1.1/gecode/iter.hh +0 -90
- data/ext/gecode-2.1.1/gecode/iter/values-minus.icc +0 -130
- data/ext/gecode-2.1.1/gecode/kernel.hh +0 -182
- data/ext/gecode-2.1.1/gecode/kernel/branching.icc +0 -447
- data/ext/gecode-2.1.1/gecode/kernel/core.cc +0 -473
- data/ext/gecode-2.1.1/gecode/kernel/core.icc +0 -2295
- data/ext/gecode-2.1.1/gecode/kernel/memory-manager.icc +0 -458
- data/ext/gecode-2.1.1/gecode/kernel/reflection.cc +0 -921
- data/ext/gecode-2.1.1/gecode/kernel/reflection.icc +0 -1012
- data/ext/gecode-2.1.1/gecode/kernel/var-imp.icc +0 -433
- data/ext/gecode-2.1.1/gecode/kernel/var-map.cc +0 -269
- data/ext/gecode-2.1.1/gecode/kernel/var-map.icc +0 -227
- data/ext/gecode-2.1.1/gecode/kernel/var-traits.icc +0 -72
- data/ext/gecode-2.1.1/gecode/kernel/var-type.icc +0 -915
- data/ext/gecode-2.1.1/gecode/kernel/var.icc +0 -120
- data/ext/gecode-2.1.1/gecode/kernel/view.icc +0 -611
- data/ext/gecode-2.1.1/gecode/minimodel.hh +0 -1165
- data/ext/gecode-2.1.1/gecode/minimodel/arithmetic.cc +0 -179
- data/ext/gecode-2.1.1/gecode/search.hh +0 -752
- data/ext/gecode-2.1.1/gecode/search/reco-stack.icc +0 -237
- data/ext/gecode-2.1.1/gecode/serialization.hh +0 -149
- data/ext/gecode-2.1.1/gecode/serialization/boost.cc +0 -78
- data/ext/gecode-2.1.1/gecode/serialization/javascript.cc +0 -340
- data/ext/gecode-2.1.1/gecode/serialization/register.cc +0 -8142
- data/ext/gecode-2.1.1/gecode/set.hh +0 -970
- data/ext/gecode-2.1.1/gecode/set/projectors.hh +0 -438
- data/ext/gecode-2.1.1/gecode/set/projectors/formula.cc +0 -312
- data/ext/gecode-2.1.1/gecode/set/rel-op/common.icc +0 -557
- data/ext/gecode-2.1.1/gecode/set/rel-op/inter.icc +0 -409
- data/ext/gecode-2.1.1/gecode/set/rel/re-subset.icc +0 -172
- data/ext/gecode-2.1.1/gecode/set/select.cc +0 -135
- data/ext/gecode-2.1.1/gecode/set/select.hh +0 -233
- data/ext/gecode-2.1.1/gecode/set/select/disjoint.cc +0 -308
- data/ext/gecode-2.1.1/gecode/set/select/disjoint.icc +0 -75
- data/ext/gecode-2.1.1/gecode/set/select/idxarray.hh +0 -113
- data/ext/gecode-2.1.1/gecode/set/select/idxarray.icc +0 -155
- data/ext/gecode-2.1.1/gecode/set/select/inter.icc +0 -349
- data/ext/gecode-2.1.1/gecode/set/select/union.icc +0 -371
- data/ext/gecode-2.1.1/gecode/set/select/unionConst.icc +0 -334
- data/ext/gecode-2.1.1/gecode/set/var-imp/set.cc +0 -214
- data/ext/gecode-2.1.1/gecode/set/var/set.icc +0 -303
- data/ext/gecode-2.1.1/gecode/set/view.icc +0 -1503
- data/ext/gecode-2.1.1/gecode/set/view/complement.icc +0 -629
- data/ext/gecode-2.1.1/gecode/support/block-allocator.icc +0 -158
- data/ext/gecode-2.1.1/gecode/support/config.icc.in +0 -80
- data/ext/gecode-2.1.1/gecode/support/sentinel-stack.icc +0 -122
- data/ext/gecode-2.1.1/gecode/support/symbol.cc +0 -226
- data/ext/gecode-2.1.1/gecode/support/symbol.icc +0 -130
- data/ext/gecode-2.1.1/misc/gecode-gist.pc.in +0 -45
- data/ext/gecode-2.1.1/misc/gecode-minimodel.pc.in +0 -45
- data/ext/gecode-2.1.1/misc/gecode-search.pc.in +0 -45
- data/ext/gecode-2.1.1/misc/gecode-serialization.pc.in +0 -45
- data/ext/gecode-2.1.1/misc/gecode.pc.in +0 -45
- data/ext/gecode-2.1.1/misc/genstatistics.perl +0 -178
- data/ext/gecode-2.1.1/misc/genvariables.perl +0 -905
- data/lib/gecoder/interface/constraints/set_enum/select.rb +0 -79
- data/lib/gecoder/interface/model.rb +0 -453
- data/lib/gecoder/interface/model_sugar.rb +0 -84
- 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
|
+
|