![[Jenkins]](/jenkins/static/109fb1e5/images/svgs/logo.svg){kind=logo}
[EnvInject] - Loading node environment variables.
Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-all
[isabelle-all] $ hg showconfig paths.default
[isabelle-all] $ hg pull --rev default
pulling from http://isabelle.in.tum.de/repos/isabelle/
added 1 changesets with 2 changes to 2 files
(run 'hg update' to get a working copy)
[isabelle-all] $ hg update --clean --rev default
4 files updated, 0 files merged, 0 files removed, 0 files unresolved
[isabelle-all] $ hg log --rev . --template {node}
[isabelle-all] $ hg log --rev . --template {rev}
[isabelle-all] $ hg log --rev 5382f5691a11f66a0cc755c766c983fb1a059ec1 --template exists\n
[isabelle-all] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev "ancestors('default') and not ancestors(5382f5691a11f66a0cc755c766c983fb1a059ec1)" --encoding UTF-8 --encodingmode replace
[afp] $ hg showconfig paths.default
pulling from https://bitbucket.org/isa-afp/afp-devel/
[afp] $ hg update --clean --rev default
471 files updated, 0 files merged, 1 files removed, 0 files unresolved
[afp] $ hg --config extensions.purge= clean --all
[afp] $ hg log --rev . --template {node}
[afp] $ hg log --rev . --template {rev}
[afp] $ hg log --rev 0af9f364ab60f16ec157848999f5a1026fc67932 --template exists\n
[afp] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev "ancestors('default') and not ancestors(0af9f364ab60f16ec157848999f5a1026fc67932)" --encoding UTF-8 --encodingmode replace
[isabelle-all] $ /bin/sh -xe /tmp/jenkins2812886704639025987.sh
### Building Isabelle/Scala ...
### Building Isabelle/jEdit ...
# To setup the new switch in the current shell, you need to run:
The following actions will be performed:
∗ install conf-perl 1 [required by zarith]
∗ install conf-m4 1 [required by ocamlfind]
∗ install conf-gmp 1 [required by zarith]
∗ install ocamlfind 1.8.0 [required by zarith]
Do you want to continue ? [Y/n] y
=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[ocamlfind: from default] Command started
[zarith: from default] Command started
[zarith: from default] Command started
[default] https://opam.ocaml.org/1.2.2/archives/zarith.1.7+opam.tar.gz downloaded
[ocamlfind: from default] Command started
[default] https://opam.ocaml.org/1.2.2/archives/ocamlfind.1.8.0+opam.tar.gz downloaded
=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[conf-gmp: sh] Command started
[conf-m4: sh echo | m4] Command started
[conf-perl: perl] Command started
[ERROR] The compilation of conf-m4 failed at "sh -exc echo | m4".
#=== ERROR while installing conf-m4.1 =========================================#
# path /media/data/jenkins/.isabelle/opam/4.05.0/build/conf-m4.1
# env-file /media/data/jenkins/.isabelle/opam/4.05.0/build/conf-m4.1/conf-m4-99398-05296d.env
# stdout-file /media/data/jenkins/.isabelle/opam/4.05.0/build/conf-m4.1/conf-m4-99398-05296d.out
# stderr-file /media/data/jenkins/.isabelle/opam/4.05.0/build/conf-m4.1/conf-m4-99398-05296d.err
=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The following actions were aborted
=-=- conf-m4.1 troobleshooting =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
=> This package relies on external (system) dependencies that may be missing.
`opam depext conf-m4.1' may help you find the correct installation for your
The former state can be restored with:
/media/data/jenkins/.isabelle/contrib/opam-1.2.2/x86_64-linux/opam switch
import "~/.isabelle/opam/4.05.0/backup/state-20190214180857.export"
Build step 'Execute shell' marked build as failure
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds