isabelle: Admin/jenkins/run_build@ef2134570abb (annotated)

63288 e0513d6e4916 start moving actual Jenkins build scripts into the repository Lars Hupel <lars.hupel@mytum.de> parents: diff changeset	1	#!/usr/bin/env bash
e0513d6e4916 start moving actual Jenkins build scripts into the repository Lars Hupel <lars.hupel@mytum.de> parents: diff changeset	2	#
e0513d6e4916 start moving actual Jenkins build scripts into the repository Lars Hupel <lars.hupel@mytum.de> parents: diff changeset	3	# Do not run this script manually, it is only to be executed by Jenkins.
e0513d6e4916 start moving actual Jenkins build scripts into the repository Lars Hupel <lars.hupel@mytum.de> parents: diff changeset	4
e0513d6e4916 start moving actual Jenkins build scripts into the repository Lars Hupel <lars.hupel@mytum.de> parents: diff changeset	5	set -x
e0513d6e4916 start moving actual Jenkins build scripts into the repository Lars Hupel <lars.hupel@mytum.de> parents: diff changeset	6	set -e
e0513d6e4916 start moving actual Jenkins build scripts into the repository Lars Hupel <lars.hupel@mytum.de> parents: diff changeset	7
e0513d6e4916 start moving actual Jenkins build scripts into the repository Lars Hupel <lars.hupel@mytum.de> parents: diff changeset	8	PROFILE="$1"
e0513d6e4916 start moving actual Jenkins build scripts into the repository Lars Hupel <lars.hupel@mytum.de> parents: diff changeset	9	shift
e0513d6e4916 start moving actual Jenkins build scripts into the repository Lars Hupel <lars.hupel@mytum.de> parents: diff changeset	10
e0513d6e4916 start moving actual Jenkins build scripts into the repository Lars Hupel <lars.hupel@mytum.de> parents: diff changeset	11	bin/isabelle components -a
e0513d6e4916 start moving actual Jenkins build scripts into the repository Lars Hupel <lars.hupel@mytum.de> parents: diff changeset	12	bin/isabelle jedit -bf
69137 90fce429e1bc Jenkins: run ocaml_setup Lars Hupel <lars.hupel@mytum.de> parents: 63288 diff changeset	13	bin/isabelle ocaml_setup
69161 44e1c9f93755 Jenkins: run ghc_setup Lars Hupel <lars.hupel@mytum.de> parents: 69137 diff changeset	14	bin/isabelle ghc_setup
80044 da323d3d7570 proper "isabelle go_setup" for Jenkins; wenzelm parents: 76223 diff changeset	15	bin/isabelle go_setup
76223 be91db94e526 amend jenkins ci build; Fabian Huch <huch@in.tum.de> parents: 76222 diff changeset	16	bin/isabelle ci_build "$PROFILE" "$@"

author	wenzelm
	Wed, 17 Apr 2024 23:22:32 +0200
changeset 80132	ef2134570abb
parent 80044	da323d3d7570
permissions	-rwxr-xr-x