1. * Package: sci-mathematics/kodkod-1.5.2
2. * Repository: gentoo
3. * Maintainer: gienah@gentoo.org> sci-mathematics@gentoo.org
4. * USE: amd64 doc elibc_glibc kernel_linux userland_GNU
5. * FEATURES: sandbox test userpriv usersandbox
6. Installed LAPACK for library directory lib64
7. [1] reference *
8. Installed BLAS for library directory lib64
9. [1] reference *
10. Installed CBLAS for library directory lib64
11. [1] gsl
12. [2] reference *
13. * Using: icedtea-bin-7
14. >>> Unpacking source...
15. >>> Unpacking kodkod-1.5.2.zip to /tmp/portage/sci-mathematics/kodkod-1.5.2/work
16. >>> Source unpacked in /tmp/portage/sci-mathematics/kodkod-1.5.2/work
17. >>> Preparing source in /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5 ...
18. Searching for bundled jars:
19. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core.jar
20. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core-src.jar
21. Searching for bundled classes (no output if none found):
22. Search done.
23. >>> Source prepared.
24. >>> Configuring source in /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5 ...
25. The project was not configured: run "waf configure" first!
26. CCFLAGS="-O2 -pipe -ggdb -march=native -ftracer -frecord-gcc-switches" LINKFLAGS="-Wl,-O1 -Wl,--as-needed" "/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/waf" --prefix=/usr configure
27. Setting top to : /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5
28. Setting out to : /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build
29. Checking for program javac : /opt/icedtea-bin-7.2.3.3/bin/javac
30. Checking for program java : /opt/icedtea-bin-7.2.3.3/bin/java
31. Checking for program jar : /opt/icedtea-bin-7.2.3.3/bin/jar
32. Checking for program javadoc : /opt/icedtea-bin-7.2.3.3/bin/javadoc
33. Checking for 'g++' (c++ compiler) : x86_64-pc-linux-gnu-g++
34. Checking for program javac : ['/opt/icedtea-bin-7.2.3.3/bin/javac']
35. Checking for program java : ['/opt/icedtea-bin-7.2.3.3/bin/java']
36. Checking for program jar : ['/opt/icedtea-bin-7.2.3.3/bin/jar']
37. Checking for program javadoc : ['/opt/icedtea-bin-7.2.3.3/bin/javadoc']
38. Checking for header jni.h : yes
39. Checking for 'gcc' (c compiler) : x86_64-pc-linux-gnu-gcc
40. Checking for program javac : ['/opt/icedtea-bin-7.2.3.3/bin/javac']
41. Checking for program java : ['/opt/icedtea-bin-7.2.3.3/bin/java']
42. Checking for program jar : ['/opt/icedtea-bin-7.2.3.3/bin/jar']
43. Checking for program javadoc : ['/opt/icedtea-bin-7.2.3.3/bin/javadoc']
44. Checking for header jni.h : yes
45. Checking for 'g++' (c++ compiler) : x86_64-pc-linux-gnu-g++
46. Checking for program javac : ['/opt/icedtea-bin-7.2.3.3/bin/javac']
47. Checking for program java : ['/opt/icedtea-bin-7.2.3.3/bin/java']
48. Checking for program jar : ['/opt/icedtea-bin-7.2.3.3/bin/jar']
49. Checking for program javadoc : ['/opt/icedtea-bin-7.2.3.3/bin/javadoc']
50. Checking for header jni.h : yes
51. Checking for 'g++' (c++ compiler) : x86_64-pc-linux-gnu-g++
52. Checking for program javac : ['/opt/icedtea-bin-7.2.3.3/bin/javac']
53. Checking for program java : ['/opt/icedtea-bin-7.2.3.3/bin/java']
54. Checking for program jar : ['/opt/icedtea-bin-7.2.3.3/bin/jar']
55. Checking for program javadoc : ['/opt/icedtea-bin-7.2.3.3/bin/javadoc']
56. Checking for header jni.h : yes
57. Checking for 'g++' (c++ compiler) : x86_64-pc-linux-gnu-g++
58. Checking for program javac : ['/opt/icedtea-bin-7.2.3.3/bin/javac']
59. Checking for program java : ['/opt/icedtea-bin-7.2.3.3/bin/java']
60. Checking for program jar : ['/opt/icedtea-bin-7.2.3.3/bin/jar']
61. Checking for program javadoc : ['/opt/icedtea-bin-7.2.3.3/bin/javadoc']
62. Checking for header jni.h : yes
63. Checking for 'g++' (c++ compiler) : x86_64-pc-linux-gnu-g++
64. Checking for program javac : ['/opt/icedtea-bin-7.2.3.3/bin/javac']
65. Checking for program java : ['/opt/icedtea-bin-7.2.3.3/bin/java']
66. Checking for program jar : ['/opt/icedtea-bin-7.2.3.3/bin/jar']
67. Checking for program javadoc : ['/opt/icedtea-bin-7.2.3.3/bin/javadoc']
68. Checking for header jni.h : yes
69. Checking for header malloc.h : yes
70. Checking for header limits.h : yes
71. 'configure' finished successfully (2.830s)
72. >>> Source configured.
73. >>> Compiling source in /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5 ...
74. "/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/waf" build --verbose --jobs=24
75. Waf: Entering directory `/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build'
76. [1/2] javac: src/kodkod/ast/BinaryExpression.java src/kodkod/ast/BinaryFormula.java src/kodkod/ast/BinaryIntExpression.java src/kodkod/ast/ComparisonFormula.java src/kodkod/ast/Comprehension.java src/kodkod/ast/ConstantExpression.java src/kodkod/ast/ConstantFormula.java src/kodkod/ast/Decl.java src/kodkod/ast/Decls.java src/kodkod/ast/ExprToIntCast.java src/kodkod/ast/Expression.java src/kodkod/ast/Formula.java src/kodkod/ast/IfExpression.java src/kodkod/ast/IfIntExpression.java src/kodkod/ast/IntComparisonFormula.java src/kodkod/ast/IntConstant.java src/kodkod/ast/IntExpression.java src/kodkod/ast/IntToExprCast.java src/kodkod/ast/LeafExpression.java src/kodkod/ast/MultiplicityFormula.java src/kodkod/ast/NaryExpression.java src/kodkod/ast/NaryFormula.java src/kodkod/ast/NaryIntExpression.java src/kodkod/ast/Node.java src/kodkod/ast/NotFormula.java src/kodkod/ast/ProjectExpression.java src/kodkod/ast/QuantifiedFormula.java src/kodkod/ast/Relation.java src/kodkod/ast/RelationPredicate.java src/kodkod/ast/SumExpression.java src/kodkod/ast/UnaryExpression.java src/kodkod/ast/UnaryIntExpression.java src/kodkod/ast/Variable.java src/kodkod/ast/operator/ExprCastOperator.java src/kodkod/ast/operator/ExprCompOperator.java src/kodkod/ast/operator/ExprOperator.java src/kodkod/ast/operator/FormulaOperator.java src/kodkod/ast/operator/IntCastOperator.java src/kodkod/ast/operator/IntCompOperator.java src/kodkod/ast/operator/IntOperator.java src/kodkod/ast/operator/Multiplicity.java src/kodkod/ast/operator/Quantifier.java src/kodkod/ast/visitor/AbstractCollector.java src/kodkod/ast/visitor/AbstractDetector.java src/kodkod/ast/visitor/AbstractReplacer.java src/kodkod/ast/visitor/AbstractVoidVisitor.java src/kodkod/ast/visitor/ReturnVisitor.java src/kodkod/ast/visitor/VoidVisitor.java src/kodkod/engine/AbortedException.java src/kodkod/engine/CapacityExceededException.java src/kodkod/engine/Cost.java src/kodkod/engine/Evaluator.java src/kodkod/engine/Proof.java src/kodkod/engine/ResolutionBasedProof.java src/kodkod/engine/Solution.java src/kodkod/engine/Solver.java src/kodkod/engine/Statistics.java src/kodkod/engine/TrivialProof.java src/kodkod/engine/bool/BinaryGate.java src/kodkod/engine/bool/BooleanAccumulator.java src/kodkod/engine/bool/BooleanConstant.java src/kodkod/engine/bool/BooleanFactory.java src/kodkod/engine/bool/BooleanFormula.java src/kodkod/engine/bool/BooleanMatrix.java src/kodkod/engine/bool/BooleanValue.java src/kodkod/engine/bool/BooleanVariable.java src/kodkod/engine/bool/BooleanVisitor.java src/kodkod/engine/bool/CBCFactory.java src/kodkod/engine/bool/Dimensions.java src/kodkod/engine/bool/ITEGate.java src/kodkod/engine/bool/Int.java src/kodkod/engine/bool/MultiGate.java src/kodkod/engine/bool/NaryGate.java src/kodkod/engine/bool/NotGate.java src/kodkod/engine/bool/Operator.java src/kodkod/engine/bool/RBCFactory.java src/kodkod/engine/bool/TwosComplementInt.java src/kodkod/engine/config/AbstractReporter.java src/kodkod/engine/config/ConsoleReporter.java src/kodkod/engine/config/Options.java src/kodkod/engine/config/Reporter.java src/kodkod/engine/fol2sat/Bool2CNFTranslator.java src/kodkod/engine/fol2sat/BooleanFormulaFlattener.java src/kodkod/engine/fol2sat/CompactBool2CNFTranslator.java src/kodkod/engine/fol2sat/Environment.java src/kodkod/engine/fol2sat/FOL2BoolCache.java src/kodkod/engine/fol2sat/FOL2BoolTranslator.java src/kodkod/engine/fol2sat/FileLogger.java src/kodkod/engine/fol2sat/FormulaFlattener.java src/kodkod/engine/fol2sat/FreeVariableCollector.java src/kodkod/engine/fol2sat/HigherOrderDeclException.java src/kodkod/engine/fol2sat/LeafInterpreter.java src/kodkod/engine/fol2sat/MemoryLogger.java src/kodkod/engine/fol2sat/RecordFilter.java src/kodkod/engine/fol2sat/Skolemizer.java src/kodkod/engine/fol2sat/SymmetryBreaker.java src/kodkod/engine/fol2sat/SymmetryDetector.java src/kodkod/engine/fol2sat/Translation.java src/kodkod/engine/fol2sat/TranslationLog.java src/kodkod/engine/fol2sat/TranslationLogger.java src/kodkod/engine/fol2sat/TranslationRecord.java src/kodkod/engine/fol2sat/Translator.java src/kodkod/engine/fol2sat/TrivialFormulaException.java src/kodkod/engine/fol2sat/UnboundLeafException.java src/kodkod/engine/satlab/Clause.java src/kodkod/engine/satlab/CryptoMiniSat.java src/kodkod/engine/satlab/ExternalSolver.java src/kodkod/engine/satlab/LazyTrace.java src/kodkod/engine/satlab/Lingeling.java src/kodkod/engine/satlab/MiniSat.java src/kodkod/engine/satlab/MiniSatProver.java src/kodkod/engine/satlab/NativeSolver.java src/kodkod/engine/satlab/ReductionStrategy.java src/kodkod/engine/satlab/ResolutionTrace.java src/kodkod/engine/satlab/SAT4J.java src/kodkod/engine/satlab/SATAbortedException.java src/kodkod/engine/satlab/SATFactory.java src/kodkod/engine/satlab/SATMinSolver.java src/kodkod/engine/satlab/SATProver.java src/kodkod/engine/satlab/SATSolver.java src/kodkod/engine/satlab/ZChaffMincost.java src/kodkod/engine/ucore/AdaptiveRCEStrategy.java src/kodkod/engine/ucore/CRRStrategy.java src/kodkod/engine/ucore/DynamicRCEStrategy.java src/kodkod/engine/ucore/ECFPStrategy.java src/kodkod/engine/ucore/HybridStrategy.java src/kodkod/engine/ucore/NCEStrategy.java src/kodkod/engine/ucore/RCEStrategy.java src/kodkod/engine/ucore/SCEStrategy.java src/kodkod/engine/ucore/StrategyUtils.java src/kodkod/instance/Bounds.java src/kodkod/instance/Instance.java src/kodkod/instance/Tuple.java src/kodkod/instance/TupleFactory.java src/kodkod/instance/TupleSet.java src/kodkod/instance/Universe.java src/kodkod/util/collections/ArrayStack.java src/kodkod/util/collections/CacheSet.java src/kodkod/util/collections/Containers.java src/kodkod/util/collections/FixedMap.java src/kodkod/util/collections/IdentityHashSet.java src/kodkod/util/collections/Indexer.java src/kodkod/util/collections/LinkedStack.java src/kodkod/util/collections/SingletonIdentitySet.java src/kodkod/util/collections/Stack.java src/kodkod/util/ints/AbstractIntCollection.java src/kodkod/util/ints/AbstractIntSet.java src/kodkod/util/ints/AbstractIntVector.java src/kodkod/util/ints/AbstractSparseSequence.java src/kodkod/util/ints/ArrayIntSet.java src/kodkod/util/ints/ArrayIntVector.java src/kodkod/util/ints/ArraySequence.java src/kodkod/util/ints/EntryView.java src/kodkod/util/ints/HomogenousSequence.java src/kodkod/util/ints/IndexedEntry.java src/kodkod/util/ints/IntBitSet.java src/kodkod/util/ints/IntCollection.java src/kodkod/util/ints/IntIterator.java src/kodkod/util/ints/IntRange.java src/kodkod/util/ints/IntSet.java src/kodkod/util/ints/IntTree.java src/kodkod/util/ints/IntTreeSet.java src/kodkod/util/ints/IntVector.java src/kodkod/util/ints/Ints.java src/kodkod/util/ints/RangeSequence.java src/kodkod/util/ints/SparseSequence.java src/kodkod/util/ints/TreeSequence.java src/kodkod/util/nodes/AnnotatedNode.java src/kodkod/util/nodes/Nodes.java src/kodkod/util/nodes/PrettyPrinter.java
77. 11:45:51 runner ['/opt/icedtea-bin-7.2.3.3/bin/javac', '-classpath', '.:/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core.jar:.:/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core.jar:', '-d', '/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/src/kodkod', '-source', '1.6', '-sourcepath', 'src', '../src/kodkod/ast/BinaryExpression.java', '../src/kodkod/ast/BinaryFormula.java', '../src/kodkod/ast/BinaryIntExpression.java', '../src/kodkod/ast/ComparisonFormula.java', '../src/kodkod/ast/Comprehension.java', '../src/kodkod/ast/ConstantExpression.java', '../src/kodkod/ast/ConstantFormula.java', '../src/kodkod/ast/Decl.java', '../src/kodkod/ast/Decls.java', '../src/kodkod/ast/ExprToIntCast.java', '../src/kodkod/ast/Expression.java', '../src/kodkod/ast/Formula.java', '../src/kodkod/ast/IfExpression.java', '../src/kodkod/ast/IfIntExpression.java', '../src/kodkod/ast/IntComparisonFormula.java', '../src/kodkod/ast/IntConstant.java', '../src/kodkod/ast/IntExpression.java', '../src/kodkod/ast/IntToExprCast.java', '../src/kodkod/ast/LeafExpression.java', '../src/kodkod/ast/MultiplicityFormula.java', '../src/kodkod/ast/NaryExpression.java', '../src/kodkod/ast/NaryFormula.java', '../src/kodkod/ast/NaryIntExpression.java', '../src/kodkod/ast/Node.java', '../src/kodkod/ast/NotFormula.java', '../src/kodkod/ast/ProjectExpression.java', '../src/kodkod/ast/QuantifiedFormula.java', '../src/kodkod/ast/Relation.java', '../src/kodkod/ast/RelationPredicate.java', '../src/kodkod/ast/SumExpression.java', '../src/kodkod/ast/UnaryExpression.java', '../src/kodkod/ast/UnaryIntExpression.java', '../src/kodkod/ast/Variable.java', '../src/kodkod/ast/operator/ExprCastOperator.java', '../src/kodkod/ast/operator/ExprCompOperator.java', '../src/kodkod/ast/operator/ExprOperator.java', '../src/kodkod/ast/operator/FormulaOperator.java', '../src/kodkod/ast/operator/IntCastOperator.java', '../src/kodkod/ast/operator/IntCompOperator.java', '../src/kodkod/ast/operator/IntOperator.java', '../src/kodkod/ast/operator/Multiplicity.java', '../src/kodkod/ast/operator/Quantifier.java', '../src/kodkod/ast/visitor/AbstractCollector.java', '../src/kodkod/ast/visitor/AbstractDetector.java', '../src/kodkod/ast/visitor/AbstractReplacer.java', '../src/kodkod/ast/visitor/AbstractVoidVisitor.java', '../src/kodkod/ast/visitor/ReturnVisitor.java', '../src/kodkod/ast/visitor/VoidVisitor.java', '../src/kodkod/engine/AbortedException.java', '../src/kodkod/engine/CapacityExceededException.java', '../src/kodkod/engine/Cost.java', '../src/kodkod/engine/Evaluator.java', '../src/kodkod/engine/Proof.java', '../src/kodkod/engine/ResolutionBasedProof.java', '../src/kodkod/engine/Solution.java', '../src/kodkod/engine/Solver.java', '../src/kodkod/engine/Statistics.java', '../src/kodkod/engine/TrivialProof.java', '../src/kodkod/engine/bool/BinaryGate.java', '../src/kodkod/engine/bool/BooleanAccumulator.java', '../src/kodkod/engine/bool/BooleanConstant.java', '../src/kodkod/engine/bool/BooleanFactory.java', '../src/kodkod/engine/bool/BooleanFormula.java', '../src/kodkod/engine/bool/BooleanMatrix.java', '../src/kodkod/engine/bool/BooleanValue.java', '../src/kodkod/engine/bool/BooleanVariable.java', '../src/kodkod/engine/bool/BooleanVisitor.java', '../src/kodkod/engine/bool/CBCFactory.java', '../src/kodkod/engine/bool/Dimensions.java', '../src/kodkod/engine/bool/ITEGate.java', '../src/kodkod/engine/bool/Int.java', '../src/kodkod/engine/bool/MultiGate.java', '../src/kodkod/engine/bool/NaryGate.java', '../src/kodkod/engine/bool/NotGate.java', '../src/kodkod/engine/bool/Operator.java', '../src/kodkod/engine/bool/RBCFactory.java', '../src/kodkod/engine/bool/TwosComplementInt.java', '../src/kodkod/engine/config/AbstractReporter.java', '../src/kodkod/engine/config/ConsoleReporter.java', '../src/kodkod/engine/config/Options.java', '../src/kodkod/engine/config/Reporter.java', '../src/kodkod/engine/fol2sat/Bool2CNFTranslator.java', '../src/kodkod/engine/fol2sat/BooleanFormulaFlattener.java', '../src/kodkod/engine/fol2sat/CompactBool2CNFTranslator.java', '../src/kodkod/engine/fol2sat/Environment.java', '../src/kodkod/engine/fol2sat/FOL2BoolCache.java', '../src/kodkod/engine/fol2sat/FOL2BoolTranslator.java', '../src/kodkod/engine/fol2sat/FileLogger.java', '../src/kodkod/engine/fol2sat/FormulaFlattener.java', '../src/kodkod/engine/fol2sat/FreeVariableCollector.java', '../src/kodkod/engine/fol2sat/HigherOrderDeclException.java', '../src/kodkod/engine/fol2sat/LeafInterpreter.java', '../src/kodkod/engine/fol2sat/MemoryLogger.java', '../src/kodkod/engine/fol2sat/RecordFilter.java', '../src/kodkod/engine/fol2sat/Skolemizer.java', '../src/kodkod/engine/fol2sat/SymmetryBreaker.java', '../src/kodkod/engine/fol2sat/SymmetryDetector.java', '../src/kodkod/engine/fol2sat/Translation.java', '../src/kodkod/engine/fol2sat/TranslationLog.java', '../src/kodkod/engine/fol2sat/TranslationLogger.java', '../src/kodkod/engine/fol2sat/TranslationRecord.java', '../src/kodkod/engine/fol2sat/Translator.java', '../src/kodkod/engine/fol2sat/TrivialFormulaException.java', '../src/kodkod/engine/fol2sat/UnboundLeafException.java', '../src/kodkod/engine/satlab/Clause.java', '../src/kodkod/engine/satlab/CryptoMiniSat.java', '../src/kodkod/engine/satlab/ExternalSolver.java', '../src/kodkod/engine/satlab/LazyTrace.java', '../src/kodkod/engine/satlab/Lingeling.java', '../src/kodkod/engine/satlab/MiniSat.java', '../src/kodkod/engine/satlab/MiniSatProver.java', '../src/kodkod/engine/satlab/NativeSolver.java', '../src/kodkod/engine/satlab/ReductionStrategy.java', '../src/kodkod/engine/satlab/ResolutionTrace.java', '../src/kodkod/engine/satlab/SAT4J.java', '../src/kodkod/engine/satlab/SATAbortedException.java', '../src/kodkod/engine/satlab/SATFactory.java', '../src/kodkod/engine/satlab/SATMinSolver.java', '../src/kodkod/engine/satlab/SATProver.java', '../src/kodkod/engine/satlab/SATSolver.java', '../src/kodkod/engine/satlab/ZChaffMincost.java', '../src/kodkod/engine/ucore/AdaptiveRCEStrategy.java', '../src/kodkod/engine/ucore/CRRStrategy.java', '../src/kodkod/engine/ucore/DynamicRCEStrategy.java', '../src/kodkod/engine/ucore/ECFPStrategy.java', '../src/kodkod/engine/ucore/HybridStrategy.java', '../src/kodkod/engine/ucore/NCEStrategy.java', '../src/kodkod/engine/ucore/RCEStrategy.java', '../src/kodkod/engine/ucore/SCEStrategy.java', '../src/kodkod/engine/ucore/StrategyUtils.java', '../src/kodkod/instance/Bounds.java', '../src/kodkod/instance/Instance.java', '../src/kodkod/instance/Tuple.java', '../src/kodkod/instance/TupleFactory.java', '../src/kodkod/instance/TupleSet.java', '../src/kodkod/instance/Universe.java', '../src/kodkod/util/collections/ArrayStack.java', '../src/kodkod/util/collections/CacheSet.java', '../src/kodkod/util/collections/Containers.java', '../src/kodkod/util/collections/FixedMap.java', '../src/kodkod/util/collections/IdentityHashSet.java', '../src/kodkod/util/collections/Indexer.java', '../src/kodkod/util/collections/LinkedStack.java', '../src/kodkod/util/collections/SingletonIdentitySet.java', '../src/kodkod/util/collections/Stack.java', '../src/kodkod/util/ints/AbstractIntCollection.java', '../src/kodkod/util/ints/AbstractIntSet.java', '../src/kodkod/util/ints/AbstractIntVector.java', '../src/kodkod/util/ints/AbstractSparseSequence.java', '../src/kodkod/util/ints/ArrayIntSet.java', '../src/kodkod/util/ints/ArrayIntVector.java', '../src/kodkod/util/ints/ArraySequence.java', '../src/kodkod/util/ints/EntryView.java', '../src/kodkod/util/ints/HomogenousSequence.java', '../src/kodkod/util/ints/IndexedEntry.java', '../src/kodkod/util/ints/IntBitSet.java', '../src/kodkod/util/ints/IntCollection.java', '../src/kodkod/util/ints/IntIterator.java', '../src/kodkod/util/ints/IntRange.java', '../src/kodkod/util/ints/IntSet.java', '../src/kodkod/util/ints/IntTree.java', '../src/kodkod/util/ints/IntTreeSet.java', '../src/kodkod/util/ints/IntVector.java', '../src/kodkod/util/ints/Ints.java', '../src/kodkod/util/ints/RangeSequence.java', '../src/kodkod/util/ints/SparseSequence.java', '../src/kodkod/util/ints/TreeSequence.java', '../src/kodkod/util/nodes/AnnotatedNode.java', '../src/kodkod/util/nodes/Nodes.java', '../src/kodkod/util/nodes/PrettyPrinter.java']
78. 11:45:51 runner ['/opt/icedtea-bin-7.2.3.3/bin/javac', '-classpath', '.:/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core.jar:.:/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core.jar:', '-d', '/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/src/kodkod', '-source', '1.6', '-sourcepath', 'src', '@/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/tmpsyTwwE']
79. warning: [options] bootstrap class path not set in conjunction with -source 1.6
80. ../src/kodkod/engine/satlab/Clause.java:152: error: reference to superFastHash is ambiguous, both method superFastHash(int...) in Ints and method superFastHash(Object...) in Ints match
81. hash = Ints.superFastHash(iter.next().hashCode(), hash);
82. ^
83. 1 error
84. 1 warning
85. Waf: Leaving directory `/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build'
86. Build failed
87. -> task in '' failed (exit status 1):
88. {task 61823504: javac BinaryExpression.java,BinaryFormula.java,BinaryIntExpression.java,ComparisonFormula.java,Comprehension.java,ConstantExpression.java,ConstantFormula.java,Decl.java,Decls.java,ExprToIntCast.java,Expression.java,Formula.java,IfExpression.java,IfIntExpression.java,IntComparisonFormula.java,IntConstant.java,IntExpression.java,IntToExprCast.java,LeafExpression.java,MultiplicityFormula.java,NaryExpression.java,NaryFormula.java,NaryIntExpression.java,Node.java,NotFormula.java,ProjectExpression.java,QuantifiedFormula.java,Relation.java,RelationPredicate.java,SumExpression.java,UnaryExpression.java,UnaryIntExpression.java,Variable.java,ExprCastOperator.java,ExprCompOperator.java,ExprOperator.java,FormulaOperator.java,IntCastOperator.java,IntCompOperator.java,IntOperator.java,Multiplicity.java,Quantifier.java,AbstractCollector.java,AbstractDetector.java,AbstractReplacer.java,AbstractVoidVisitor.java,ReturnVisitor.java,VoidVisitor.java,AbortedException.java,CapacityExceededException.java,Cost.java,Evaluator.java,Proof.java,ResolutionBasedProof.java,Solution.java,Solver.java,Statistics.java,TrivialProof.java,BinaryGate.java,BooleanAccumulator.java,BooleanConstant.java,BooleanFactory.java,BooleanFormula.java,BooleanMatrix.java,BooleanValue.java,BooleanVariable.java,BooleanVisitor.java,CBCFactory.java,Dimensions.java,ITEGate.java,Int.java,MultiGate.java,NaryGate.java,NotGate.java,Operator.java,RBCFactory.java,TwosComplementInt.java,AbstractReporter.java,ConsoleReporter.java,Options.java,Reporter.java,Bool2CNFTranslator.java,BooleanFormulaFlattener.java,CompactBool2CNFTranslator.java,Environment.java,FOL2BoolCache.java,FOL2BoolTranslator.java,FileLogger.java,FormulaFlattener.java,FreeVariableCollector.java,HigherOrderDeclException.java,LeafInterpreter.java,MemoryLogger.java,RecordFilter.java,Skolemizer.java,SymmetryBreaker.java,SymmetryDetector.java,Translation.java,TranslationLog.java,TranslationLogger.java,TranslationRecord.java,Translator.java,TrivialFormulaException.java,UnboundLeafException.java,Clause.java,CryptoMiniSat.java,ExternalSolver.java,LazyTrace.java,Lingeling.java,MiniSat.java,MiniSatProver.java,NativeSolver.java,ReductionStrategy.java,ResolutionTrace.java,SAT4J.java,SATAbortedException.java,SATFactory.java,SATMinSolver.java,SATProver.java,SATSolver.java,ZChaffMincost.java,AdaptiveRCEStrategy.java,CRRStrategy.java,DynamicRCEStrategy.java,ECFPStrategy.java,HybridStrategy.java,NCEStrategy.java,RCEStrategy.java,SCEStrategy.java,StrategyUtils.java,Bounds.java,Instance.java,Tuple.java,TupleFactory.java,TupleSet.java,Universe.java,ArrayStack.java,CacheSet.java,Containers.java,FixedMap.java,IdentityHashSet.java,Indexer.java,LinkedStack.java,SingletonIdentitySet.java,Stack.java,AbstractIntCollection.java,AbstractIntSet.java,AbstractIntVector.java,AbstractSparseSequence.java,ArrayIntSet.java,ArrayIntVector.java,ArraySequence.java,EntryView.java,HomogenousSequence.java,IndexedEntry.java,IntBitSet.java,IntCollection.java,IntIterator.java,IntRange.java,IntSet.java,IntTree.java,IntTreeSet.java,IntVector.java,Ints.java,RangeSequence.java,SparseSequence.java,TreeSequence.java,AnnotatedNode.java,Nodes.java,PrettyPrinter.java -> }
89. ''
90. * ERROR: sci-mathematics/kodkod-1.5.2 failed (compile phase):
91. * build failed
92. *
93. * Call stack:
94. * ebuild.sh, line 93: Called src_compile
95. * environment, line 4153: Called waf-utils_src_compile
96. * environment, line 4913: Called die
97. * The specific snippet of code:
98. * "${WAF_BINARY}" ${_mywafconfig} ${jobs} || die "build failed"
99. *
100. * If you need support, post the output of `emerge --info '=sci-mathematics/kodkod-1.5.2'`,
101. * the complete build log and the output of `emerge -pqv '=sci-mathematics/kodkod-1.5.2'`.
102. !!! When you file a bug report, please include the following information:
103. GENTOO_VM=icedtea-bin-7 CLASSPATH="" JAVA_HOME="/opt/icedtea-bin-7.2.3.3"
104. JAVACFLAGS="-source 1.6 -target 1.6" COMPILER=""
105. and of course, the output of emerge --info
106. sed: couldn't open temporary file /etc/portage/package.mask/sedcfYU0c: Permission denied