* Package: sci-mathematics/kodkod-1.5.2 * Repository: gentoo * Maintainer: gienah@gentoo.org sci-mathematics@gentoo.org * USE: abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU * FEATURES: preserve-libs sandbox userpriv usersandbox * Using: icedtea-bin-8 >>> Unpacking source... >>> Unpacking kodkod-1.5.2.zip to /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work >>> Source unpacked in /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work >>> Preparing source in /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5 ... * Applying kodkod-1.5.2-changes-in-most-specific-varargs-method-selection.patch ... [ ok ] >>> Source prepared. >>> Configuring source in /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5 ... The project was not configured: run "waf configure" first! CCFLAGS="-march=native -O2 -pipe" LINKFLAGS="-Wl,-O1 -Wl,--as-needed" "/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/waf" --prefix=/usr configure Setting top to : /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5 Setting out to : /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build Checking for program javac : /opt/icedtea-bin-3.1.0/bin/javac Checking for program java : /opt/icedtea-bin-3.1.0/bin/java Checking for program jar : /opt/icedtea-bin-3.1.0/bin/jar Checking for program javadoc : /opt/icedtea-bin-3.1.0/bin/javadoc Checking for 'g++' (c++ compiler) : x86_64-pc-linux-gnu-g++ Checking for program javac : ['/opt/icedtea-bin-3.1.0/bin/javac'] Checking for program java : ['/opt/icedtea-bin-3.1.0/bin/java'] Checking for program jar : ['/opt/icedtea-bin-3.1.0/bin/jar'] Checking for program javadoc : ['/opt/icedtea-bin-3.1.0/bin/javadoc'] Checking for header jni.h : yes Checking for 'gcc' (c compiler) : x86_64-pc-linux-gnu-gcc Checking for program javac : ['/opt/icedtea-bin-3.1.0/bin/javac'] Checking for program java : ['/opt/icedtea-bin-3.1.0/bin/java'] Checking for program jar : ['/opt/icedtea-bin-3.1.0/bin/jar'] Checking for program javadoc : ['/opt/icedtea-bin-3.1.0/bin/javadoc'] Checking for header jni.h : yes Checking for 'g++' (c++ compiler) : x86_64-pc-linux-gnu-g++ Checking for program javac : ['/opt/icedtea-bin-3.1.0/bin/javac'] Checking for program java : ['/opt/icedtea-bin-3.1.0/bin/java'] Checking for program jar : ['/opt/icedtea-bin-3.1.0/bin/jar'] Checking for program javadoc : ['/opt/icedtea-bin-3.1.0/bin/javadoc'] Checking for header jni.h : yes Checking for 'g++' (c++ compiler) : x86_64-pc-linux-gnu-g++ Checking for program javac : ['/opt/icedtea-bin-3.1.0/bin/javac'] Checking for program java : ['/opt/icedtea-bin-3.1.0/bin/java'] Checking for program jar : ['/opt/icedtea-bin-3.1.0/bin/jar'] Checking for program javadoc : ['/opt/icedtea-bin-3.1.0/bin/javadoc'] Checking for header jni.h : yes Checking for 'g++' (c++ compiler) : x86_64-pc-linux-gnu-g++ Checking for program javac : ['/opt/icedtea-bin-3.1.0/bin/javac'] Checking for program java : ['/opt/icedtea-bin-3.1.0/bin/java'] Checking for program jar : ['/opt/icedtea-bin-3.1.0/bin/jar'] Checking for program javadoc : ['/opt/icedtea-bin-3.1.0/bin/javadoc'] Checking for header jni.h : yes Checking for 'g++' (c++ compiler) : x86_64-pc-linux-gnu-g++ Checking for program javac : ['/opt/icedtea-bin-3.1.0/bin/javac'] Checking for program java : ['/opt/icedtea-bin-3.1.0/bin/java'] Checking for program jar : ['/opt/icedtea-bin-3.1.0/bin/jar'] Checking for program javadoc : ['/opt/icedtea-bin-3.1.0/bin/javadoc'] Checking for header jni.h : yes Checking for header malloc.h : yes Checking for header limits.h : yes 'configure' finished successfully (1.356s) >>> Source configured. >>> Compiling source in /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5 ... "/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/waf" build --verbose --jobs=1 Waf: Entering directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build' [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 03:46:06 runner ['/opt/icedtea-bin-3.1.0/bin/javac', '-classpath', '.:/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core.jar:.:/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core.jar:', '-d', '/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/src/kodkod', '-source', '1.6', '-target', '1.6', '-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'] 03:46:06 runner ['/opt/icedtea-bin-3.1.0/bin/javac', '-classpath', '.:/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core.jar:.:/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core.jar:', '-d', '/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/src/kodkod', '-source', '1.6', '-target', '1.6', '-source', '1.6', '-sourcepath', 'src', '@/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/tmp6HLieO'] warning: [options] bootstrap class path not set in conjunction with -source 1.6 1 warning Using ant_glob on the build folder (/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/src/kodkod) is dangerous (quiet=True to disable this warning) [2/2] jar_create: build/src/kodkod/kodkod/ast/BinaryExpression$1.class build/src/kodkod/kodkod/ast/BinaryExpression.class build/src/kodkod/kodkod/ast/BinaryFormula.class build/src/kodkod/kodkod/ast/BinaryIntExpression.class build/src/kodkod/kodkod/ast/ComparisonFormula.class build/src/kodkod/kodkod/ast/Comprehension.class build/src/kodkod/kodkod/ast/ConstantExpression.class build/src/kodkod/kodkod/ast/ConstantFormula.class build/src/kodkod/kodkod/ast/Decl.class build/src/kodkod/kodkod/ast/Decls.class build/src/kodkod/kodkod/ast/ExprToIntCast.class build/src/kodkod/kodkod/ast/Expression.class build/src/kodkod/kodkod/ast/Formula$1.class build/src/kodkod/kodkod/ast/Formula$2.class build/src/kodkod/kodkod/ast/Formula$3.class build/src/kodkod/kodkod/ast/Formula.class build/src/kodkod/kodkod/ast/IfExpression.class build/src/kodkod/kodkod/ast/IfIntExpression.class build/src/kodkod/kodkod/ast/IntComparisonFormula.class build/src/kodkod/kodkod/ast/IntConstant.class build/src/kodkod/kodkod/ast/IntExpression.class build/src/kodkod/kodkod/ast/IntToExprCast.class build/src/kodkod/kodkod/ast/LeafExpression.class build/src/kodkod/kodkod/ast/MultiplicityFormula.class build/src/kodkod/kodkod/ast/NaryExpression$1.class build/src/kodkod/kodkod/ast/NaryExpression.class build/src/kodkod/kodkod/ast/NaryFormula.class build/src/kodkod/kodkod/ast/NaryIntExpression.class build/src/kodkod/kodkod/ast/Node.class build/src/kodkod/kodkod/ast/NotFormula.class build/src/kodkod/kodkod/ast/ProjectExpression.class build/src/kodkod/kodkod/ast/QuantifiedFormula.class build/src/kodkod/kodkod/ast/Relation.class build/src/kodkod/kodkod/ast/RelationPredicate$1.class build/src/kodkod/kodkod/ast/RelationPredicate$Acyclic.class build/src/kodkod/kodkod/ast/RelationPredicate$Function.class build/src/kodkod/kodkod/ast/RelationPredicate$Name.class build/src/kodkod/kodkod/ast/RelationPredicate$TotalOrdering.class build/src/kodkod/kodkod/ast/RelationPredicate.class build/src/kodkod/kodkod/ast/SumExpression.class build/src/kodkod/kodkod/ast/UnaryExpression.class build/src/kodkod/kodkod/ast/UnaryIntExpression.class build/src/kodkod/kodkod/ast/Variable.class build/src/kodkod/kodkod/ast/operator/ExprCastOperator$1.class build/src/kodkod/kodkod/ast/operator/ExprCastOperator$2.class build/src/kodkod/kodkod/ast/operator/ExprCastOperator.class build/src/kodkod/kodkod/ast/operator/ExprCompOperator$1.class build/src/kodkod/kodkod/ast/operator/ExprCompOperator$2.class build/src/kodkod/kodkod/ast/operator/ExprCompOperator.class build/src/kodkod/kodkod/ast/operator/ExprOperator$1.class build/src/kodkod/kodkod/ast/operator/ExprOperator$2.class build/src/kodkod/kodkod/ast/operator/ExprOperator$3.class build/src/kodkod/kodkod/ast/operator/ExprOperator$4.class build/src/kodkod/kodkod/ast/operator/ExprOperator$5.class build/src/kodkod/kodkod/ast/operator/ExprOperator$6.class build/src/kodkod/kodkod/ast/operator/ExprOperator$7.class build/src/kodkod/kodkod/ast/operator/ExprOperator$8.class build/src/kodkod/kodkod/ast/operator/ExprOperator$9.class build/src/kodkod/kodkod/ast/operator/ExprOperator.class build/src/kodkod/kodkod/ast/operator/FormulaOperator$1.class build/src/kodkod/kodkod/ast/operator/FormulaOperator$2.class build/src/kodkod/kodkod/ast/operator/FormulaOperator$3.class build/src/kodkod/kodkod/ast/operator/FormulaOperator$4.class build/src/kodkod/kodkod/ast/operator/FormulaOperator.class build/src/kodkod/kodkod/ast/operator/IntCastOperator$1.class build/src/kodkod/kodkod/ast/operator/IntCastOperator$2.class build/src/kodkod/kodkod/ast/operator/IntCastOperator.class build/src/kodkod/kodkod/ast/operator/IntCompOperator$1.class build/src/kodkod/kodkod/ast/operator/IntCompOperator$2.class build/src/kodkod/kodkod/ast/operator/IntCompOperator$3.class build/src/kodkod/kodkod/ast/operator/IntCompOperator$4.class build/src/kodkod/kodkod/ast/operator/IntCompOperator$5.class build/src/kodkod/kodkod/ast/operator/IntCompOperator.class build/src/kodkod/kodkod/ast/operator/IntOperator$1.class build/src/kodkod/kodkod/ast/operator/IntOperator$10.class build/src/kodkod/kodkod/ast/operator/IntOperator$11.class build/src/kodkod/kodkod/ast/operator/IntOperator$12.class build/src/kodkod/kodkod/ast/operator/IntOperator$13.class build/src/kodkod/kodkod/ast/operator/IntOperator$14.class build/src/kodkod/kodkod/ast/operator/IntOperator$15.class build/src/kodkod/kodkod/ast/operator/IntOperator$2.class build/src/kodkod/kodkod/ast/operator/IntOperator$3.class build/src/kodkod/kodkod/ast/operator/IntOperator$4.class build/src/kodkod/kodkod/ast/operator/IntOperator$5.class build/src/kodkod/kodkod/ast/operator/IntOperator$6.class build/src/kodkod/kodkod/ast/operator/IntOperator$7.class build/src/kodkod/kodkod/ast/operator/IntOperator$8.class build/src/kodkod/kodkod/ast/operator/IntOperator$9.class build/src/kodkod/kodkod/ast/operator/IntOperator.class build/src/kodkod/kodkod/ast/operator/Multiplicity$1.class build/src/kodkod/kodkod/ast/operator/Multiplicity$2.class build/src/kodkod/kodkod/ast/operator/Multiplicity$3.class build/src/kodkod/kodkod/ast/operator/Multiplicity$4.class build/src/kodkod/kodkod/ast/operator/Multiplicity$5.class build/src/kodkod/kodkod/ast/operator/Multiplicity.class build/src/kodkod/kodkod/ast/operator/Quantifier$1.class build/src/kodkod/kodkod/ast/operator/Quantifier$2.class build/src/kodkod/kodkod/ast/operator/Quantifier.class build/src/kodkod/kodkod/ast/visitor/AbstractCollector$1.class build/src/kodkod/kodkod/ast/visitor/AbstractCollector.class build/src/kodkod/kodkod/ast/visitor/AbstractDetector.class build/src/kodkod/kodkod/ast/visitor/AbstractReplacer$1.class build/src/kodkod/kodkod/ast/visitor/AbstractReplacer.class build/src/kodkod/kodkod/ast/visitor/AbstractVoidVisitor.class build/src/kodkod/kodkod/ast/visitor/ReturnVisitor.class build/src/kodkod/kodkod/ast/visitor/VoidVisitor.class build/src/kodkod/kodkod/engine/AbortedException.class build/src/kodkod/kodkod/engine/CapacityExceededException.class build/src/kodkod/kodkod/engine/Cost.class build/src/kodkod/kodkod/engine/Evaluator.class build/src/kodkod/kodkod/engine/Proof.class build/src/kodkod/kodkod/engine/ResolutionBasedProof$1.class build/src/kodkod/kodkod/engine/ResolutionBasedProof$2.class build/src/kodkod/kodkod/engine/ResolutionBasedProof$3.class build/src/kodkod/kodkod/engine/ResolutionBasedProof$4.class build/src/kodkod/kodkod/engine/ResolutionBasedProof.class build/src/kodkod/kodkod/engine/Solution$Outcome.class build/src/kodkod/kodkod/engine/Solution.class build/src/kodkod/kodkod/engine/Solver$SolutionIterator.class build/src/kodkod/kodkod/engine/Solver.class build/src/kodkod/kodkod/engine/Statistics.class build/src/kodkod/kodkod/engine/TrivialProof$1.class build/src/kodkod/kodkod/engine/TrivialProof$2.class build/src/kodkod/kodkod/engine/TrivialProof$NodePruner$1.class build/src/kodkod/kodkod/engine/TrivialProof$NodePruner.class build/src/kodkod/kodkod/engine/TrivialProof.class build/src/kodkod/kodkod/engine/bool/BinaryGate$1.class build/src/kodkod/kodkod/engine/bool/BinaryGate.class build/src/kodkod/kodkod/engine/bool/BooleanAccumulator$1.class build/src/kodkod/kodkod/engine/bool/BooleanAccumulator.class build/src/kodkod/kodkod/engine/bool/BooleanConstant.class build/src/kodkod/kodkod/engine/bool/BooleanFactory$1.class build/src/kodkod/kodkod/engine/bool/BooleanFactory$TwosComplementFactory.class build/src/kodkod/kodkod/engine/bool/BooleanFactory.class build/src/kodkod/kodkod/engine/bool/BooleanFormula.class build/src/kodkod/kodkod/engine/bool/BooleanMatrix.class build/src/kodkod/kodkod/engine/bool/BooleanValue.class build/src/kodkod/kodkod/engine/bool/BooleanVariable.class build/src/kodkod/kodkod/engine/bool/BooleanVisitor.class build/src/kodkod/kodkod/engine/bool/CBCFactory$1.class build/src/kodkod/kodkod/engine/bool/CBCFactory$10.class build/src/kodkod/kodkod/engine/bool/CBCFactory$11.class build/src/kodkod/kodkod/engine/bool/CBCFactory$2.class build/src/kodkod/kodkod/engine/bool/CBCFactory$3.class build/src/kodkod/kodkod/engine/bool/CBCFactory$4.class build/src/kodkod/kodkod/engine/bool/CBCFactory$5.class build/src/kodkod/kodkod/engine/bool/CBCFactory$6.class build/src/kodkod/kodkod/engine/bool/CBCFactory$7.class build/src/kodkod/kodkod/engine/bool/CBCFactory$8.class build/src/kodkod/kodkod/engine/bool/CBCFactory$9.class build/src/kodkod/kodkod/engine/bool/CBCFactory$Assembler.class build/src/kodkod/kodkod/engine/bool/CBCFactory.class build/src/kodkod/kodkod/engine/bool/Dimensions$1.class build/src/kodkod/kodkod/engine/bool/Dimensions$Rectangle.class build/src/kodkod/kodkod/engine/bool/Dimensions$Square.class build/src/kodkod/kodkod/engine/bool/Dimensions.class build/src/kodkod/kodkod/engine/bool/ITEGate.class build/src/kodkod/kodkod/engine/bool/Int.class build/src/kodkod/kodkod/engine/bool/MultiGate.class build/src/kodkod/kodkod/engine/bool/NaryGate.class build/src/kodkod/kodkod/engine/bool/NotGate$1.class build/src/kodkod/kodkod/engine/bool/NotGate.class build/src/kodkod/kodkod/engine/bool/Operator$1.class build/src/kodkod/kodkod/engine/bool/Operator$2.class build/src/kodkod/kodkod/engine/bool/Operator$3.class build/src/kodkod/kodkod/engine/bool/Operator$4.class build/src/kodkod/kodkod/engine/bool/Operator$5.class build/src/kodkod/kodkod/engine/bool/Operator$6.class build/src/kodkod/kodkod/engine/bool/Operator$Nary.class build/src/kodkod/kodkod/engine/bool/Operator$Ternary.class build/src/kodkod/kodkod/engine/bool/Operator.class build/src/kodkod/kodkod/engine/bool/RBCFactory.class build/src/kodkod/kodkod/engine/bool/TwosComplementInt$1.class build/src/kodkod/kodkod/engine/bool/TwosComplementInt.class build/src/kodkod/kodkod/engine/config/AbstractReporter.class build/src/kodkod/kodkod/engine/config/ConsoleReporter.class build/src/kodkod/kodkod/engine/config/Options$1.class build/src/kodkod/kodkod/engine/config/Options$IntEncoding$1.class build/src/kodkod/kodkod/engine/config/Options$IntEncoding.class build/src/kodkod/kodkod/engine/config/Options.class build/src/kodkod/kodkod/engine/config/Reporter.class build/src/kodkod/kodkod/engine/fol2sat/Bool2CNFTranslator$PolarityDetector.class build/src/kodkod/kodkod/engine/fol2sat/Bool2CNFTranslator.class build/src/kodkod/kodkod/engine/fol2sat/BooleanFormulaFlattener$1.class build/src/kodkod/kodkod/engine/fol2sat/BooleanFormulaFlattener$FlatteningDataGatherer.class build/src/kodkod/kodkod/engine/fol2sat/BooleanFormulaFlattener.class build/src/kodkod/kodkod/engine/fol2sat/CompactBool2CNFTranslator$PolarityDetector.class build/src/kodkod/kodkod/engine/fol2sat/CompactBool2CNFTranslator.class build/src/kodkod/kodkod/engine/fol2sat/Environment.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolCache$1.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolCache$CacheCollector.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolCache$MultiVarRecord.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolCache$NoVarRecord.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolCache$Record.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolCache.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolTranslator$1.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolTranslator$2.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolTranslator$3.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolTranslator$4.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolTranslator.class build/src/kodkod/kodkod/engine/fol2sat/FileLogger$1.class build/src/kodkod/kodkod/engine/fol2sat/FileLogger$FileLog$1.class build/src/kodkod/kodkod/engine/fol2sat/FileLogger$FileLog.class build/src/kodkod/kodkod/engine/fol2sat/FileLogger$MutableRecord.class build/src/kodkod/kodkod/engine/fol2sat/FileLogger.class build/src/kodkod/kodkod/engine/fol2sat/FormulaFlattener.class build/src/kodkod/kodkod/engine/fol2sat/FreeVariableCollector.class build/src/kodkod/kodkod/engine/fol2sat/HigherOrderDeclException.class build/src/kodkod/kodkod/engine/fol2sat/LeafInterpreter.class build/src/kodkod/kodkod/engine/fol2sat/MemoryLogger$MemoryLog$1$1.class build/src/kodkod/kodkod/engine/fol2sat/MemoryLogger$MemoryLog$1.class build/src/kodkod/kodkod/engine/fol2sat/MemoryLogger$MemoryLog.class build/src/kodkod/kodkod/engine/fol2sat/MemoryLogger.class build/src/kodkod/kodkod/engine/fol2sat/RecordFilter$1.class build/src/kodkod/kodkod/engine/fol2sat/RecordFilter.class build/src/kodkod/kodkod/engine/fol2sat/Skolemizer$1.class build/src/kodkod/kodkod/engine/fol2sat/Skolemizer$2.class build/src/kodkod/kodkod/engine/fol2sat/Skolemizer$3.class build/src/kodkod/kodkod/engine/fol2sat/Skolemizer$4.class build/src/kodkod/kodkod/engine/fol2sat/Skolemizer$DeclInfo.class build/src/kodkod/kodkod/engine/fol2sat/Skolemizer.class build/src/kodkod/kodkod/engine/fol2sat/SymmetryBreaker$1.class build/src/kodkod/kodkod/engine/fol2sat/SymmetryBreaker$2.class build/src/kodkod/kodkod/engine/fol2sat/SymmetryBreaker$RelationParts.class build/src/kodkod/kodkod/engine/fol2sat/SymmetryBreaker.class build/src/kodkod/kodkod/engine/fol2sat/SymmetryDetector$1.class build/src/kodkod/kodkod/engine/fol2sat/SymmetryDetector.class build/src/kodkod/kodkod/engine/fol2sat/Translation.class build/src/kodkod/kodkod/engine/fol2sat/TranslationLog.class build/src/kodkod/kodkod/engine/fol2sat/TranslationLogger.class build/src/kodkod/kodkod/engine/fol2sat/TranslationRecord.class build/src/kodkod/kodkod/engine/fol2sat/Translator$1.class build/src/kodkod/kodkod/engine/fol2sat/Translator$2.class build/src/kodkod/kodkod/engine/fol2sat/Translator.class build/src/kodkod/kodkod/engine/fol2sat/TrivialFormulaException.class build/src/kodkod/kodkod/engine/fol2sat/UnboundLeafException.class build/src/kodkod/kodkod/engine/satlab/Clause.class build/src/kodkod/kodkod/engine/satlab/CryptoMiniSat.class build/src/kodkod/kodkod/engine/satlab/ExternalSolver$1.class build/src/kodkod/kodkod/engine/satlab/ExternalSolver.class build/src/kodkod/kodkod/engine/satlab/LazyTrace$1.class build/src/kodkod/kodkod/engine/satlab/LazyTrace$2.class build/src/kodkod/kodkod/engine/satlab/LazyTrace$ClauseIterator.class build/src/kodkod/kodkod/engine/satlab/LazyTrace$ClauseView.class build/src/kodkod/kodkod/engine/satlab/LazyTrace$IntArrayIterator.class build/src/kodkod/kodkod/engine/satlab/LazyTrace.class build/src/kodkod/kodkod/engine/satlab/Lingeling.class build/src/kodkod/kodkod/engine/satlab/MiniSat.class build/src/kodkod/kodkod/engine/satlab/MiniSatProver.class build/src/kodkod/kodkod/engine/satlab/NativeSolver.class build/src/kodkod/kodkod/engine/satlab/ReductionStrategy.class build/src/kodkod/kodkod/engine/satlab/ResolutionTrace.class build/src/kodkod/kodkod/engine/satlab/SAT4J$1.class build/src/kodkod/kodkod/engine/satlab/SAT4J$ReadOnlyIVecInt$1.class build/src/kodkod/kodkod/engine/satlab/SAT4J$ReadOnlyIVecInt.class build/src/kodkod/kodkod/engine/satlab/SAT4J.class build/src/kodkod/kodkod/engine/satlab/SATAbortedException.class build/src/kodkod/kodkod/engine/satlab/SATFactory$1.class build/src/kodkod/kodkod/engine/satlab/SATFactory$2.class build/src/kodkod/kodkod/engine/satlab/SATFactory$3.class build/src/kodkod/kodkod/engine/satlab/SATFactory$4.class build/src/kodkod/kodkod/engine/satlab/SATFactory$5.class build/src/kodkod/kodkod/engine/satlab/SATFactory$6.class build/src/kodkod/kodkod/engine/satlab/SATFactory$7.class build/src/kodkod/kodkod/engine/satlab/SATFactory$8.class build/src/kodkod/kodkod/engine/satlab/SATFactory$9.class build/src/kodkod/kodkod/engine/satlab/SATFactory.class build/src/kodkod/kodkod/engine/satlab/SATMinSolver.class build/src/kodkod/kodkod/engine/satlab/SATProver.class build/src/kodkod/kodkod/engine/satlab/SATSolver.class build/src/kodkod/kodkod/engine/satlab/ZChaffMincost.class build/src/kodkod/kodkod/engine/ucore/AdaptiveRCEStrategy.class build/src/kodkod/kodkod/engine/ucore/CRRStrategy.class build/src/kodkod/kodkod/engine/ucore/DynamicRCEStrategy.class build/src/kodkod/kodkod/engine/ucore/ECFPStrategy.class build/src/kodkod/kodkod/engine/ucore/HybridStrategy.class build/src/kodkod/kodkod/engine/ucore/NCEStrategy.class build/src/kodkod/kodkod/engine/ucore/RCEStrategy.class build/src/kodkod/kodkod/engine/ucore/SCEStrategy.class build/src/kodkod/kodkod/engine/ucore/StrategyUtils$1.class build/src/kodkod/kodkod/engine/ucore/StrategyUtils$2.class build/src/kodkod/kodkod/engine/ucore/StrategyUtils.class build/src/kodkod/kodkod/instance/Bounds.class build/src/kodkod/kodkod/instance/Instance.class build/src/kodkod/kodkod/instance/Tuple.class build/src/kodkod/kodkod/instance/TupleFactory$IntTuple.class build/src/kodkod/kodkod/instance/TupleFactory.class build/src/kodkod/kodkod/instance/TupleSet$1.class build/src/kodkod/kodkod/instance/TupleSet.class build/src/kodkod/kodkod/instance/Universe.class build/src/kodkod/kodkod/util/collections/ArrayStack$1.class build/src/kodkod/kodkod/util/collections/ArrayStack.class build/src/kodkod/kodkod/util/collections/CacheSet$1.class build/src/kodkod/kodkod/util/collections/CacheSet$Entry.class build/src/kodkod/kodkod/util/collections/CacheSet$SetIterator.class build/src/kodkod/kodkod/util/collections/CacheSet.class build/src/kodkod/kodkod/util/collections/Containers$1.class build/src/kodkod/kodkod/util/collections/Containers$2.class build/src/kodkod/kodkod/util/collections/Containers$3.class build/src/kodkod/kodkod/util/collections/Containers$4.class build/src/kodkod/kodkod/util/collections/Containers$ArrayIterator.class build/src/kodkod/kodkod/util/collections/Containers$AscendingArrayIterator.class build/src/kodkod/kodkod/util/collections/Containers$DescendingArrayIterator.class build/src/kodkod/kodkod/util/collections/Containers.class build/src/kodkod/kodkod/util/collections/FixedMap$1.class build/src/kodkod/kodkod/util/collections/FixedMap$Entry.class build/src/kodkod/kodkod/util/collections/FixedMap$EntryIterator.class build/src/kodkod/kodkod/util/collections/FixedMap.class build/src/kodkod/kodkod/util/collections/IdentityHashSet$1.class build/src/kodkod/kodkod/util/collections/IdentityHashSet$IdentityIterator.class build/src/kodkod/kodkod/util/collections/IdentityHashSet.class build/src/kodkod/kodkod/util/collections/Indexer.class build/src/kodkod/kodkod/util/collections/LinkedStack$1.class build/src/kodkod/kodkod/util/collections/LinkedStack$StackEntry.class build/src/kodkod/kodkod/util/collections/LinkedStack.class build/src/kodkod/kodkod/util/collections/SingletonIdentitySet.class build/src/kodkod/kodkod/util/collections/Stack.class build/src/kodkod/kodkod/util/ints/AbstractIntCollection.class build/src/kodkod/kodkod/util/ints/AbstractIntSet.class build/src/kodkod/kodkod/util/ints/AbstractIntVector$AscendingIntVectorIterator.class build/src/kodkod/kodkod/util/ints/AbstractIntVector$DescendingIntVectorIterator.class build/src/kodkod/kodkod/util/ints/AbstractIntVector$IntVectorIterator.class build/src/kodkod/kodkod/util/ints/AbstractIntVector.class build/src/kodkod/kodkod/util/ints/AbstractSparseSequence$1$1.class build/src/kodkod/kodkod/util/ints/AbstractSparseSequence$1.class build/src/kodkod/kodkod/util/ints/AbstractSparseSequence$2$1.class build/src/kodkod/kodkod/util/ints/AbstractSparseSequence$2.class build/src/kodkod/kodkod/util/ints/AbstractSparseSequence.class build/src/kodkod/kodkod/util/ints/ArrayIntSet$AscendingIntArrayIterator.class build/src/kodkod/kodkod/util/ints/ArrayIntSet$DescendingIntArrayIterator.class build/src/kodkod/kodkod/util/ints/ArrayIntSet.class build/src/kodkod/kodkod/util/ints/ArrayIntVector.class build/src/kodkod/kodkod/util/ints/ArraySequence$AscendingIterator.class build/src/kodkod/kodkod/util/ints/ArraySequence$DescendingIterator.class build/src/kodkod/kodkod/util/ints/ArraySequence.class build/src/kodkod/kodkod/util/ints/EntryView.class build/src/kodkod/kodkod/util/ints/HomogenousSequence$HomogenousIterator.class build/src/kodkod/kodkod/util/ints/HomogenousSequence.class build/src/kodkod/kodkod/util/ints/IndexedEntry.class build/src/kodkod/kodkod/util/ints/IntBitSet$1.class build/src/kodkod/kodkod/util/ints/IntBitSet$AbstractIterator.class build/src/kodkod/kodkod/util/ints/IntBitSet$AscendingIterator.class build/src/kodkod/kodkod/util/ints/IntBitSet$DescendingIterator.class build/src/kodkod/kodkod/util/ints/IntBitSet.class build/src/kodkod/kodkod/util/ints/IntCollection.class build/src/kodkod/kodkod/util/ints/IntIterator.class build/src/kodkod/kodkod/util/ints/IntRange$1.class build/src/kodkod/kodkod/util/ints/IntRange$OnePointRange.class build/src/kodkod/kodkod/util/ints/IntRange$TwoPointRange.class build/src/kodkod/kodkod/util/ints/IntRange.class build/src/kodkod/kodkod/util/ints/IntSet.class build/src/kodkod/kodkod/util/ints/IntTree$Node.class build/src/kodkod/kodkod/util/ints/IntTree.class build/src/kodkod/kodkod/util/ints/IntTreeSet$AscendingIterator.class build/src/kodkod/kodkod/util/ints/IntTreeSet$DescendingIterator.class build/src/kodkod/kodkod/util/ints/IntTreeSet$Range.class build/src/kodkod/kodkod/util/ints/IntTreeSet.class build/src/kodkod/kodkod/util/ints/IntVector.class build/src/kodkod/kodkod/util/ints/Ints$1$1.class build/src/kodkod/kodkod/util/ints/Ints$1.class build/src/kodkod/kodkod/util/ints/Ints$2.class build/src/kodkod/kodkod/util/ints/Ints$3.class build/src/kodkod/kodkod/util/ints/Ints$RangeIntSet$1.class build/src/kodkod/kodkod/util/ints/Ints$RangeIntSet.class build/src/kodkod/kodkod/util/ints/Ints$SingletonIntSet$1.class build/src/kodkod/kodkod/util/ints/Ints$SingletonIntSet.class build/src/kodkod/kodkod/util/ints/Ints$UnmodifiableIntSet$1.class build/src/kodkod/kodkod/util/ints/Ints$UnmodifiableIntSet.class build/src/kodkod/kodkod/util/ints/Ints$UnmodifiableSparseSequence$1.class build/src/kodkod/kodkod/util/ints/Ints$UnmodifiableSparseSequence.class build/src/kodkod/kodkod/util/ints/Ints.class build/src/kodkod/kodkod/util/ints/RangeSequence$AscendingIterator.class build/src/kodkod/kodkod/util/ints/RangeSequence$DescendingIterator.class build/src/kodkod/kodkod/util/ints/RangeSequence$Entry.class build/src/kodkod/kodkod/util/ints/RangeSequence$EntryIterator.class build/src/kodkod/kodkod/util/ints/RangeSequence$Point.class build/src/kodkod/kodkod/util/ints/RangeSequence$Range.class build/src/kodkod/kodkod/util/ints/RangeSequence.class build/src/kodkod/kodkod/util/ints/SparseSequence.class build/src/kodkod/kodkod/util/ints/TreeSequence$AscendingIterator.class build/src/kodkod/kodkod/util/ints/TreeSequence$DescendingIterator.class build/src/kodkod/kodkod/util/ints/TreeSequence$Entry.class build/src/kodkod/kodkod/util/ints/TreeSequence$EntryIterator.class build/src/kodkod/kodkod/util/ints/TreeSequence.class build/src/kodkod/kodkod/util/nodes/AnnotatedNode$1.class build/src/kodkod/kodkod/util/nodes/AnnotatedNode$2.class build/src/kodkod/kodkod/util/nodes/AnnotatedNode$3.class build/src/kodkod/kodkod/util/nodes/AnnotatedNode$FreeVariableDetector.class build/src/kodkod/kodkod/util/nodes/AnnotatedNode$PredicateCollector.class build/src/kodkod/kodkod/util/nodes/AnnotatedNode$SharingDetector.class build/src/kodkod/kodkod/util/nodes/AnnotatedNode.class build/src/kodkod/kodkod/util/nodes/Nodes$1.class build/src/kodkod/kodkod/util/nodes/Nodes$2.class build/src/kodkod/kodkod/util/nodes/Nodes$3.class build/src/kodkod/kodkod/util/nodes/Nodes.class build/src/kodkod/kodkod/util/nodes/PrettyPrinter$1.class build/src/kodkod/kodkod/util/nodes/PrettyPrinter$Dotifier.class build/src/kodkod/kodkod/util/nodes/PrettyPrinter$Formatter.class build/src/kodkod/kodkod/util/nodes/PrettyPrinter.class -> build/src/kodkod.jar 03:46:13 runner ['/opt/icedtea-bin-3.1.0/bin/jar', 'cfm', 'src/kodkod.jar', '/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/MANIFEST', '-C', 'src/kodkod', '.'] Waf: Leaving directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build' 'build' finished successfully (7.882s) Waf: Entering directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost' [1/6] cxx: lib/zchaff-mincost/core/zchaff_base.cpp -> build/zchaff-mincost/lib/zchaff-mincost/core/zchaff_base.cpp.1.o 03:46:14 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DHAVE_JNI_H=1', '-DHAVE_MALLOC_H=1', '-DHAVE_LIMITS_H=1', '../../lib/zchaff-mincost/core/zchaff_base.cpp', '-c', '-o', 'lib/zchaff-mincost/core/zchaff_base.cpp.1.o'] [2/6] cxx: lib/zchaff-mincost/core/zchaff_dbase.cpp -> build/zchaff-mincost/lib/zchaff-mincost/core/zchaff_dbase.cpp.1.o 03:46:14 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DHAVE_JNI_H=1', '-DHAVE_MALLOC_H=1', '-DHAVE_LIMITS_H=1', '../../lib/zchaff-mincost/core/zchaff_dbase.cpp', '-c', '-o', 'lib/zchaff-mincost/core/zchaff_dbase.cpp.1.o'] ../../lib/zchaff-mincost/core/zchaff_dbase.cpp: In member function ‘int MDatabase::alloc_gid()’: ../../lib/zchaff-mincost/core/zchaff_dbase.cpp:117:39: warning: deprecated conversion from string constant to ‘char*’ [-Wwrite-strings] warning(_POSITION_, "Not enough GID"); ^ ../../lib/zchaff-mincost/core/zchaff_dbase.cpp:117:39: warning: deprecated conversion from string constant to ‘char*’ [-Wwrite-strings] ../../lib/zchaff-mincost/core/zchaff_dbase.cpp: In member function ‘void MDatabase::free_gid(int)’: ../../lib/zchaff-mincost/core/zchaff_dbase.cpp:125:51: warning: deprecated conversion from string constant to ‘char*’ [-Wwrite-strings] fatal(_POSITION_, "Can't free unallocated GID"); ^ ../../lib/zchaff-mincost/core/zchaff_dbase.cpp:125:51: warning: deprecated conversion from string constant to ‘char*’ [-Wwrite-strings] [3/6] cxx: lib/zchaff-mincost/core/zchaff_solver.cpp -> build/zchaff-mincost/lib/zchaff-mincost/core/zchaff_solver.cpp.1.o 03:46:15 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DHAVE_JNI_H=1', '-DHAVE_MALLOC_H=1', '-DHAVE_LIMITS_H=1', '../../lib/zchaff-mincost/core/zchaff_solver.cpp', '-c', '-o', 'lib/zchaff-mincost/core/zchaff_solver.cpp.1.o'] In file included from ../../lib/zchaff-mincost/core/zchaff_solver.h:39:0, from ../../lib/zchaff-mincost/core/zchaff_solver.cpp:49: ../../lib/zchaff-mincost/core/zchaff_solver.h: In member function ‘char* MSolver::version()’: ../../lib/zchaff-mincost/core/zchaff_version.h:37:28: warning: deprecated conversion from string constant to ‘char*’ [-Wwrite-strings] #define __ZCHAFF_VERSION__ "Chaff 2004.11.15 Simplified" ^ ../../lib/zchaff-mincost/core/zchaff_solver.h:354:14: note: in expansion of macro ‘__ZCHAFF_VERSION__’ return __ZCHAFF_VERSION__; ^ [4/6] cxx: lib/zchaff-mincost/core/zchaff_utils.cpp -> build/zchaff-mincost/lib/zchaff-mincost/core/zchaff_utils.cpp.1.o 03:46:19 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DHAVE_JNI_H=1', '-DHAVE_MALLOC_H=1', '-DHAVE_LIMITS_H=1', '../../lib/zchaff-mincost/core/zchaff_utils.cpp', '-c', '-o', 'lib/zchaff-mincost/core/zchaff_utils.cpp.1.o'] [5/6] cxx: lib/zchaff-mincost/jni/kodkod_engine_satlab_ZChaffMincost.cpp -> build/zchaff-mincost/lib/zchaff-mincost/jni/kodkod_engine_satlab_ZChaffMincost.cpp.2.o 03:46:19 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/opt/icedtea-bin-3.1.0/include', '-I/opt/icedtea-bin-3.1.0/include/linux', '-DHAVE_JNI_H=1', '-DHAVE_MALLOC_H=1', '-DHAVE_LIMITS_H=1', '../../lib/zchaff-mincost/jni/kodkod_engine_satlab_ZChaffMincost.cpp', '-c', '-o', 'lib/zchaff-mincost/jni/kodkod_engine_satlab_ZChaffMincost.cpp.2.o'] In file included from /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/zchaff-mincost/core/zchaff_solver.h:39:0, from ../../lib/zchaff-mincost/jni/kodkod_engine_satlab_ZChaffMincost.cpp:17: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/zchaff-mincost/core/zchaff_solver.h: In member function ‘char* MSolver::version()’: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/zchaff-mincost/core/zchaff_version.h:37:28: warning: deprecated conversion from string constant to ‘char*’ [-Wwrite-strings] #define __ZCHAFF_VERSION__ "Chaff 2004.11.15 Simplified" ^ /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/zchaff-mincost/core/zchaff_solver.h:354:14: note: in expansion of macro ‘__ZCHAFF_VERSION__’ return __ZCHAFF_VERSION__; ^ [6/6] cxxshlib: build/zchaff-mincost/lib/zchaff-mincost/jni/kodkod_engine_satlab_ZChaffMincost.cpp.2.o build/zchaff-mincost/lib/zchaff-mincost/core/zchaff_base.cpp.1.o build/zchaff-mincost/lib/zchaff-mincost/core/zchaff_dbase.cpp.1.o build/zchaff-mincost/lib/zchaff-mincost/core/zchaff_solver.cpp.1.o build/zchaff-mincost/lib/zchaff-mincost/core/zchaff_utils.cpp.1.o -> build/zchaff-mincost/lib/zchaff-mincost/libzchaffmincost.so 03:46:20 runner ['x86_64-pc-linux-gnu-g++', '-Wl,-O1', '-Wl,--as-needed', '-Wl,-O1', '-Wl,--as-needed', '-shared', 'lib/zchaff-mincost/jni/kodkod_engine_satlab_ZChaffMincost.cpp.2.o', 'lib/zchaff-mincost/core/zchaff_base.cpp.1.o', 'lib/zchaff-mincost/core/zchaff_dbase.cpp.1.o', 'lib/zchaff-mincost/core/zchaff_solver.cpp.1.o', 'lib/zchaff-mincost/core/zchaff_utils.cpp.1.o', '-o', '/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib/zchaff-mincost/libzchaffmincost.so', '-Wl,-Bstatic', '-Wl,-Bdynamic', '-L/opt/icedtea-bin-3.1.0/jre/lib/amd64/server', '-ljvm'] Waf: Leaving directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost' 'build_zchaff-mincost' finished successfully (6.140s) Waf: Entering directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14' [1/5] cxx: lib/minisat-p_v1.14/core/File.C -> build/minisat-p_v1.14/lib/minisat-p_v1.14/core/File.C.1.o 03:46:20 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14/lib/minisat-p_v1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-p_v1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DHAVE_JNI_H=1', '../../lib/minisat-p_v1.14/core/File.C', '-c', '-o', 'lib/minisat-p_v1.14/core/File.C.1.o'] In file included from ../../lib/minisat-p_v1.14/core/File.C:1:0: ../../lib/minisat-p_v1.14/core/File.h: In member function ‘void File::flush()’: ../../lib/minisat-p_v1.14/core/File.h:119:28: warning: ignoring return value of ‘ssize_t write(int, const void*, size_t)’, declared with attribute warn_unused_result [-Wunused-result] write(fd, buf, pos); ^ ../../lib/minisat-p_v1.14/core/File.h: In member function ‘int File::putCharQ(int)’: ../../lib/minisat-p_v1.14/core/File.h:97:20: warning: ignoring return value of ‘ssize_t write(int, const void*, size_t)’, declared with attribute warn_unused_result [-Wunused-result] pos = 0; ^ [2/5] cxx: lib/minisat-p_v1.14/core/Proof.C -> build/minisat-p_v1.14/lib/minisat-p_v1.14/core/Proof.C.1.o 03:46:20 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14/lib/minisat-p_v1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-p_v1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DHAVE_JNI_H=1', '../../lib/minisat-p_v1.14/core/Proof.C', '-c', '-o', 'lib/minisat-p_v1.14/core/Proof.C.1.o'] In file included from ../../lib/minisat-p_v1.14/core/Proof.h:23:0, from ../../lib/minisat-p_v1.14/core/Proof.C:20: ../../lib/minisat-p_v1.14/core/SolverTypes.h: In member function ‘float& Clause::activity() const’: ../../lib/minisat-p_v1.14/core/SolverTypes.h:102:73: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity () const { return *((float*)&data[size()]); } ^ In file included from ../../lib/minisat-p_v1.14/core/Proof.h:24:0, from ../../lib/minisat-p_v1.14/core/Proof.C:20: ../../lib/minisat-p_v1.14/core/File.h: In member function ‘int File::putCharQ(int)’: ../../lib/minisat-p_v1.14/core/File.h:97:20: warning: ignoring return value of ‘ssize_t write(int, const void*, size_t)’, declared with attribute warn_unused_result [-Wunused-result] pos = 0; ^ ../../lib/minisat-p_v1.14/core/File.h: In member function ‘void File::flush()’: ../../lib/minisat-p_v1.14/core/File.h:119:28: warning: ignoring return value of ‘ssize_t write(int, const void*, size_t)’, declared with attribute warn_unused_result [-Wunused-result] write(fd, buf, pos); ^ [3/5] cxx: lib/minisat-p_v1.14/core/Solver.C -> build/minisat-p_v1.14/lib/minisat-p_v1.14/core/Solver.C.1.o 03:46:21 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14/lib/minisat-p_v1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-p_v1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DHAVE_JNI_H=1', '../../lib/minisat-p_v1.14/core/Solver.C', '-c', '-o', 'lib/minisat-p_v1.14/core/Solver.C.1.o'] In file included from ../../lib/minisat-p_v1.14/core/Solver.h:23:0, from ../../lib/minisat-p_v1.14/core/Solver.C:20: ../../lib/minisat-p_v1.14/core/SolverTypes.h: In member function ‘float& Clause::activity() const’: ../../lib/minisat-p_v1.14/core/SolverTypes.h:102:73: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity () const { return *((float*)&data[size()]); } ^ [4/5] cxx: lib/minisat-p_v1.14/jni/kodkod_engine_satlab_MiniSatProver.cpp -> build/minisat-p_v1.14/lib/minisat-p_v1.14/jni/kodkod_engine_satlab_MiniSatProver.cpp.2.o 03:46:22 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14/lib/minisat-p_v1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-p_v1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/opt/icedtea-bin-3.1.0/include', '-I/opt/icedtea-bin-3.1.0/include/linux', '-DHAVE_JNI_H=1', '../../lib/minisat-p_v1.14/jni/kodkod_engine_satlab_MiniSatProver.cpp', '-c', '-o', 'lib/minisat-p_v1.14/jni/kodkod_engine_satlab_MiniSatProver.cpp.2.o'] In file included from /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-p_v1.14/core/Solver.h:23:0, from ../../lib/minisat-p_v1.14/jni/kodkod_engine_satlab_MiniSatProver.cpp:18: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-p_v1.14/core/SolverTypes.h: In member function ‘float& Clause::activity() const’: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-p_v1.14/core/SolverTypes.h:102:73: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity () const { return *((float*)&data[size()]); } ^ [5/5] cxxshlib: build/minisat-p_v1.14/lib/minisat-p_v1.14/jni/kodkod_engine_satlab_MiniSatProver.cpp.2.o build/minisat-p_v1.14/lib/minisat-p_v1.14/core/File.C.1.o build/minisat-p_v1.14/lib/minisat-p_v1.14/core/Proof.C.1.o build/minisat-p_v1.14/lib/minisat-p_v1.14/core/Solver.C.1.o -> build/minisat-p_v1.14/lib/minisat-p_v1.14/libminisatprover.so 03:46:22 runner ['x86_64-pc-linux-gnu-g++', '-Wl,-O1', '-Wl,--as-needed', '-Wl,-O1', '-Wl,--as-needed', '-shared', 'lib/minisat-p_v1.14/jni/kodkod_engine_satlab_MiniSatProver.cpp.2.o', 'lib/minisat-p_v1.14/core/File.C.1.o', 'lib/minisat-p_v1.14/core/Proof.C.1.o', 'lib/minisat-p_v1.14/core/Solver.C.1.o', '-o', '/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14/lib/minisat-p_v1.14/libminisatprover.so', '-Wl,-Bstatic', '-Wl,-Bdynamic', '-L/opt/icedtea-bin-3.1.0/jre/lib/amd64/server', '-ljvm'] lib/minisat-p_v1.14/core/Proof.C.1.o: In function `Proof::Proof()': Proof.C:(.text+0x75): warning: the use of `tempnam' is dangerous, better use `mkstemp' Waf: Leaving directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14' 'build_minisat-p_v1.14' finished successfully (2.349s) Waf: Entering directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-1.14' [1/3] cxx: lib/minisat-1.14/core/Solver.C -> build/minisat-1.14/lib/minisat-1.14/core/Solver.C.1.o 03:46:22 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-1.14/lib/minisat-1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-1.14/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DHAVE_JNI_H=1', '../../lib/minisat-1.14/core/Solver.C', '-c', '-o', 'lib/minisat-1.14/core/Solver.C.1.o'] In file included from ../../lib/minisat-1.14/core/Solver.h:23:0, from ../../lib/minisat-1.14/core/Solver.C:20: ../../lib/minisat-1.14/core/SolverTypes.h: In member function ‘float& Clause::activity() const’: ../../lib/minisat-1.14/core/SolverTypes.h:96:73: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity () const { return *((float*)&data[size()]); } ^ [2/3] cxx: lib/minisat-1.14/jni/kodkod_engine_satlab_MiniSat.cpp -> build/minisat-1.14/lib/minisat-1.14/jni/kodkod_engine_satlab_MiniSat.cpp.2.o 03:46:23 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-1.14/lib/minisat-1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-1.14/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/opt/icedtea-bin-3.1.0/include', '-I/opt/icedtea-bin-3.1.0/include/linux', '-DHAVE_JNI_H=1', '../../lib/minisat-1.14/jni/kodkod_engine_satlab_MiniSat.cpp', '-c', '-o', 'lib/minisat-1.14/jni/kodkod_engine_satlab_MiniSat.cpp.2.o'] In file included from /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-1.14/core/Solver.h:23:0, from ../../lib/minisat-1.14/jni/kodkod_engine_satlab_MiniSat.cpp:17: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-1.14/core/SolverTypes.h: In member function ‘float& Clause::activity() const’: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-1.14/core/SolverTypes.h:96:73: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity () const { return *((float*)&data[size()]); } ^ [3/3] cxxshlib: build/minisat-1.14/lib/minisat-1.14/jni/kodkod_engine_satlab_MiniSat.cpp.2.o build/minisat-1.14/lib/minisat-1.14/core/Solver.C.1.o -> build/minisat-1.14/lib/minisat-1.14/libminisat1.14.so 03:46:24 runner ['x86_64-pc-linux-gnu-g++', '-Wl,-O1', '-Wl,--as-needed', '-Wl,-O1', '-Wl,--as-needed', '-shared', 'lib/minisat-1.14/jni/kodkod_engine_satlab_MiniSat.cpp.2.o', 'lib/minisat-1.14/core/Solver.C.1.o', '-o', '/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-1.14/lib/minisat-1.14/libminisat1.14.so', '-Wl,-Bstatic', '-Wl,-Bdynamic', '-L/opt/icedtea-bin-3.1.0/jre/lib/amd64/server', '-ljvm'] Waf: Leaving directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-1.14' 'build_minisat-1.14' finished successfully (1.482s) Waf: Entering directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0' [1/5] cxx: lib/minisat-2.2.0/utils/Options.cc -> build/minisat-2.2.0/lib/minisat-2.2.0/utils/Options.cc.1.o 03:46:24 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0/lib/minisat-2.2.0', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '../../lib/minisat-2.2.0/utils/Options.cc', '-c', '-o', 'lib/minisat-2.2.0/utils/Options.cc.1.o'] In file included from ../../lib/minisat-2.2.0/utils/Options.cc:21:0: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h: In member function ‘bool Minisat::Option::OptionLt::operator()(const Minisat::Option*, const Minisat::Option*)’: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:63:44: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0; ^ ../../lib/minisat-2.2.0/utils/Options.cc: In function ‘void Minisat::parseOptions(int&, char**, bool)’: ../../lib/minisat-2.2.0/utils/Options.cc:45:16: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wparentheses] if (!parsed_ok) ^ In file included from /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Sort.h:24:0, from ../../lib/minisat-2.2.0/utils/Options.cc:20: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of ‘void Minisat::vec::capacity(int) [with T = Minisat::Option*]’: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:65: required from ‘void Minisat::vec::push(const T&) [with T = Minisat::Option*]’ /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:76:34: required from here /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:29: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ^ [2/5] cxx: lib/minisat-2.2.0/utils/System.cc -> build/minisat-2.2.0/lib/minisat-2.2.0/utils/System.cc.1.o 03:46:24 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0/lib/minisat-2.2.0', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '../../lib/minisat-2.2.0/utils/System.cc', '-c', '-o', 'lib/minisat-2.2.0/utils/System.cc.1.o'] [3/5] cxx: lib/minisat-2.2.0/core/Solver.cc -> build/minisat-2.2.0/lib/minisat-2.2.0/core/Solver.cc.2.o 03:46:24 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0/lib/minisat-2.2.0', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '../../lib/minisat-2.2.0/core/Solver.cc', '-c', '-o', 'lib/minisat-2.2.0/core/Solver.cc.2.o'] In file included from /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/core/Solver.h:27:0, from ../../lib/minisat-2.2.0/core/Solver.cc:24: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h: In member function ‘bool Minisat::Option::OptionLt::operator()(const Minisat::Option*, const Minisat::Option*)’: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:63:44: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0; ^ ../../lib/minisat-2.2.0/core/Solver.cc: In member function ‘void Minisat::Solver::cancelUntil(int)’: ../../lib/minisat-2.2.0/core/Solver.cc:212:57: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] if (phase_saving > 1 || (phase_saving == 1) && c > trail_lim.last()) ^ ../../lib/minisat-2.2.0/core/Solver.cc: In member function ‘Minisat::lbool Minisat::Solver::search(int)’: ../../lib/minisat-2.2.0/core/Solver.cc:660:36: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] if (nof_conflicts >= 0 && conflictC >= nof_conflicts || !withinBudget()){ ^ In file included from /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Sort.h:24:0, from ../../lib/minisat-2.2.0/core/Solver.cc:23: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of ‘void Minisat::vec::capacity(int) [with T = Minisat::Lit]’: ../../lib/minisat-2.2.0/core/Solver.cc:126:27: required from here /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:29: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ^ /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of ‘void Minisat::vec::capacity(int) [with T = Minisat::Option*]’: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:65: required from ‘void Minisat::vec::push(const T&) [with T = Minisat::Option*]’ /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:76:34: required from here /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:29: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of ‘void Minisat::vec::capacity(int) [with T = int]’: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:65: required from ‘void Minisat::vec::push(const T&) [with T = int]’ /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/core/Solver.h:317:94: required from here /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:29: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of ‘void Minisat::vec::capacity(int) [with T = Minisat::lbool]’: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:65: required from ‘void Minisat::vec::push(const T&) [with T = Minisat::lbool]’ ../../lib/minisat-2.2.0/core/Solver.cc:119:27: required from here /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:29: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of ‘void Minisat::vec::capacity(int) [with T = Minisat::Solver::VarData]’: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:65: required from ‘void Minisat::vec::push(const T&) [with T = Minisat::Solver::VarData]’ ../../lib/minisat-2.2.0/core/Solver.cc:120:44: required from here /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:29: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of ‘void Minisat::vec::capacity(int) [with T = double]’: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:65: required from ‘void Minisat::vec::push(const T&) [with T = double]’ ../../lib/minisat-2.2.0/core/Solver.cc:122:67: required from here /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:29: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of ‘void Minisat::vec::capacity(int) [with T = char]’: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:65: required from ‘void Minisat::vec::push(const T&) [with T = char]’ ../../lib/minisat-2.2.0/core/Solver.cc:123:21: required from here /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:29: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of ‘void Minisat::vec::capacity(int) [with T = unsigned int]’: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:65: required from ‘void Minisat::vec::push(const T&) [with T = unsigned int]’ ../../lib/minisat-2.2.0/core/Solver.cc:154:24: required from here /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:29: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of ‘void Minisat::vec::capacity(int) [with T = Minisat::Solver::Watcher]’: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:65: required from ‘void Minisat::vec::push(const T&) [with T = Minisat::Solver::Watcher]’ ../../lib/minisat-2.2.0/core/Solver.cc:165:42: required from here /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:29: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of ‘void Minisat::vec::capacity(int) [with T = Minisat::vec]’: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:115:13: required from ‘void Minisat::vec::growTo(int) [with T = Minisat::vec]’ /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/core/SolverTypes.h:266:39: required from ‘void Minisat::OccLists::init(const Idx&) [with Idx = Minisat::Lit; Vec = Minisat::vec; Deleted = Minisat::Solver::WatcherDeleted]’ ../../lib/minisat-2.2.0/core/Solver.cc:117:35: required from here /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:29: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] [4/5] cxx: lib/minisat-2.2.0/jni/kodkod_engine_satlab_MiniSat.cpp -> build/minisat-2.2.0/lib/minisat-2.2.0/jni/kodkod_engine_satlab_MiniSat.cpp.3.o 03:46:26 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0/lib/minisat-2.2.0', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0', '-I/opt/icedtea-bin-3.1.0/include', '-I/opt/icedtea-bin-3.1.0/include/linux', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '../../lib/minisat-2.2.0/jni/kodkod_engine_satlab_MiniSat.cpp', '-c', '-o', 'lib/minisat-2.2.0/jni/kodkod_engine_satlab_MiniSat.cpp.3.o'] In file included from /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/core/Solver.h:27:0, from ../../lib/minisat-2.2.0/jni/kodkod_engine_satlab_MiniSat.cpp:16: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h: In member function ‘bool Minisat::Option::OptionLt::operator()(const Minisat::Option*, const Minisat::Option*)’: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:63:44: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0; ^ In file included from /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/core/Solver.h:24:0, from ../../lib/minisat-2.2.0/jni/kodkod_engine_satlab_MiniSat.cpp:16: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of ‘void Minisat::vec::capacity(int) [with T = Minisat::Option*]’: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:65: required from ‘void Minisat::vec::push(const T&) [with T = Minisat::Option*]’ /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:76:34: required from here /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:29: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ^ /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of ‘void Minisat::vec::capacity(int) [with T = Minisat::Lit]’: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:65: required from ‘void Minisat::vec::push(const T&) [with T = Minisat::Lit]’ /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/core/Solver.h:313:98: required from here /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:29: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of ‘void Minisat::vec::capacity(int) [with T = int]’: /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:65: required from ‘void Minisat::vec::push(const T&) [with T = int]’ /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/core/Solver.h:317:94: required from here /var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:29: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] [5/5] cxxshlib: build/minisat-2.2.0/lib/minisat-2.2.0/jni/kodkod_engine_satlab_MiniSat.cpp.3.o build/minisat-2.2.0/lib/minisat-2.2.0/core/Solver.cc.2.o build/minisat-2.2.0/lib/minisat-2.2.0/utils/Options.cc.1.o build/minisat-2.2.0/lib/minisat-2.2.0/utils/System.cc.1.o -> build/minisat-2.2.0/lib/minisat-2.2.0/libminisat.so 03:46:26 runner ['x86_64-pc-linux-gnu-g++', '-Wl,-O1', '-Wl,--as-needed', '-Wl,-O1', '-Wl,--as-needed', '-shared', 'lib/minisat-2.2.0/jni/kodkod_engine_satlab_MiniSat.cpp.3.o', 'lib/minisat-2.2.0/core/Solver.cc.2.o', 'lib/minisat-2.2.0/utils/Options.cc.1.o', 'lib/minisat-2.2.0/utils/System.cc.1.o', '-o', '/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0/lib/minisat-2.2.0/libminisat.so', '-Wl,-Bstatic', '-Wl,-Bdynamic', '-L/opt/icedtea-bin-3.1.0/jre/lib/amd64/server', '-ljvm'] Waf: Leaving directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0' 'build_minisat-2.2.0' finished successfully (2.800s) Waf: Entering directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276' [1/6] c: lib/lingeling-276/src/lglbnr.c -> build/lingeling-276/lib/lingeling-276/src/lglbnr.c.1.o 03:46:27 runner ['x86_64-pc-linux-gnu-gcc', '-Wall', '-O3', '-fPIC', '-fopenmp', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276/lib/lingeling-276', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/lingeling-276', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DNLGLOG', '-DNLGLSTATS', '-DNDEBUG', '-DNLGLPICOSAT', '../../lib/lingeling-276/src/lglbnr.c', '-c', '-o', 'lib/lingeling-276/src/lglbnr.c.1.o'] [2/6] c: lib/lingeling-276/src/lglib.c -> build/lingeling-276/lib/lingeling-276/src/lglib.c.1.o 03:46:27 runner ['x86_64-pc-linux-gnu-gcc', '-Wall', '-O3', '-fPIC', '-fopenmp', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276/lib/lingeling-276', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/lingeling-276', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DNLGLOG', '-DNLGLSTATS', '-DNDEBUG', '-DNLGLPICOSAT', '../../lib/lingeling-276/src/lglib.c', '-c', '-o', 'lib/lingeling-276/src/lglib.c.1.o'] ../../lib/lingeling-276/src/lglib.c: In function ‘lgldefrag’: ../../lib/lingeling-276/src/lglib.c:3820:46: warning: variable ‘recycled’ set but not used [-Wunused-but-set-variable] int * p, * eow, * q, lit, idx, sign, move, recycled, ld, offset; ^ ../../lib/lingeling-276/src/lglib.c: In function ‘lglemerge’: ../../lib/lingeling-276/src/lglib.c:4850:7: warning: variable ‘tmp’ set but not used [-Wunused-but-set-variable] int tmp; ^ ../../lib/lingeling-276/src/lglib.c: In function ‘lglprobe’: ../../lib/lingeling-276/src/lglib.c:5063:31: warning: variable ‘fixed’ set but not used [-Wunused-but-set-variable] int nprobes, nvars, probed, fixed, connected, changed; ^ ../../lib/lingeling-276/src/lglib.c:5063:16: warning: variable ‘nvars’ set but not used [-Wunused-but-set-variable] int nprobes, nvars, probed, fixed, connected, changed; ^ ../../lib/lingeling-276/src/lglib.c: In function ‘lgladdecl’: ../../lib/lingeling-276/src/lglib.c:5384:36: warning: variable ‘lidx’ set but not used [-Wunused-but-set-variable] int ilit, mlit, umlit, size = 0, lidx, next, prev; ^ ../../lib/lingeling-276/src/lglib.c: In function ‘lglelrmcls’: ../../lib/lingeling-276/src/lglib.c:5583:70: warning: variable ‘size’ set but not used [-Wunused-but-set-variable] int lidx, i, other, ulit, * lits, * csigs, blit, tag, red, other2, size; ^ ../../lib/lingeling-276/src/lglib.c: In function ‘lglelmstr’: ../../lib/lingeling-276/src/lglib.c:5753:69: warning: variable ‘found’ set but not used [-Wunused-but-set-variable] int clidx, count, strengthened, pivot, * c, * p, mlit, ilit, res, found; ^ ../../lib/lingeling-276/src/lglib.c: In function ‘lglelmfrelit’: ../../lib/lingeling-276/src/lglib.c:5891:10: warning: variable ‘ev’ set but not used [-Wunused-but-set-variable] EVar * ev; ^ ../../lib/lingeling-276/src/lglib.c:5890:19: warning: variable ‘e’ set but not used [-Wunused-but-set-variable] int * c, * d, * e, * p, * q, lit, nontrivial, idx, sgn, clen, reslen; ^ ../../lib/lingeling-276/src/lglib.c: In function ‘lglcdcl’: ../../lib/lingeling-276/src/lglib.c:3813:20: warning: ‘glue’ may be used uninitialized in this function [-Wmaybe-uninitialized] if (lidx >= 0) lgladdcls (lgl, REDCS, glue); ^ ../../lib/lingeling-276/src/lglib.c:3784:7: note: ‘glue’ was declared here int glue, lidx, i, lit, skip = 0; ^ [3/6] c: lib/lingeling-276/src/plingeling.c -> build/lingeling-276/lib/lingeling-276/src/plingeling.c.2.o 03:46:31 runner ['x86_64-pc-linux-gnu-gcc', '-Wall', '-O3', '-fPIC', '-fopenmp', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276/lib/lingeling-276', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/lingeling-276', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DNLGLOG', '-DNLGLSTATS', '-DNDEBUG', '-DNLGLPICOSAT', '../../lib/lingeling-276/src/plingeling.c', '-c', '-o', 'lib/lingeling-276/src/plingeling.c.2.o'] [4/6] cprogram: build/lingeling-276/lib/lingeling-276/src/plingeling.c.2.o build/lingeling-276/lib/lingeling-276/src/lglbnr.c.1.o build/lingeling-276/lib/lingeling-276/src/lglib.c.1.o -> build/lingeling-276/lib/lingeling-276/plingeling 03:46:31 runner ['x86_64-pc-linux-gnu-gcc', '-Wl,-O1', '-Wl,--as-needed', '-Wl,-O1', '-Wl,--as-needed', '-fopenmp', 'lib/lingeling-276/src/plingeling.c.2.o', 'lib/lingeling-276/src/lglbnr.c.1.o', 'lib/lingeling-276/src/lglib.c.1.o', '-o', '/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276/lib/lingeling-276/plingeling', '-Wl,-Bstatic', '-Wl,-Bdynamic'] x86_64-pc-linux-gnu-gcc: error: libgomp.spec: No such file or directory Waf: Leaving directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276' Build failed -> task in 'plingeling' failed (exit status 1): {task 3676512838672: cprogram plingeling.c.2.o,lglbnr.c.1.o,lglib.c.1.o -> plingeling} ['x86_64-pc-linux-gnu-gcc', '-Wl,-O1', '-Wl,--as-needed', '-Wl,-O1', '-Wl,--as-needed', '-fopenmp', 'lib/lingeling-276/src/plingeling.c.2.o', 'lib/lingeling-276/src/lglbnr.c.1.o', 'lib/lingeling-276/src/lglib.c.1.o', '-o', '/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276/lib/lingeling-276/plingeling', '-Wl,-Bstatic', '-Wl,-Bdynamic'] * ERROR: sci-mathematics/kodkod-1.5.2::gentoo failed (compile phase): * build failed * * Call stack: * ebuild.sh, line 115: Called src_compile * environment, line 4768: Called waf-utils_src_compile * environment, line 5623: Called die * The specific snippet of code: * "${WAF_BINARY}" ${_mywafconfig} ${jobs} || die "build failed" * * If you need support, post the output of `emerge --info '=sci-mathematics/kodkod-1.5.2::gentoo'`, * the complete build log and the output of `emerge -pqv '=sci-mathematics/kodkod-1.5.2::gentoo'`. !!! When you file a bug report, please include the following information: GENTOO_VM=icedtea-bin-8 CLASSPATH="" JAVA_HOME="/opt/icedtea-bin-3.1.0" JAVACFLAGS="-source 1.6 -target 1.6" COMPILER="" and of course, the output of emerge --info =kodkod-1.5.2 * The complete build log is located at '/var/log/portage/sci-mathematics:kodkod-1.5.2:20160814-014600.log'. * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/kodkod-1.5.2/temp/build.log'. * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/kodkod-1.5.2/temp/environment'. * Working directory: '/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5' * S: '/var/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5'