OK. This is running now in testboard:
<https://ci.isabelle.systems/jenkins/job/testboard/172/consoleFull>
The corresponding changeset is
<https://isabelle.in.tum.de/repos/testboard/rev/6d768e0eeaaf>.
I have discarded my changeset now, because Florian has pushed an
alternative solution. Here it is running:
<https://ci.isabelle.systems/jenkins/job/isabelle-all/927/consoleFull>
It initially failed because the OCaml people rely on "m4", which
apparently is not installed by default on modern Ubuntu systems.
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
