Attachment 878084 Details for Bug 919398 – sci-mathematics:kind2-1.9.0:20231206-223048.log

sci-mathematics:kind2-1.9.0:20231206-223048.log

sci-mathematics:kind2-1.9.0:20231206-223048.log (text/plain), 31.79 KB, created by Toralf Förster on 2023-12-07 08:37:26 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Toralf Förster

Created: 2023-12-07 08:37:26 UTC

Size: 31.79 KB

patch

obsolete

> * Package:    sci-mathematics/kind2-1.9.0:0/1.9.0
> * Repository: gentoo
> * Maintainer: ml@gentoo.org sci-mathematics@gentoo.org
> * Upstream:   https://github.com/kind2-mc/kind2/issues/
> * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux ocamlopt
> * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox
>
>>>> Unpacking source...
>>>> Unpacking kind2-1.9.0.tar.gz to /var/tmp/portage/sci-mathematics/kind2-1.9.0/work
>>>> Source unpacked in /var/tmp/portage/sci-mathematics/kind2-1.9.0/work
>>>> Preparing source in /var/tmp/portage/sci-mathematics/kind2-1.9.0/work/kind2-1.9.0 ...
>>>> Source prepared.
>>>> Configuring source in /var/tmp/portage/sci-mathematics/kind2-1.9.0/work/kind2-1.9.0 ...
>>>> Source configured.
>>>> Compiling source in /var/tmp/portage/sci-mathematics/kind2-1.9.0/work/kind2-1.9.0 ...
> * dune build @install --display=short --profile release -j 4
>gen-linking-flags src/linking-flags.sexp
>    ocamlopt src/.kind2.eobjs/native/build_info__Build_info_data.{cmx,o}
>    ocamldep src/.kind2dev.objs/z3Driver.impl.d
>    ocamldep src/.kind2dev.objs/abduction.impl.d
>    ocamldep src/.kind2dev.objs/actlit.impl.d
>    ocamldep src/.kind2dev.objs/analysis.impl.d
>    ocamldep src/.kind2dev.objs/base.impl.d
>    ocamldep src/.kind2dev.objs/assumption.impl.d
>    ocamldep src/.kind2dev.objs/bitvector.impl.d
>    ocamldep src/.kind2dev.objs/bitwuzlaDriver.impl.d
>    ocamldep src/.kind2dev.objs/c2I.impl.d
>    ocamldep src/.kind2dev.objs/c2ICandidate.impl.d
>    ocamldep src/.kind2dev.objs/c2Imodel.impl.d
>    ocamldep src/.kind2dev.objs/cVC5Driver.impl.d
>    ocamldep src/.kind2dev.objs/certificate.impl.d
>    ocamldep src/.kind2dev.objs/clause.impl.d
>    ocamldep src/.kind2dev.objs/certifChecker.impl.d
>    ocamldep src/.kind2dev.objs/compress.impl.d
>    ocamldep src/.kind2dev.objs/contractChecker.impl.d
>    ocamldep src/.kind2dev.objs/contractsToProps.impl.d
>    ocamldep src/.kind2dev.objs/cooperQE.impl.d
>    ocamldep src/.kind2dev.objs/debug.impl.d
>    ocamldep src/.kind2dev.objs/dummy.impl.d
>    ocamldep src/.kind2dev.objs/decimal.impl.d
>    ocamldep src/.kind2dev.objs/eval.impl.d
>    ocamldep src/.kind2dev.objs/extract.impl.d
>    ocamldep src/.kind2dev.objs/fileId.impl.d
>    ocamldep src/.kind2dev.objs/generatedIdentifiers.impl.d
>    ocamldep src/.kind2dev.objs/genericSMTLIBDriver.impl.d
>    ocamldep src/.kind2dev.objs/flags.impl.d
>    ocamldep src/.kind2dev.objs/graph.impl.d
>    ocamldep src/.kind2dev.objs/hString.impl.d
>    ocamldep src/.kind2dev.objs/hStringSExpr.impl.d
>    ocamldep src/.kind2dev.objs/hashcons.impl.d
>    ocamldep src/.kind2dev.objs/hashconsStrong.impl.d
>    ocamldep src/.kind2dev.objs/hexadecimal.impl.d
>    ocamldep src/.kind2dev.objs/hashconsWeak.impl.d
>    ocamldep src/.kind2dev.objs/hmap.impl.d
>    ocamldep src/.kind2dev.objs/hset.impl.d
>    ocamldep src/.kind2dev.objs/ident.impl.d
>      menhir src/lustre/lustreParser.{ml,mli}
>    ocamldep src/.kind2dev.objs/inputParser.impl.d
>    ocamldep src/.kind2dev.objs/iC3.impl.d
>    ocamldep src/.kind2dev.objs/inputSystem.impl.d
>    ocamldep src/.kind2dev.objs/interpreter.impl.d
>    ocamldep src/.kind2dev.objs/invGen.impl.d
>    ocamldep src/.kind2dev.objs/invGenDomain.impl.d
>    ocamldep src/.kind2dev.objs/invGenGraph.impl.d
>    ocamldep src/.kind2dev.objs/invGenMiner.impl.d
>    ocamldep src/.kind2dev.objs/invarManager.impl.d
>    ocamldep src/.kind2dev.objs/invs.impl.d
>    ocamldep src/.kind2dev.objs/jkindParser.impl.d
>    ocamldep src/.kind2dev.objs/ivcMcs.impl.d
>    ocamldep src/.kind2dev.objs/kEvent.impl.d
>    ocamldep src/.kind2dev.objs/kind2Flow.impl.d
>    ocamldep src/.kind2dev.objs/lfscExtractor.impl.d
>    ocamldep src/.kind2dev.objs/lib.impl.d
>    ocamldep src/.kind2dev.objs/lockStepDriver.impl.d
>    ocamldep src/.kind2dev.objs/log.impl.d
>    ocamldep src/.kind2dev.objs/lspInfo.impl.d
>    ocamldep src/.kind2dev.objs/lustre2kind.impl.d
>    ocamldep src/.kind2dev.objs/ltree.impl.d
>    ocamldep src/.kind2dev.objs/lustreArrayDependencies.impl.d
>    ocamldep src/.kind2dev.objs/lustreAbstractInterpretation.impl.d
>    ocamldep src/.kind2dev.objs/lustreAst.impl.d
>    ocamldep src/.kind2dev.objs/lustreAstInlineConstants.impl.d
>    ocamldep src/.kind2dev.objs/lustreAstDependencies.impl.d
>    ocamldep src/.kind2dev.objs/lustreAstHelpers.impl.d
>    ocamldep src/.kind2dev.objs/lustreAstNormalizer.impl.d
>    ocamldep src/.kind2dev.objs/lustreContract.impl.d
>    ocamldep src/.kind2dev.objs/lustreContext.impl.d
>    ocamldep src/.kind2dev.objs/lustreContractGen.impl.d
>    ocamldep src/.kind2dev.objs/lustreDependencies.impl.d
>    ocamldep src/.kind2dev.objs/lustreDeclarations.impl.d
>    ocamldep src/.kind2dev.objs/lustreDesugarFrameBlocks.impl.d
>    ocamldep src/.kind2dev.objs/lustreDesugarIfBlocks.impl.d
>    ocamldep src/.kind2dev.objs/lustreErrors.impl.d
>    ocamldep src/.kind2dev.objs/lustreGlobals.impl.d
>    ocamldep src/.kind2dev.objs/lustreIdent.impl.d
>    ocamldep src/.kind2dev.objs/lustreIndex.impl.d
>    ocamldep src/.kind2dev.objs/lustreInput.impl.d
>    ocamldep src/.kind2dev.objs/lustreExpr.impl.d
>    ocamldep src/.kind2dev.objs/lustreNode.impl.d
>    ocamldep src/.kind2dev.objs/lustreRemoveMultAssign.impl.d
>    ocamldep src/.kind2dev.objs/lustreReporting.impl.d
>    ocamldep src/.kind2dev.objs/lustrePath.impl.d
>    ocamldep src/.kind2dev.objs/lustreNodeGen.impl.d
>    ocamldep src/.kind2dev.objs/lustreSimplify.impl.d
>    ocamldep src/.kind2dev.objs/lustreSlicing.impl.d
>    ocamldep src/.kind2dev.objs/lustreSyntaxChecks.impl.d
>    ocamldep src/.kind2dev.objs/lustreToRust.impl.d
>    ocamldep src/.kind2dev.objs/lustreWarnings.impl.d
>    ocamldep src/.kind2dev.objs/lustreTransSys.impl.d
>    ocamldep src/.kind2dev.objs/mathSATDriver.impl.d
>    ocamldep src/.kind2dev.objs/lustreTypeChecker.impl.d
>    ocamldep src/.kind2dev.objs/messaging.impl.d
>    ocamldep src/.kind2dev.objs/model.impl.d
>    ocamldep src/.kind2dev.objs/modelElement.impl.d
>    ocamldep src/.kind2dev.objs/nativeInput.impl.d
>    ocamldep src/.kind2dev.objs/numeral.impl.d
>    ocamldep src/.kind2dev.objs/poly.impl.d
>    ocamldep src/.kind2dev.objs/presburger.impl.d
>    ocamldep src/.kind2dev.objs/postAnalysis.impl.d
>    ocamldep src/.kind2dev.objs/pretty.impl.d
>    ocamldep src/.kind2dev.objs/property.impl.d
>    ocamldep src/.kind2dev.objs/proof.impl.d
>    ocamldep src/.kind2dev.objs/qE.impl.d
>    ocamldep src/.kind2dev.objs/realizability.impl.d
>    ocamldep src/.kind2dev.objs/res.impl.d
>    ocamldep src/.kind2dev.objs/sExprBase.impl.d
>    ocamldep src/.kind2dev.objs/sMTExpr.impl.d
>    ocamldep src/.kind2dev.objs/sMTLIBSolver.impl.d
>    ocamldep src/.kind2dev.objs/sMTSolver.impl.d
>    ocamldep src/.kind2dev.objs/scope.impl.d
>    ocamldep src/.kind2dev.objs/solverDriver.impl.d
>    ocamldep src/.kind2dev.objs/solverResponse.impl.d
>    ocamldep src/.kind2dev.objs/simplify.impl.d
>    ocamldep src/.kind2dev.objs/stateVar.impl.d
>    ocamldep src/.kind2dev.objs/stat.impl.d
>    ocamldep src/.kind2dev.objs/step.impl.d
>    ocamldep src/.kind2dev.objs/step2.impl.d
>    ocamldep src/.kind2dev.objs/strategy.impl.d
>    ocamldep src/.kind2dev.objs/stringSExpr.impl.d
>    ocamldep src/.kind2dev.objs/subSystem.impl.d
>    ocamldep src/.kind2dev.objs/symbol.impl.d
>    ocamldep src/.kind2dev.objs/term.impl.d
>    ocamldep src/.kind2dev.objs/termAttr.impl.d
>    ocamldep src/.kind2dev.objs/termLib.impl.d
>    ocamldep src/.kind2dev.objs/testgenDF.impl.d
>    ocamldep src/.kind2dev.objs/testgenIO.impl.d
>    ocamldep src/.kind2dev.objs/testgenModes.impl.d
>    ocamldep src/.kind2dev.objs/testgenSolver.impl.d
>    ocamldep src/.kind2dev.objs/testgenTree.impl.d
>    ocamldep src/.kind2dev.objs/transSys.impl.d
>    ocamldep src/.kind2dev.objs/trie.impl.d
>    ocamldep src/.kind2dev.objs/type.impl.d
>    ocamldep src/.kind2dev.objs/typeCheckerContext.impl.d
>    ocamldep src/.kind2dev.objs/ufSymbol.impl.d
>    ocamldep src/.kind2dev.objs/unroller.impl.d
>    ocamldep src/.kind2dev.objs/var.impl.d
>    ocamldep src/.kind2dev.objs/version.impl.d
>    ocamldep src/.kind2dev.objs/yices2SMT2Driver.impl.d
>    ocamldep src/.kind2dev.objs/yicesDriver.impl.d
>    ocamldep src/.kind2dev.objs/yicesResponse.impl.d
>    ocamldep src/.kind2dev.objs/yicesNative.impl.d
>      menhir src/smt/yicesParser__mock.ml.mock
>      menhir src/utils/SExprParser__mock.ml.mock
>    ocamllex src/lustre/lustreLexer.ml  
>    ocamldep src/.kind2dev.objs/flags.intf.d
>    ocamllex src/smt/yicesLexer.ml      
>    ocamldep src/.kind2dev.objs/lib.intf.d
>    ocamllex src/utils/SExprLexer.ml    
>    ocamldep src/.kind2dev.objs/abduction.intf.d
>    ocamldep src/.kind2dev.objs/actlit.intf.d
>    ocamldep src/.kind2dev.objs/analysis.intf.d
>    ocamldep src/.kind2dev.objs/assumption.intf.d
>    ocamldep src/.kind2dev.objs/base.intf.d
>    ocamldep src/.kind2dev.objs/bitvector.intf.d
>    ocamldep src/.kind2dev.objs/c2I.intf.d
>    ocamldep src/.kind2dev.objs/c2ICandidate.intf.d
>    ocamldep src/.kind2dev.objs/c2Imodel.intf.d
>    ocamldep src/.kind2dev.objs/certifChecker.intf.d
>    ocamldep src/.kind2dev.objs/certificate.intf.d
>    ocamldep src/.kind2dev.objs/clause.intf.d
>    ocamldep src/.kind2dev.objs/compress.intf.d
>    ocamldep src/.kind2dev.objs/contractChecker.intf.d
>    ocamldep src/.kind2dev.objs/contractsToProps.intf.d
>    ocamldep src/.kind2dev.objs/cooperQE.intf.d
>    ocamldep src/.kind2dev.objs/debug.intf.d
>    ocamldep src/.kind2dev.objs/decimal.intf.d
>    ocamldep src/.kind2dev.objs/dummy.intf.d
>    ocamldep src/.kind2dev.objs/eval.intf.d
>    ocamldep src/.kind2dev.objs/extract.intf.d
>    ocamldep src/.kind2dev.objs/fileId.intf.d
>    ocamldep src/.kind2dev.objs/generatedIdentifiers.intf.d
>    ocamldep src/.kind2dev.objs/graph.intf.d
>    ocamldep src/.kind2dev.objs/hString.intf.d
>    ocamldep src/.kind2dev.objs/hashcons.intf.d
>    ocamldep src/.kind2dev.objs/hashconsStrong.intf.d
>    ocamldep src/.kind2dev.objs/hashconsWeak.intf.d
>    ocamldep src/.kind2dev.objs/hexadecimal.intf.d
>    ocamldep src/.kind2dev.objs/hmap.intf.d
>    ocamldep src/.kind2dev.objs/hset.intf.d
>    ocamldep src/.kind2dev.objs/iC3.intf.d
>    ocamldep src/.kind2dev.objs/ident.intf.d
>    ocamldep src/.kind2dev.objs/inputParser.intf.d
>    ocamldep src/.kind2dev.objs/inputSystem.intf.d
>    ocamldep src/.kind2dev.objs/interpreter.intf.d
>    ocamldep src/.kind2dev.objs/invGen.intf.d
>    ocamldep src/.kind2dev.objs/invGenDomain.intf.d
>    ocamldep src/.kind2dev.objs/invGenGraph.intf.d
>    ocamldep src/.kind2dev.objs/invGenMiner.intf.d
>    ocamldep src/.kind2dev.objs/invarManager.intf.d
>    ocamldep src/.kind2dev.objs/invs.intf.d
>    ocamldep src/.kind2dev.objs/ivcMcs.intf.d
>    ocamldep src/.kind2dev.objs/jkindParser.intf.d
>    ocamldep src/.kind2dev.objs/kEvent.intf.d
>    ocamldep src/.kind2dev.objs/kind2Flow.intf.d
>    ocamldep src/.kind2dev.objs/lockStepDriver.intf.d
>    ocamldep src/.kind2dev.objs/log.intf.d
>    ocamldep src/.kind2dev.objs/lspInfo.intf.d
>    ocamldep src/.kind2dev.objs/ltree.intf.d
>    ocamldep src/.kind2dev.objs/lustre2kind.intf.d
>    ocamldep src/.kind2dev.objs/lustreAbstractInterpretation.intf.d
>    ocamldep src/.kind2dev.objs/lustreArrayDependencies.intf.d
>    ocamldep src/.kind2dev.objs/lustreAst.intf.d
>    ocamldep src/.kind2dev.objs/lustreAstDependencies.intf.d
>    ocamldep src/.kind2dev.objs/lustreAstHelpers.intf.d
>    ocamldep src/.kind2dev.objs/lustreAstInlineConstants.intf.d
>    ocamldep src/.kind2dev.objs/lustreAstNormalizer.intf.d
>      menhir src/lustre/lustreParser.auto.messages
>    ocamldep src/.kind2dev.objs/lustreContext.intf.d
>    ocamldep src/.kind2dev.objs/lustreContract.intf.d
>    ocamldep src/.kind2dev.objs/lustreContractGen.intf.d
>    ocamldep src/.kind2dev.objs/lustreDeclarations.intf.d
>    ocamldep src/.kind2dev.objs/lustreDependencies.intf.d
>    ocamldep src/.kind2dev.objs/lustreDesugarFrameBlocks.intf.d
>    ocamldep src/.kind2dev.objs/lustreDesugarIfBlocks.intf.d
>    ocamldep src/.kind2dev.objs/lustreErrors.intf.d
>    ocamldep src/.kind2dev.objs/lustreExpr.intf.d
>    ocamldep src/.kind2dev.objs/lustreGlobals.intf.d
>    ocamldep src/.kind2dev.objs/lustreIdent.intf.d
>    ocamldep src/.kind2dev.objs/lustreIndex.intf.d
>    ocamldep src/.kind2dev.objs/lustreInput.intf.d
>    ocamldep src/.kind2dev.objs/lustreLexer.intf.d
>    ocamldep src/.kind2dev.objs/lustreNode.intf.d
>    ocamldep src/.kind2dev.objs/lustreNodeGen.intf.d
>    ocamldep src/.kind2dev.objs/lustrePath.intf.d
>    ocamldep src/.kind2dev.objs/lustreRemoveMultAssign.intf.d
>    ocamldep src/.kind2dev.objs/lustreReporting.intf.d
>    ocamldep src/.kind2dev.objs/lustreSimplify.intf.d
>    ocamldep src/.kind2dev.objs/lustreSlicing.intf.d
>    ocamldep src/.kind2dev.objs/lustreSyntaxChecks.intf.d
>    ocamldep src/.kind2dev.objs/lustreToRust.intf.d
>    ocamldep src/.kind2dev.objs/lustreTransSys.intf.d
>    ocamldep src/.kind2dev.objs/lustreTypeChecker.intf.d
>    ocamldep src/.kind2dev.objs/lustreWarnings.intf.d
>    ocamldep src/.kind2dev.objs/messaging.intf.d
>    ocamldep src/.kind2dev.objs/model.intf.d
>    ocamldep src/.kind2dev.objs/modelElement.intf.d
>    ocamldep src/.kind2dev.objs/nativeInput.intf.d
>    ocamldep src/.kind2dev.objs/numeral.intf.d
>    ocamldep src/.kind2dev.objs/poly.intf.d
>    ocamldep src/.kind2dev.objs/postAnalysis.intf.d
>    ocamldep src/.kind2dev.objs/presburger.intf.d
>    ocamldep src/.kind2dev.objs/pretty.intf.d
>    ocamldep src/.kind2dev.objs/proof.intf.d
>    ocamldep src/.kind2dev.objs/property.intf.d
>    ocamldep src/.kind2dev.objs/qE.intf.d
>    ocamldep src/.kind2dev.objs/realizability.intf.d
>    ocamldep src/.kind2dev.objs/res.intf.d
>    ocamldep src/.kind2dev.objs/sExprBase.intf.d
>    ocamldep src/.kind2dev.objs/sMTExpr.intf.d
>    ocamldep src/.kind2dev.objs/sMTLIBSolver.intf.d
>    ocamldep src/.kind2dev.objs/sMTSolver.intf.d
>    ocamldep src/.kind2dev.objs/scope.intf.d
>    ocamldep src/.kind2dev.objs/simplify.intf.d
>    ocamldep src/.kind2dev.objs/solverDriver.intf.d
>    ocamldep src/.kind2dev.objs/solverResponse.intf.d
>    ocamldep src/.kind2dev.objs/stat.intf.d
>    ocamldep src/.kind2dev.objs/stateVar.intf.d
>    ocamldep src/.kind2dev.objs/step.intf.d
>    ocamldep src/.kind2dev.objs/step2.intf.d
>    ocamldep src/.kind2dev.objs/strategy.intf.d
>    ocamldep src/.kind2dev.objs/stringSExpr.intf.d
>    ocamldep src/.kind2dev.objs/subSystem.intf.d
>    ocamldep src/.kind2dev.objs/symbol.intf.d
>    ocamldep src/.kind2dev.objs/term.intf.d
>    ocamldep src/.kind2dev.objs/termAttr.intf.d
>    ocamldep src/.kind2dev.objs/termLib.intf.d
>    ocamldep src/.kind2dev.objs/testgenDF.intf.d
>    ocamldep src/.kind2dev.objs/testgenIO.intf.d
>    ocamldep src/.kind2dev.objs/testgenSolver.intf.d
>    ocamldep src/.kind2dev.objs/testgenTree.intf.d
>    ocamldep src/.kind2dev.objs/transSys.intf.d
>    ocamldep src/.kind2dev.objs/trie.intf.d
>    ocamldep src/.kind2dev.objs/type.intf.d
>    ocamldep src/.kind2dev.objs/typeCheckerContext.intf.d
>    ocamldep src/.kind2dev.objs/ufSymbol.intf.d
>    ocamldep src/.kind2dev.objs/unroller.intf.d
>    ocamldep src/.kind2dev.objs/var.intf.d
>    ocamldep src/.kind2dev.objs/version.intf.d
>    ocamldep src/.kind2dev.objs/yicesNative.intf.d
>    ocamldep src/.kind2dev.objs/yicesResponse.intf.d
>    ocamldep src/.kind2dev.objs/solverSig.intf.d
>    ocamldep src/.kind2dev.objs/lustreParser.intf.d
>    ocamldep src/.kind2dev.objs/sExprParser__mock.impl.d
>    ocamldep src/.kind2dev.objs/yicesParser__mock.impl.d
>    ocamldep src/.kind2dev.objs/lustreLexer.impl.d
>    ocamldep src/.kind2dev.objs/yicesLexer.impl.d
>    ocamldep src/.kind2dev.objs/sExprLexer.impl.d
>      ocamlc src/.kind2dev.objs/byte/contractsToProps.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lib.{cmi,cmti}
>    ocamldep src/.kind2dev.objs/lustreParser.impl.d
>      ocamlc src/.kind2dev.objs/byte/debug.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/decimal.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/fileId.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/hashcons.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/graph.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/hString.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/hashconsStrong.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/hashconsWeak.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/hexadecimal.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/ident.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustre2kind.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/numeral.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/res.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/sExprBase.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/stat.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/termAttr.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/version.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/trie.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/flags.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/log.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreReporting.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/messaging.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/pretty.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/hmap.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/fileId.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/hset.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/debug.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/ltree.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreAst.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/hexadecimal.{cmx,o}
>          sh src/lustre/lustreParser.check
>    ocamlopt src/.kind2dev.objs/native/hashconsStrong.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/hashconsWeak.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/scope.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/bitvector.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/lustre2kind.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/hStringSExpr.{cmi,cmo,cmt}
>      ocamlc src/.kind2dev.objs/byte/type.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/stringSExpr.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/version.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/generatedIdentifiers.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lspInfo.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreAstDependencies.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreAstHelpers.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreDesugarFrameBlocks.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreSyntaxChecks.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/trie.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/lustreParser.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/typeCheckerContext.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/numeral.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/lustreIdent.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/hashcons.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/yicesResponse.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/ufSymbol.{cmi,cmti}
>      ocamlc src/utils/SExprParser__mock.mli.inferred
>      ocamlc src/.kind2dev.objs/byte/lustreLexer.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreAbstractInterpretation.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreArrayDependencies.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreAstInlineConstants.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreDesugarIfBlocks.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreRemoveMultAssign.{cmi,cmti}
>          sh src/lustre/lustreParserErrors.ml
>      ocamlc src/.kind2dev.objs/byte/lustreDependencies.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/hmap.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/hString.{cmx,o}
>      ocamlc src/smt/yicesParser__mock.mli.inferred
>    ocamlopt src/.kind2dev.objs/native/hset.{cmx,o}
>File "src/utils/dune", line 3, characters 0-64:
>3 | (menhir
>4 |  (infer true)
>5 |  (flags --explain)
>6 |  (modules SExprParser))
>      menhir src/utils/SExprParser.{ml,mli} (got signal SEGV)
>      ocamlc src/.kind2dev.objs/byte/stateVar.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/lib.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/lustreAstNormalizer.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/symbol.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreTypeChecker.{cmi,cmti}
>    ocamldep src/.kind2dev.objs/lustreParserErrors.impl.d
>      menhir src/smt/yicesParser.{ml,mli}         
>      ocamlc src/.kind2dev.objs/byte/lustreContract.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/ident.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/sExprBase.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/res.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/pretty.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/graph.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/messaging.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreAst.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/decimal.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/ltree.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/lustreWarnings.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/var.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreErrors.{cmi,cmti}
>    ocamldep src/.kind2dev.objs/yicesParser.impl.d
>    ocamlopt src/.kind2dev.objs/native/bitvector.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/type.{cmx,o}
>    ocamldep src/.kind2dev.objs/yicesParser.intf.d
>    ocamlopt src/.kind2dev.objs/native/scope.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/hStringSExpr.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/stringSExpr.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/lustreParserErrors.{cmi,cmo,cmt}
>    ocamlopt src/.kind2dev.objs/native/generatedIdentifiers.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/poly.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/lspInfo.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/log.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/yicesParser.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/term.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/ufSymbol.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/yicesResponse.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreIdent.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreReporting.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/yicesLexer.{cmi,cmo,cmt}
>      ocamlc src/.kind2dev.objs/byte/actlit.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/certificate.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/inputParser.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreExpr.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/model.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/lustreParserErrors.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/presburger.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/termLib.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/yicesDriver.{cmi,cmo,cmt}
>    ocamlopt src/.kind2dev.objs/native/yicesParser.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/symbol.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreDependencies.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/invs.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/c2Imodel.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreIndex.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/cooperQE.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/eval.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/extract.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/property.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/simplify.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/solverResponse.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/testgenTree.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/proof.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/solverDriver.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/yicesLexer.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/lustreGlobals.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/genericSMTLIBDriver.{cmi,cmo,cmt}
>      ocamlc src/.kind2dev.objs/byte/transSys.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/sMTExpr.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/z3Driver.{cmi,cmo,cmt}
>      ocamlc src/.kind2dev.objs/byte/bitwuzlaDriver.{cmi,cmo,cmt}
>      ocamlc src/.kind2dev.objs/byte/cVC5Driver.{cmi,cmo,cmt}
>      ocamlc src/.kind2dev.objs/byte/analysis.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/c2ICandidate.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/compress.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/dummy.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/flags.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/invGenMiner.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lockStepDriver.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/qE.{cmi,cmti} 
>      ocamlc src/.kind2dev.objs/byte/testgenModes.{cmi,cmo,cmt}
>      ocamlc src/.kind2dev.objs/byte/solverSig.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/sMTSolver.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/invGenDomain.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/strategy.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/dummy.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/termAttr.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/stat.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/sMTLIBSolver.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/stateVar.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/yicesNative.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/abduction.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/clause.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/testgenSolver.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/unroller.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/invGenGraph.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/subSystem.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/lustreParser.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/var.{cmx,o} 
>    ocamlopt src/.kind2dev.objs/native/lustreContract.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/lustreNode.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/nativeInput.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/c2Imodel.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/poly.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreLexer.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreAstHelpers.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/jkindParser.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/inputSystem.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreDeclarations.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreContext.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreInput.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreNodeGen.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustrePath.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreSlicing.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreToRust.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreTransSys.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/typeCheckerContext.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/term.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreDesugarFrameBlocks.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/assumption.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/base.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/c2I.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/certifChecker.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/iC3.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/interpreter.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/invGen.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/invarManager.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/kind2Flow.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/kEvent.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreContractGen.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/modelElement.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/lustreAstDependencies.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/postAnalysis.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/step.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/step2.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/testgenDF.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/testgenIO.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/lustreSimplify.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/lustreSyntaxChecks.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/actlit.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/certificate.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/presburger.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreAstInlineConstants.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/termLib.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/mathSATDriver.{cmi,cmo,cmt}
>      ocamlc src/.kind2dev.objs/byte/yices2SMT2Driver.{cmi,cmo,cmt}
>      ocamlc src/.kind2dev.objs/byte/ivcMcs.{cmi,cmti}
>      ocamlc src/.kind2dev.objs/byte/realizability.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/yicesDriver.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/invs.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/solverDriver.{cmx,o}
>      ocamlc src/.kind2dev.objs/byte/contractChecker.{cmi,cmti}
>    ocamlopt src/.kind2dev.objs/native/sMTExpr.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreExpr.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreIndex.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreGlobals.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/model.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/property.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/solverResponse.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/testgenTree.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreTypeChecker.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/genericSMTLIBDriver.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/transSys.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreArrayDependencies.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreAbstractInterpretation.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreDesugarIfBlocks.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreRemoveMultAssign.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/simplify.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/cVC5Driver.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/bitwuzlaDriver.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/z3Driver.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreErrors.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/testgenModes.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/eval.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/analysis.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/cooperQE.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/extract.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/strategy.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/c2ICandidate.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/subSystem.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreAstNormalizer.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreWarnings.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreNode.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreSlicing.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreContext.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustrePath.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreNodeGen.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreToRust.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreSimplify.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreTransSys.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreDeclarations.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/lustreInput.{cmx,o}
>    ocamlopt src/.kind2dev.objs/native/contractsToProps.{cmx,o}
> * ERROR: sci-mathematics/kind2-1.9.0::gentoo failed (compile phase):
> *   Failed to run command: dune build @install --display=short --profile release -j 4
> * 
> * Call stack:
> *     ebuild.sh, line 136:  Called src_compile
> *   environment, line 740:  Called dune_src_compile
> *   environment, line 461:  Called dune-compile
> *   environment, line 411:  Called dune-release 'build' '--target' '@install'
> *   environment, line 452:  Called edune 'build' '@install' '--display=short' '--profile' 'release' '-j' '4'
> *   environment, line 618:  Called edo 'dune' 'build' '@install' '--display=short' '--profile' 'release' '-j' '4'
> *   environment, line 607:  Called die
> * The specific snippet of code:
> *       "$@" || die -n "Failed to run command: $@"
> * 
> * If you need support, post the output of `emerge --info '=sci-mathematics/kind2-1.9.0::gentoo'`,
> * the complete build log and the output of `emerge -pqv '=sci-mathematics/kind2-1.9.0::gentoo'`.
> * The complete build log is located at '/var/log/portage/sci-mathematics:kind2-1.9.0:20231206-223048.log'.
> * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/kind2-1.9.0/temp/build.log'.
> * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/kind2-1.9.0/temp/environment'.
> * Working directory: '/var/tmp/portage/sci-mathematics/kind2-1.9.0/work/kind2-1.9.0'
> * S: '/var/tmp/portage/sci-mathematics/kind2-1.9.0/work/kind2-1.9.0'
>

Actions: View

Attachments on bug 919398: 878078 | 878079 | 878080 | 878081 | 878082 | 878083 | 878084 | 878085