src/plugins/wp/Passive.cm* src/plugins/wp/Splitter.cm* src/plugins/wp/LogicBuiltins.cm* src/plugins/wp/Definitions.cm* src/plugins/wp/Cmath.cm* src/plugins/wp/Cint.cm* src/plugins/wp/Cfloat.cm* src/plugins/wp/Vset.cm* src/plugins/wp/Vlist.cm* src/plugins/wp/Cstring.cm* src/plugins/wp/Cvalues.cm* src/plugins/wp/Letify.cm* src/plugins/wp/Cleaning.cm* src/plugins/wp/Mstate.cm* src/plugins/wp/Conditions.cm* src/plugins/wp/Filtering.cm* src/plugins/wp/Plang.cm* src/plugins/wp/Pcfg.cm* src/plugins/wp/
src/plugins/wp/MemMemory.cm* src/plugins/wp/MemTyped.cm* src/plugins/wp/MemRegion.cm* src/plugins/wp/MemVal.cm* src/plugins/wp/wpReached.cm* src/plugins/wp/wpRTE.cm* src/plugins/wp/wpTarget.cm* src/plugins/wp/CfgCompiler.cm* src/plugins/wp/StmtSemantics.cm* src/plugins/wp/VCS.cm* src/plugins/wp/script.cm* src/plugins/wp/wpo.cm* src/plugins/wp/wpReport.cm* src/plugins/wp/Footprint.cm* src/plugins/wp/Tactical.cm* src/plugins/wp/Strategy.cm* src/plugins/wp/TacClear.cm* src/plugins/wp/TacSplit.
src/plugins/wp/WpTac.cm* src/plugins/wp/TacNormalForm.cm* src/plugins/wp/TacRewrite.cm* src/plugins/wp/TacBitwised.cm* src/plugins/wp/TacBitrange.cm* src/plugins/wp/TacBittest.cm* src/plugins/wp/TacModMask.cm* src/plugins/wp/TacShift.cm* src/plugins/wp/TacSequence.cm* src/plugins/wp/TacCongruence.cm* src/plugins/wp/TacOverflow.cm* src/plugins/wp/Auto.cm* src/plugins/wp/ProofSession.cm* src/plugins/wp/ProofScript.cm* src/plugins/wp/ProofEngine.cm* src/plugins/wp/ProverTask.cm* src/plugins/wp/filter_
src/plugins/wp/cfgDump.cm* src/plugins/wp/cfgWP.cm* src/plugins/wp/cfgGenerator.cm* src/plugins/wp/Generator.cm* src/plugins/wp/register.cm* src/plugins/wp/VC.cm* src/plugins/wp/GuiConfig.cm* src/plugins/wp/GuiList.cm* src/plugins/wp/GuiSequent.cm* src/plugins/wp/GuiProver.cm* src/plugins/wp/GuiTactic.cm* src/plugins/wp/GuiProof.cm* src/plugins/wp/GuiComposer.cm* src/plugins/wp/GuiGoal.cm* src/plugins/wp/GuiSource.cm* src/plugins/wp/GuiPanel.cm* src/plugins/wp/GuiNavigator.cm*
rm -f src/plugins/wp/rformat.annot src/plugins/wp/wprop.annot src/plugins/wp/wp_parameters.annot src/plugins/wp/wp_error.annot src/plugins/wp/Why3Provers.annot src/plugins/wp/Context.annot src/plugins/wp/Warning.annot src/plugins/wp/dyncall.annot src/plugins/wp/ctypes.annot src/plugins/wp/clabels.annot src/plugins/wp/AssignsCompleteness.annot src/plugins/wp/MemoryContext.annot src/plugins/wp/wpContext.annot src/plugins/wp/LogicUsage.annot src/plugins/wp/RefUsage.annot src/plugins/wp/Layout.annot src/
src/plugins/wp/Passive.annot src/plugins/wp/Splitter.annot src/plugins/wp/LogicBuiltins.annot src/plugins/wp/Definitions.annot src/plugins/wp/Cmath.annot src/plugins/wp/Cint.annot src/plugins/wp/Cfloat.annot src/plugins/wp/Vset.annot src/plugins/wp/Vlist.annot src/plugins/wp/Cstring.annot src/plugins/wp/Cvalues.annot src/plugins/wp/Letify.annot src/plugins/wp/Cleaning.annot src/plugins/wp/Mstate.annot src/plugins/wp/Conditions.annot src/plugins/wp/Filtering.annot src/plugins/wp/Plang.annot src/
src/plugins/wp/MemZeroAlias.annot src/plugins/wp/MemVar.annot src/plugins/wp/MemMemory.annot src/plugins/wp/MemTyped.annot src/plugins/wp/MemRegion.annot src/plugins/wp/MemVal.annot src/plugins/wp/wpReached.annot src/plugins/wp/wpRTE.annot src/plugins/wp/wpTarget.annot src/plugins/wp/CfgCompiler.annot src/plugins/wp/StmtSemantics.annot src/plugins/wp/VCS.annot src/plugins/wp/script.annot src/plugins/wp/wpo.annot src/plugins/wp/wpReport.annot src/plugins/wp/Footprint.annot src/plugins/wp/Tactical.annot
src/plugins/wp/TacInstance.annot src/plugins/wp/TacLemma.annot src/plugins/wp/TacFilter.annot src/plugins/wp/TacCut.annot src/plugins/wp/WpTac.annot src/plugins/wp/TacNormalForm.annot src/plugins/wp/TacRewrite.annot src/plugins/wp/TacBitwised.annot src/plugins/wp/TacBitrange.annot src/plugins/wp/TacBittest.annot src/plugins/wp/TacModMask.annot src/plugins/wp/TacShift.annot src/plugins/wp/TacSequence.annot src/plugins/wp/TacCongruence.annot src/plugins/wp/TacOverflow.annot src/plugins/wp/Auto.annot src/
src/plugins/wp/ProverScript.annot src/plugins/wp/Factory.annot src/plugins/wp/cfgInit.annot src/plugins/wp/cfgAnnot.annot src/plugins/wp/cfgInfos.annot src/plugins/wp/cfgCalculus.annot src/plugins/wp/cfgDump.annot src/plugins/wp/cfgWP.annot src/plugins/wp/cfgGenerator.annot src/plugins/wp/Generator.annot src/plugins/wp/register.annot src/plugins/wp/VC.annot src/plugins/wp/GuiConfig.annot src/plugins/wp/GuiList.annot src/plugins/wp/GuiSequent.annot src/plugins/wp/GuiProver.annot src/plugins/wp/GuiTactic.
rm -f src/plugins/wp/rformat.o src/plugins/wp/wprop.o src/plugins/wp/wp_parameters.o src/plugins/wp/wp_error.o src/plugins/wp/Why3Provers.o src/plugins/wp/Context.o src/plugins/wp/Warning.o src/plugins/wp/dyncall.o src/plugins/wp/ctypes.o src/plugins/wp/clabels.o src/plugins/wp/AssignsCompleteness.o src/plugins/wp/MemoryContext.o src/plugins/wp/wpContext.o src/plugins/wp/LogicUsage.o src/plugins/wp/RefUsage.o src/plugins/wp/Layout.o src/plugins/wp/Region.o src/plugins/wp/RegionAnnot.o src/plugins/wp/
src/plugins/wp/Cmath.o src/plugins/wp/Cint.o src/plugins/wp/Cfloat.o src/plugins/wp/Vset.o src/plugins/wp/Vlist.o src/plugins/wp/Cstring.o src/plugins/wp/Cvalues.o src/plugins/wp/Letify.o src/plugins/wp/Cleaning.o src/plugins/wp/Mstate.o src/plugins/wp/Conditions.o src/plugins/wp/Filtering.o src/plugins/wp/Plang.o src/plugins/wp/Pcfg.o src/plugins/wp/Pcond.o src/plugins/wp/CodeSemantics.o src/plugins/wp/LogicCompiler.o src/plugins/wp/LogicSemantics.o src/plugins/wp/LogicAssigns.o src/plugins/wp/Sigma.o
src/plugins/wp/CfgCompiler.o src/plugins/wp/StmtSemantics.o src/plugins/wp/VCS.o src/plugins/wp/script.o src/plugins/wp/wpo.o src/plugins/wp/wpReport.o src/plugins/wp/Footprint.o src/plugins/wp/Tactical.o src/plugins/wp/Strategy.o src/plugins/wp/TacClear.o src/plugins/wp/TacSplit.o src/plugins/wp/TacChoice.o src/plugins/wp/TacRange.o src/plugins/wp/TacInduction.o src/plugins/wp/TacArray.o src/plugins/wp/TacCompound.o src/plugins/wp/TacUnfold.o src/plugins/wp/TacHavoc.o src/plugins/wp/TacInstance.
src/plugins/wp/TacSequence.o src/plugins/wp/TacCongruence.o src/plugins/wp/TacOverflow.o src/plugins/wp/Auto.o src/plugins/wp/ProofSession.o src/plugins/wp/ProofScript.o src/plugins/wp/ProofEngine.o src/plugins/wp/ProverTask.o src/plugins/wp/filter_axioms.o src/plugins/wp/Cache.o src/plugins/wp/ProverWhy3.o src/plugins/wp/driver.o src/plugins/wp/prover.o src/plugins/wp/ProverSearch.o src/plugins/wp/ProverScript.o src/plugins/wp/Factory.o src/plugins/wp/cfgInit.o src/plugins/wp/cfgAnnot.o src/
src/plugins/wp/GuiTactic.o src/plugins/wp/GuiProof.o src/plugins/wp/GuiComposer.o src/plugins/wp/GuiGoal.o src/plugins/wp/GuiSource.o src/plugins/wp/GuiPanel.o src/plugins/wp/GuiNavigator.ointernals/runtime src/kernel_services/parsetree src/kernel_services/ast_data src/kernel_services/ast_queries src/kernel_services/ast_printing src/kernel_services/ast_building src/kernel_services/cmdline_parameters src/kernel_services/plugin_entry_points
rm -f src/plugins/wp/*~ src/plugins/wp/*.cm* src/plugins/wp/*.o src/plugins/wp/*.annot
rm -f
rm -f -f src/plugins/wp/Wp.check_mli_exists
rm -f tests/*/*.byte tests/*/*.opt tests/*/*.cm* \
tests/dynamic/.cm* tests/*/*~ tests/*/#*
rm -f tests/*/result/*.*
rm -f frama_c_journal*
rm -f *.log
rm -f /<<PKGBUILDDIR>>/lib/plugins/*.mli /<<PKGBUILDDIR>>/lib/plugins/*.cm* /<<PKGBUILDDIR>>/lib/plugins/*.o /<<PKGBUILDDIR>>/lib/plugins/META.*
rm -f /<<PKGBUILDDIR>>/lib/plugins/top/*.mli /<<PKGBUILDDIR>>/lib/plugins/top/*.cm* /<<PKGBUILDDIR>>/lib/plugins/top/*.o /<<PKGBUILDDIR>>/lib/plugins/top/*.a
rm -f /<<PKGBUILDDIR>>/lib/plugins/gui/*.mli /<<PKGBUILDDIR>>/lib/plugins/gui/*.cm* /<<PKGBUILDDIR>>/lib/plugins/gui/*.o /<<PKGBUILDDIR>>/lib/plugins/gui/*.a
rm -f lib/*.cm* lib/*.o lib/fc/*.cm* lib/fc/*.o lib/gui/*.cm* lib/*.cm*
for d in . ptests /<<PKGBUILDDIR>>/lib/plugins src/plugins/pdg_types src/plugins/value_types src/libraries/stdlib src/libraries/utils src/libraries/project src/libraries/datatype src/kernel_internals/parsing src/kernel_internals/typing src/kernel_
rm -f $d/*.cm* $d/*.o $d/*.a $d/*.annot $d/*~ $d/*.output \parser.mli src/kernel_internals/parsing/logic_preprocess.ml src/plugins/gui/GSourceView.ml src/plugins/gui/GSourceView.mli src/plugins/gui/dgraph_helper.ml src/plugins/gui/gtk_compat.ml src/plugins/gui/gtk_compat.ml src/kernel_internals/runtime/fc_config.
$d/*.annot $d/\#*; \
done
rm -f src/kernel_internals/parsing/clexer.ml src/kernel_internals/parsing/cparser.ml src/kernel_internals/parsing/cparser.mli src/kernel_internals/parsing/logic_lexer.ml src/kernel_internals/parsing/logic_parser.ml src/kernel_internals/parsing/logic_
rm -f bin/toplevel.byte bin/viewer.byte \
bin/ptests.byte bin/*.opt bin/toplevel.top
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
rm -f -rf lib .depend
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_ocamlclean
dh_clean
dpkg-source -b .
dpkg-source: info: using source format '3.0 (quilt)'
dpkg-source: info: building frama-c using existing ./frama-c_20220511-manganese.orig.tar.gz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: warning: ignoring deletion of directory lib
dpkg-source: warning: ignoring deletion of directory lib/gui
dpkg-source: warning: ignoring deletion of directory lib/plugins
dpkg-source: info: local changes detected, the modified files are:
frama-c-20220511-manganese/share/Makefile.dynamic_config
frama-c-20220511-manganese/src/plugins/aorai/Makefile
frama-c-20220511-manganese/src/plugins/aorai/aorai_eva_analysis.ml
frama-c-20220511-manganese/src/plugins/aorai/ltllexer.ml
frama-c-20220511-manganese/src/plugins/aorai/ltlparser.ml
frama-c-20220511-manganese/src/plugins/aorai/ltlparser.mli
frama-c-20220511-manganese/src/plugins/aorai/ltlparser.output
frama-c-20220511-manganese/src/plugins/aorai/promelalexer.ml
frama-c-20220511-manganese/src/plugins/aorai/promelalexer_withexps.ml
frama-c-20220511-manganese/src/plugins/aorai/promelaparser.ml
frama-c-20220511-manganese/src/plugins/aorai/promelaparser.mli
frama-c-20220511-manganese/src/plugins/aorai/promelaparser.output
frama-c-20220511-manganese/src/plugins/aorai/promelaparser_withexps.ml
frama-c-20220511-manganese/src/plugins/aorai/promelaparser_withexps.mli
frama-c-20220511-manganese/src/plugins/aorai/promelaparser_withexps.output
frama-c-20220511-manganese/src/plugins/aorai/tests/ptests_config
frama-c-20220511-manganese/src/plugins/aorai/tests/test_config_prove
frama-c-20220511-manganese/src/plugins/aorai/yalexer.ml
frama-c-20220511-manganese/src/plugins/aorai/yaparser.ml
frama-c-20220511-manganese/src/plugins/aorai/yaparser.mli
frama-c-20220511-manganese/src/plugins/aorai/yaparser.output
frama-c-20220511-manganese/src/plugins/dive/Makefile
frama-c-20220511-manganese/src/plugins/e-acsl/Makefile
frama-c-20220511-manganese/src/plugins/e-acsl/doc/doxygen/doxygen.cfg
frama-c-20220511-manganese/src/plugins/e-acsl/src/local_config.ml
frama-c-20220511-manganese/src/plugins/e-acsl/tests/ptests_config
frama-c-20220511-manganese/src/plugins/instantiate/Makefile
frama-c-20220511-manganese/src/plugins/instantiate/tests/ptests_config
frama-c-20220511-manganese/src/plugins/loop_analysis/Makefile
frama-c-20220511-manganese/src/plugins/markdown-report/Makefile
frama-c-20220511-manganese/src/plugins/nonterm/Makefile
frama-c-20220511-manganese/src/plugins/nonterm/tests/ptests_config
frama-c-20220511-manganese/src/plugins/obfuscator/Makefile
frama-c-20220511-manganese/src/plugins/report/Makefile
frama-c-20220511-manganese/src/plugins/report/tests/ptests_config
frama-c-20220511-manganese/src/plugins/security_slicing/Makefile
frama-c-20220511-manganese/src/plugins/server/Makefile
frama-c-20220511-manganese/src/plugins/server/Server.mli
frama-c-20220511-manganese/src/plugins/studia/Makefile
frama-c-20220511-manganese/src/plugins/value/Eva.mli
frama-c-20220511-manganese/src/plugins/variadic/Makefile
frama-c-20220511-manganese/src/plugins/variadic/tests/ptests_config
frama-c-20220511-manganese/src/plugins/wp/Makefile
frama-c-20220511-manganese/src/plugins/wp/driver.ml
frama-c-20220511-manganese/src/plugins/wp/rformat.ml
frama-c-20220511-manganese/src/plugins/wp/script.ml
frama-c-20220511-manganese/src/plugins/wp/tests/ptests_config
dpkg-source: error: aborting due to unexpected upstream changes, see /tmp/frama-c_20220511-manganese-4.diff.QcX40D
dpkg-source: info: Hint: make sure the version in debian/changelog matches the unpacked source tree
dpkg-source: info: you can integrate the local changes with dpkg-source --commit
dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 2
E: Command 'cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S' failed to run.
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 491 |
Nodes: | 16 (2 / 14) |
Uptime: | 98:25:48 |
Calls: | 9,679 |
Files: | 13,725 |
Messages: | 6,174,630 |