Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 576358 Details for
Bug 685802
sci-mathematics/kodkod-1.5.2-r1 : /.../SolverTypes.h:50:16: error: friend declaration of Minisat::Lit mkLit(Minisat::Var, bool) specifies default arguments and isn t a definition [-fpermissive]
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
sci-mathematics:kodkod-1.5.2-r1:20190513-040550.log
sci-mathematics:kodkod-1.5.2-r1:20190513-040550.log (text/plain), 85.41 KB, created by
Toralf Förster
on 2019-05-13 08:40:54 UTC
(
hide
)
Description:
sci-mathematics:kodkod-1.5.2-r1:20190513-040550.log
Filename:
MIME Type:
Creator:
Toralf Förster
Created:
2019-05-13 08:40:54 UTC
Size:
85.41 KB
patch
obsolete
> * Package: sci-mathematics/kodkod-1.5.2-r1 > * Repository: gentoo > * Maintainer: gienah@gentoo.org sci-mathematics@gentoo.org > * USE: abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU > * FEATURES: network-sandbox 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-r1/work >>>> Source unpacked in /var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work >>>> Preparing source in /var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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-r1/work/kodkod-1.5 ... >The project was not configured: run "waf configure" first! >CCFLAGS="-O2 -pipe -march=native" LINKFLAGS="-Wl,-O1 -Wl,--as-needed" "/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/waf" --prefix=/usr configure >Setting top to : /var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5 >Setting out to : /var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build >Checking for program javac : /opt/icedtea-bin-3.12.0/bin/javac >Checking for program java : /opt/icedtea-bin-3.12.0/bin/java >Checking for program jar : /opt/icedtea-bin-3.12.0/bin/jar >Checking for program javadoc : /opt/icedtea-bin-3.12.0/bin/javadoc >Checking for 'g++' (c++ compiler) : x86_64-pc-linux-gnu-g++ >Checking for program javac : ['/opt/icedtea-bin-3.12.0/bin/javac'] >Checking for program java : ['/opt/icedtea-bin-3.12.0/bin/java'] >Checking for program jar : ['/opt/icedtea-bin-3.12.0/bin/jar'] >Checking for program javadoc : ['/opt/icedtea-bin-3.12.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.12.0/bin/javac'] >Checking for program java : ['/opt/icedtea-bin-3.12.0/bin/java'] >Checking for program jar : ['/opt/icedtea-bin-3.12.0/bin/jar'] >Checking for program javadoc : ['/opt/icedtea-bin-3.12.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.12.0/bin/javac'] >Checking for program java : ['/opt/icedtea-bin-3.12.0/bin/java'] >Checking for program jar : ['/opt/icedtea-bin-3.12.0/bin/jar'] >Checking for program javadoc : ['/opt/icedtea-bin-3.12.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.12.0/bin/javac'] >Checking for program java : ['/opt/icedtea-bin-3.12.0/bin/java'] >Checking for program jar : ['/opt/icedtea-bin-3.12.0/bin/jar'] >Checking for program javadoc : ['/opt/icedtea-bin-3.12.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.12.0/bin/javac'] >Checking for program java : ['/opt/icedtea-bin-3.12.0/bin/java'] >Checking for program jar : ['/opt/icedtea-bin-3.12.0/bin/jar'] >Checking for program javadoc : ['/opt/icedtea-bin-3.12.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.12.0/bin/javac'] >Checking for program java : ['/opt/icedtea-bin-3.12.0/bin/java'] >Checking for program jar : ['/opt/icedtea-bin-3.12.0/bin/jar'] >Checking for program javadoc : ['/opt/icedtea-bin-3.12.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.813s) >>>> Source configured. >>>> Compiling source in /var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5 ... >"/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/waf" build --verbose --jobs=1 >Waf: Entering directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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 >06:05:58 runner ['/opt/icedtea-bin-3.12.0/bin/javac', '-classpath', '.:/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core.jar:.:/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core.jar:', '-d', '/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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'] >06:05:58 runner ['/opt/icedtea-bin-3.12.0/bin/javac', '-classpath', '.:/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core.jar:.:/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core.jar:', '-d', '/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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-r1/work/kodkod-1.5/build/tmpvrVkVl'] >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-r1/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 >06:06:04 runner ['/opt/icedtea-bin-3.12.0/bin/jar', 'cfm', 'src/kodkod.jar', '/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/MANIFEST', '-C', 'src/kodkod', '.'] >Waf: Leaving directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build' >'build' finished successfully (7.060s) >Waf: Entering directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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 >06:06:05 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/zchaff-mincost/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/zchaff-mincost/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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 >06:06:05 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/zchaff-mincost/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/zchaff-mincost/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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_header.h:57:35: warning: ISO C++ forbids converting a string constant to âchar*â [-Wwrite-strings] > 57 | #define _POSITION_ __FUNCTION__, __FILE__, __LINE__ > | ^~~~~~~~ >../../lib/zchaff-mincost/core/zchaff_dbase.cpp:117:11: note: in expansion of macro â_POSITION_â > 117 | warning(_POSITION_, "Not enough GID"); > | ^~~~~~~~~~ >../../lib/zchaff-mincost/core/zchaff_dbase.cpp:117:23: warning: ISO C++ forbids converting a string constant to âchar*â [-Wwrite-strings] > 117 | warning(_POSITION_, "Not enough GID"); > | ^~~~~~~~~~~~~~~~ >../../lib/zchaff-mincost/core/zchaff_dbase.cpp: In member function âvoid MDatabase::free_gid(int)â: >../../lib/zchaff-mincost/core/zchaff_header.h:57:35: warning: ISO C++ forbids converting a string constant to âchar*â [-Wwrite-strings] > 57 | #define _POSITION_ __FUNCTION__, __FILE__, __LINE__ > | ^~~~~~~~ >../../lib/zchaff-mincost/core/zchaff_dbase.cpp:125:11: note: in expansion of macro â_POSITION_â > 125 | fatal(_POSITION_, "Can't free unallocated GID"); > | ^~~~~~~~~~ >../../lib/zchaff-mincost/core/zchaff_dbase.cpp:125:23: warning: ISO C++ forbids converting a string constant to âchar*â [-Wwrite-strings] > 125 | fatal(_POSITION_, "Can't free unallocated GID"); > | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ >../../lib/zchaff-mincost/core/zchaff_dbase.cpp: In member function âbool MDatabase::enlarge_lit_pool()â: >../../lib/zchaff-mincost/core/zchaff_dbase.cpp:326:57: warning: âvoid* realloc(void*, size_t)â moving an object of non-trivially copyable type âclass MLitPoolElementâ; use ânewâ and âdeleteâ instead [-Wclass-memaccess] > 326 | new_size); > | ^ >In file included from ../../lib/zchaff-mincost/core/zchaff_dbase.h:38, > from ../../lib/zchaff-mincost/core/zchaff_dbase.cpp:45: >../../lib/zchaff-mincost/core/zchaff_base.h:96:7: note: âclass MLitPoolElementâ declared here > 96 | class MLitPoolElement { > | ^~~~~~~~~~~~~~~ >[3/6] cxx: lib/zchaff-mincost/core/zchaff_solver.cpp -> build/zchaff-mincost/lib/zchaff-mincost/core/zchaff_solver.cpp.1.o >06:06:07 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/zchaff-mincost/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/zchaff-mincost/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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, > 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: ISO C++ forbids converting a string constant to âchar*â [-Wwrite-strings] > 37 | #define __ZCHAFF_VERSION__ "Chaff 2004.11.15 Simplified" > | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ >../../lib/zchaff-mincost/core/zchaff_solver.h:354:14: note: in expansion of macro â__ZCHAFF_VERSION__â > 354 | return __ZCHAFF_VERSION__; > | ^~~~~~~~~~~~~~~~~~ >../../lib/zchaff-mincost/core/zchaff_solver.cpp: In member function âvoid MSolver::clean_up_dbase()â: >../../lib/zchaff-mincost/core/zchaff_solver.cpp:1737:7: warning: this âforâ clause does not guard... [-Wmisleading-indentation] > 1737 | for (vector<MLitPoolElement *>::iterator itr = old_watched.begin(); > | ^~~ >../../lib/zchaff-mincost/core/zchaff_solver.cpp:1743:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the âforâ > 1743 | old_watched.swap(watched); > | ^~~~~~~~~~~ >[4/6] cxx: lib/zchaff-mincost/core/zchaff_utils.cpp -> build/zchaff-mincost/lib/zchaff-mincost/core/zchaff_utils.cpp.1.o >06:06:11 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/zchaff-mincost/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/zchaff-mincost/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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 >06:06:11 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/zchaff-mincost/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/zchaff-mincost', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/zchaff-mincost/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib', '-I/opt/icedtea-bin-3.12.0/include', '-I/opt/icedtea-bin-3.12.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-r1/work/kodkod-1.5/lib/zchaff-mincost/core/zchaff_solver.h:39, > from ../../lib/zchaff-mincost/jni/kodkod_engine_satlab_ZChaffMincost.cpp:17: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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-r1/work/kodkod-1.5/lib/zchaff-mincost/core/zchaff_version.h:37:28: warning: ISO C++ forbids converting a string constant to âchar*â [-Wwrite-strings] > 37 | #define __ZCHAFF_VERSION__ "Chaff 2004.11.15 Simplified" > | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/zchaff-mincost/core/zchaff_solver.h:354:14: note: in expansion of macro â__ZCHAFF_VERSION__â > 354 | 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 >06:06:12 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-r1/work/kodkod-1.5/build/zchaff-mincost/lib/zchaff-mincost/libzchaffmincost.so', '-Wl,-Bstatic', '-Wl,-Bdynamic', '-L/opt/icedtea-bin-3.12.0/jre/lib/amd64/server', '-ljvm'] >Waf: Leaving directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/zchaff-mincost' >'build_zchaff-mincost' finished successfully (7.376s) >Waf: Entering directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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 >06:06:12 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-p_v1.14/lib/minisat-p_v1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-p_v1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-p_v1.14/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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: >../../lib/minisat-p_v1.14/core/File.h:132:41: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] > 132 | uint64 getUInt (File& in) throw(Exception_EOF); > | ^~~~~ >../../lib/minisat-p_v1.14/core/File.C:121:5: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] > 121 | throw(Exception_EOF) > | ^~~~~ >In file included from ../../lib/minisat-p_v1.14/core/File.C:1: >../../lib/minisat-p_v1.14/core/File.h: In member function âvoid File::flush()â: >../../lib/minisat-p_v1.14/core/File.h:119:14: warning: ignoring return value of âssize_t write(int, const void*, size_t)â, declared with attribute warn_unused_result [-Wunused-result] > 119 | 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:96:18: warning: ignoring return value of âssize_t write(int, const void*, size_t)â, declared with attribute warn_unused_result [-Wunused-result] > 96 | write(fd, buf, File_BufSize), > | ~~~~~^~~~~~~~~~~~~~~~~~~~~~~ >[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 >06:06:12 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-p_v1.14/lib/minisat-p_v1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-p_v1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-p_v1.14/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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, > 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:52: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] > 102 | float& activity () const { return *((float*)&data[size()]); } > | ~^~~~~~~~~~~~~~~~~~~~~~ >In file included from ../../lib/minisat-p_v1.14/core/Proof.h:24, > from ../../lib/minisat-p_v1.14/core/Proof.C:20: >../../lib/minisat-p_v1.14/core/File.h: At global scope: >../../lib/minisat-p_v1.14/core/File.h:132:41: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] > 132 | uint64 getUInt (File& in) throw(Exception_EOF); > | ^~~~~ >../../lib/minisat-p_v1.14/core/File.h: In member function âint File::putCharQ(int)â: >../../lib/minisat-p_v1.14/core/File.h:96:18: warning: ignoring return value of âssize_t write(int, const void*, size_t)â, declared with attribute warn_unused_result [-Wunused-result] > 96 | write(fd, buf, File_BufSize), > | ~~~~~^~~~~~~~~~~~~~~~~~~~~~~ >../../lib/minisat-p_v1.14/core/File.h: In member function âvoid File::flush()â: >../../lib/minisat-p_v1.14/core/File.h:119:14: warning: ignoring return value of âssize_t write(int, const void*, size_t)â, declared with attribute warn_unused_result [-Wunused-result] > 119 | 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 >06:06:13 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-p_v1.14/lib/minisat-p_v1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-p_v1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-p_v1.14/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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, > 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:52: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] > 102 | float& activity () const { return *((float*)&data[size()]); } > | ~^~~~~~~~~~~~~~~~~~~~~~ >In file included from ../../lib/minisat-p_v1.14/core/Proof.h:24, > from ../../lib/minisat-p_v1.14/core/Solver.h:25, > from ../../lib/minisat-p_v1.14/core/Solver.C:20: >../../lib/minisat-p_v1.14/core/File.h: At global scope: >../../lib/minisat-p_v1.14/core/File.h:132:41: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] > 132 | uint64 getUInt (File& in) throw(Exception_EOF); > | ^~~~~ >[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 >06:06:15 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-p_v1.14/lib/minisat-p_v1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-p_v1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-p_v1.14/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib', '-I/opt/icedtea-bin-3.12.0/include', '-I/opt/icedtea-bin-3.12.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-r1/work/kodkod-1.5/lib/minisat-p_v1.14/core/Solver.h:23, > from ../../lib/minisat-p_v1.14/jni/kodkod_engine_satlab_MiniSatProver.cpp:18: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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-r1/work/kodkod-1.5/lib/minisat-p_v1.14/core/SolverTypes.h:102:52: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] > 102 | float& activity () const { return *((float*)&data[size()]); } > | ~^~~~~~~~~~~~~~~~~~~~~~ >In file included from /var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-p_v1.14/core/Proof.h:24, > from /var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-p_v1.14/core/Solver.h:25, > from ../../lib/minisat-p_v1.14/jni/kodkod_engine_satlab_MiniSatProver.cpp:18: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-p_v1.14/core/File.h: At global scope: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-p_v1.14/core/File.h:132:41: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] > 132 | uint64 getUInt (File& in) throw(Exception_EOF); > | ^~~~~ >[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 >06:06:16 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-r1/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.12.0/jre/lib/amd64/server', '-ljvm'] >/usr/lib/gcc/x86_64-pc-linux-gnu/9.1.0/../../../../x86_64-pc-linux-gnu/bin/ld: lib/minisat-p_v1.14/core/Proof.C.1.o: in function `Proof::Proof()': >Proof.C:(.text+0x6d): warning: the use of `tempnam' is dangerous, better use `mkstemp' >Waf: Leaving directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-p_v1.14' >'build_minisat-p_v1.14' finished successfully (3.982s) >Waf: Entering directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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 >06:06:16 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-1.14/lib/minisat-1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-1.14/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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, > 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:52: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] > 96 | 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 >06:06:17 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-1.14/lib/minisat-1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-1.14', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-1.14/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib', '-I/opt/icedtea-bin-3.12.0/include', '-I/opt/icedtea-bin-3.12.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-r1/work/kodkod-1.5/lib/minisat-1.14/core/Solver.h:23, > from ../../lib/minisat-1.14/jni/kodkod_engine_satlab_MiniSat.cpp:17: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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-r1/work/kodkod-1.5/lib/minisat-1.14/core/SolverTypes.h:96:52: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] > 96 | 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 >06:06:18 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-r1/work/kodkod-1.5/build/minisat-1.14/lib/minisat-1.14/libminisat1.14.so', '-Wl,-Bstatic', '-Wl,-Bdynamic', '-L/opt/icedtea-bin-3.12.0/jre/lib/amd64/server', '-ljvm'] >Waf: Leaving directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-1.14' >'build_minisat-1.14' finished successfully (2.683s) >Waf: Entering directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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 >06:06:19 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-2.2.0/lib/minisat-2.2.0', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-2.2.0/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] > 285 | fprintf(stderr, "%4"PRIi64, range.begin); > | ^ >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] > 291 | fprintf(stderr, "%4"PRIi64, range.end); > | ^ >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] > 293 | fprintf(stderr, "] (default: %"PRIi64")\n", value); > | ^ >In file included from ../../lib/minisat-2.2.0/utils/Options.cc:21: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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-r1/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:63:44: warning: suggest parentheses around â&&â within â||â [-Wparentheses] > 63 | 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â [-Wdangling-else] > 45 | if (!parsed_ok) > | ^ >In file included from /var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Sort.h:24, > from ../../lib/minisat-2.2.0/utils/Options.cc:20: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of âvoid Minisat::vec<T>::capacity(int) [with T = Minisat::Option*]â: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from âvoid Minisat::vec<T>::push(const T&) [with T = Minisat::Option*]â >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:97: warning: suggest parentheses around â&&â within â||â [-Wparentheses] > 99 | 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 >06:06:19 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-2.2.0/lib/minisat-2.2.0', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-2.2.0/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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 >06:06:19 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-2.2.0/lib/minisat-2.2.0', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-2.2.0/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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-r1/work/kodkod-1.5/lib/minisat-2.2.0/core/Solver.h:27, > from ../../lib/minisat-2.2.0/core/Solver.cc:24: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] > 285 | fprintf(stderr, "%4"PRIi64, range.begin); > | ^ >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] > 291 | fprintf(stderr, "%4"PRIi64, range.end); > | ^ >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] > 293 | fprintf(stderr, "] (default: %"PRIi64")\n", value); > | ^ >In file included from /var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/core/Solver.h:27, > from ../../lib/minisat-2.2.0/core/Solver.cc:24: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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-r1/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:63:44: warning: suggest parentheses around â&&â within â||â [-Wparentheses] > 63 | 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-r1/work/kodkod-1.5/lib/minisat-2.2.0/core/Solver.h:28, > from ../../lib/minisat-2.2.0/core/Solver.cc:24: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/core/SolverTypes.h: At global scope: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/core/SolverTypes.h:50:16: error: friend declaration of âMinisat::Lit mkLit(Minisat::Var, bool)â specifies default arguments and isnât a definition [-fpermissive] > 50 | friend Lit mkLit(Var var, bool sign = false); > | ^~~~~ >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/core/SolverTypes.h:58:14: error: friend declaration of âMinisat::Lit Minisat::mkLit(Minisat::Var, bool)â specifies default arguments and isnât the only declaration [-fpermissive] > 58 | inline Lit mkLit (Var var, bool sign) { Lit p; p.x = var + var + (int)sign; return p; } > | ^~~~~ >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/core/SolverTypes.h:50:16: note: previous declaration of âMinisat::Lit Minisat::mkLit(Minisat::Var, bool)â > 50 | friend Lit mkLit(Var var, bool sign = false); > | ^~~~~ >../../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] > 212 | 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] > 660 | if (nof_conflicts >= 0 && conflictC >= nof_conflicts || !withinBudget()){ > | ~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ >In file included from /var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Sort.h:24, > from ../../lib/minisat-2.2.0/core/Solver.cc:23: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of âvoid Minisat::vec<T>::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-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:97: warning: suggest parentheses around â&&â within â||â [-Wparentheses] > 99 | 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-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of âvoid Minisat::vec<T>::capacity(int) [with T = Minisat::Option*]â: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from âvoid Minisat::vec<T>::push(const T&) [with T = Minisat::Option*]â >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:97: warning: suggest parentheses around â&&â within â||â [-Wparentheses] >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of âvoid Minisat::vec<T>::capacity(int) [with T = int]â: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from âvoid Minisat::vec<T>::push(const T&) [with T = int]â >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:97: warning: suggest parentheses around â&&â within â||â [-Wparentheses] >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of âvoid Minisat::vec<T>::capacity(int) [with T = Minisat::lbool]â: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from âvoid Minisat::vec<T>::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-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:97: warning: suggest parentheses around â&&â within â||â [-Wparentheses] >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of âvoid Minisat::vec<T>::capacity(int) [with T = Minisat::Solver::VarData]â: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from âvoid Minisat::vec<T>::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-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:97: warning: suggest parentheses around â&&â within â||â [-Wparentheses] >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of âvoid Minisat::vec<T>::capacity(int) [with T = double]â: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from âvoid Minisat::vec<T>::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-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:97: warning: suggest parentheses around â&&â within â||â [-Wparentheses] >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of âvoid Minisat::vec<T>::capacity(int) [with T = char]â: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from âvoid Minisat::vec<T>::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-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:97: warning: suggest parentheses around â&&â within â||â [-Wparentheses] >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of âvoid Minisat::vec<T>::capacity(int) [with T = unsigned int]â: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from âvoid Minisat::vec<T>::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-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:97: warning: suggest parentheses around â&&â within â||â [-Wparentheses] >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of âvoid Minisat::vec<T>::capacity(int) [with T = Minisat::Solver::Watcher]â: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from âvoid Minisat::vec<T>::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-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:97: warning: suggest parentheses around â&&â within â||â [-Wparentheses] >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of âvoid Minisat::vec<T>::capacity(int) [with T = Minisat::vec<Minisat::Solver::Watcher>]â: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:115:5: required from âvoid Minisat::vec<T>::growTo(int) [with T = Minisat::vec<Minisat::Solver::Watcher>]â >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/core/SolverTypes.h:266:39: required from âvoid Minisat::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; 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-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:54: warning: âvoid* realloc(void*, size_t)â moving an object of non-trivially copyable type âclass Minisat::vec<Minisat::Solver::Watcher>â; use ânewâ and âdeleteâ instead [-Wclass-memaccess] > 99 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) > | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ >In file included from /var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Sort.h:24, > from ../../lib/minisat-2.2.0/core/Solver.cc:23: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:38:7: note: âclass Minisat::vec<Minisat::Solver::Watcher>â declared here > 38 | class vec { > | ^~~ >In file included from /var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Sort.h:24, > from ../../lib/minisat-2.2.0/core/Solver.cc:23: >/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:97: warning: suggest parentheses around â&&â within â||â [-Wparentheses] > 99 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) > | ^ >Waf: Leaving directory `/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-2.2.0' >Build failed > -> task in 'core' failed (exit status 1): > {task 140663651062480: cxx Solver.cc -> Solver.cc.2.o} >['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-2.2.0/lib/minisat-2.2.0', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/build/minisat-2.2.0/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib', '-I/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/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'] > * ERROR: sci-mathematics/kodkod-1.5.2-r1::gentoo failed (compile phase): > * build failed > * > * Call stack: > * ebuild.sh, line 124: Called src_compile > * environment, line 4820: Called waf-utils_src_compile > * environment, line 5822: 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-r1::gentoo'`, > * the complete build log and the output of `emerge -pqv '=sci-mathematics/kodkod-1.5.2-r1::gentoo'`. >!!! When you file a bug report, please include the following information: >GENTOO_VM=icedtea-bin-8 CLASSPATH="" JAVA_HOME="/opt/icedtea-bin-3.12.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-r1:20190513-040550.log'. > * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/temp/build.log'. > * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/temp/environment'. > * Working directory: '/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5' > * S: '/var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5'
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 685802
:
576348
|
576350
|
576352
|
576354
|
576356
| 576358 |
576360