author | wenzelm |
Mon, 23 Jan 2017 22:37:57 +0100 | |
changeset 64941 | 730bc1bcf27c |
parent 64906 | 49549acbf025 |
child 64942 | bae35a568b1b |
permissions | -rw-r--r-- |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
1 |
/* Title: Pure/Admin/build_docker.scala |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
2 |
Author: Makarius |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
3 |
|
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
4 |
Build docker image from Isabelle application bundle for Linux. |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
5 |
*/ |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
6 |
|
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
7 |
package isabelle |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
8 |
|
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
9 |
|
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
10 |
object Build_Docker |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
11 |
{ |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
12 |
private lazy val default_logic = Isabelle_System.getenv("ISABELLE_LOGIC") |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
13 |
|
64905
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
14 |
private val Isabelle_Name = """^.*?(Isabelle[^/\\:]+)_(?:app|linux)\.tar\.gz$""".r |
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
15 |
|
64899
749d3a86c6a3
clarified signature: packages may be accessed in Isabelle/Scala;
wenzelm
parents:
64897
diff
changeset
|
16 |
val packages: List[String] = |
64903
ba72a13eb78c
afford approx. 10MB for curl, e.g. required for "isabelle components";
wenzelm
parents:
64899
diff
changeset
|
17 |
List("curl", "less", "lib32stdc++6", "libgomp1", "libwww-perl", "rlwrap", "unzip") |
64894 | 18 |
|
64899
749d3a86c6a3
clarified signature: packages may be accessed in Isabelle/Scala;
wenzelm
parents:
64897
diff
changeset
|
19 |
val package_collections: Map[String, List[String]] = |
64895 | 20 |
Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"), |
21 |
"latex" -> List("texlive-fonts-extra", "texlive-latex-extra", "texlive-math-extra")) |
|
64894 | 22 |
|
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
23 |
def build_docker(progress: Progress, |
64905
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
24 |
app_archive: String, |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
25 |
logic: String = default_logic, |
64906
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
26 |
no_build: Boolean = false, |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
27 |
output: Option[Path] = None, |
64899
749d3a86c6a3
clarified signature: packages may be accessed in Isabelle/Scala;
wenzelm
parents:
64897
diff
changeset
|
28 |
more_packages: List[String] = Nil, |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
29 |
tag: String = "", |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
30 |
verbose: Boolean = false) |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
31 |
{ |
64905
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
32 |
val isabelle_name = |
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
33 |
app_archive match { |
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
34 |
case Isabelle_Name(name) => name |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
35 |
case _ => error("Cannot determine Isabelle distribution name from " + app_archive) |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
36 |
} |
64905
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
37 |
val is_remote = Url.is_wellformed(app_archive) |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
38 |
|
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
39 |
val dockerfile = |
64905
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
40 |
"""## Dockerfile for """ + isabelle_name + """ |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
41 |
|
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
42 |
FROM ubuntu |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
43 |
SHELL ["/bin/bash", "-c"] |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
44 |
|
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
45 |
# packages |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
46 |
RUN apt-get -y update && \ |
64941 | 47 |
apt-get install -y """ + Bash.strings(packages ::: more_packages) + """ && \ |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
48 |
apt-get clean |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
49 |
|
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
50 |
# user |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
51 |
RUN useradd -m isabelle && (echo isabelle:isabelle | chpasswd) |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
52 |
USER isabelle |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
53 |
|
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
54 |
# Isabelle |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
55 |
WORKDIR /home/isabelle |
64905
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
56 |
""" + |
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
57 |
(if (is_remote) |
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
58 |
"RUN curl --fail --silent " + Bash.string(app_archive) + " > Isabelle.tar.gz" |
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
59 |
else "COPY Isabelle.tar.gz .") + |
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
60 |
""" |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
61 |
RUN tar xzf Isabelle.tar.gz && \ |
64905
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
62 |
mv """ + isabelle_name + """ Isabelle && \ |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
63 |
rm -rf Isabelle.tar.gz Isabelle/contrib/jdk/x86-linux && \ |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
64 |
perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="\$USER_HOME/.isabelle",g;' Isabelle/etc/settings && \ |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
65 |
perl -pi -e 's,ISABELLE_LOGIC=.*,ISABELLE_LOGIC=""" + logic + """,g;' Isabelle/etc/settings && \ |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
66 |
Isabelle/bin/isabelle build -s -b """ + logic + """ |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
67 |
|
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
68 |
ENTRYPOINT ["Isabelle/bin/isabelle"] |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
69 |
""" |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
70 |
|
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
71 |
output.foreach(File.write(_, dockerfile)) |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
72 |
|
64906
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
73 |
if (!no_build) { |
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
74 |
Isabelle_System.with_tmp_dir("docker")(tmp_dir => |
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
75 |
{ |
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
76 |
File.write(tmp_dir + Path.explode("Dockerfile"), dockerfile) |
64905
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
77 |
|
64906
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
78 |
if (is_remote) { |
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
79 |
if (!Url.is_readable(app_archive)) |
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
80 |
error("Cannot access remote archive " + app_archive) |
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
81 |
} |
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
82 |
else File.copy(Path.explode(app_archive), tmp_dir + Path.explode("Isabelle.tar.gz")) |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
83 |
|
64906
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
84 |
val quiet_option = if (verbose) "" else " -q" |
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
85 |
val tag_option = if (tag == "") "" else " -t " + Bash.string(tag) |
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
86 |
progress.bash("docker build" + quiet_option + tag_option + " " + File.bash_path(tmp_dir), |
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
87 |
echo = true).check |
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
88 |
}) |
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
89 |
} |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
90 |
} |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
91 |
|
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
92 |
|
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
93 |
/* Isabelle tool wrapper */ |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
94 |
|
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
95 |
val isabelle_tool = |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
96 |
Isabelle_Tool("build_docker", "build Isabelle docker image", args => |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
97 |
{ |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
98 |
var logic = default_logic |
64906
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
99 |
var no_build = false |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
100 |
var output: Option[Path] = None |
64899
749d3a86c6a3
clarified signature: packages may be accessed in Isabelle/Scala;
wenzelm
parents:
64897
diff
changeset
|
101 |
var more_packages: List[String] = Nil |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
102 |
var verbose = false |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
103 |
var tag = "" |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
104 |
|
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
105 |
val getopts = |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
106 |
Getopts(""" |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
107 |
Usage: isabelle build_docker [OPTIONS] APP_ARCHIVE |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
108 |
|
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
109 |
Options are: |
64894 | 110 |
-P NAME additional Ubuntu package collection (""" + |
64895 | 111 |
package_collections.keySet.toList.sorted.map(quote(_)).mkString(", ") + """) |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
112 |
-l NAME default logic (default ISABELLE_LOGIC=""" + quote(default_logic) + """) |
64906
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
113 |
-n no docker build |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
114 |
-o FILE output generated Dockerfile |
64894 | 115 |
-p NAME additional Ubuntu package |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
116 |
-t TAG docker build tag |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
117 |
-v verbose |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
118 |
|
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
119 |
Build Isabelle docker image with default logic image, using a standard |
64905
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
120 |
Isabelle application archive for Linux (local file or remote URL). |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
121 |
|
64905
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
122 |
Examples: |
64895 | 123 |
|
64896 | 124 |
isabelle build_docker -t test/isabelle:Isabelle2016-1 Isabelle2016-1_app.tar.gz |
64905
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
125 |
|
64906
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
126 |
isabelle build_docker -n -o Dockerfile http://isabelle.in.tum.de/dist/Isabelle2016-1_app.tar.gz |
64905
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
127 |
|
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
128 |
""", |
64894 | 129 |
"P:" -> (arg => |
130 |
package_collections.get(arg) match { |
|
64899
749d3a86c6a3
clarified signature: packages may be accessed in Isabelle/Scala;
wenzelm
parents:
64897
diff
changeset
|
131 |
case Some(ps) => more_packages :::= ps |
64894 | 132 |
case None => error("Unknown package collection " + quote(arg)) |
133 |
}), |
|
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
134 |
"l:" -> (arg => logic = arg), |
64906
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
135 |
"n" -> (_ => no_build = true), |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
136 |
"o:" -> (arg => output = Some(Path.explode(arg))), |
64899
749d3a86c6a3
clarified signature: packages may be accessed in Isabelle/Scala;
wenzelm
parents:
64897
diff
changeset
|
137 |
"p:" -> (arg => more_packages ::= arg), |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
138 |
"t:" -> (arg => tag = arg), |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
139 |
"v" -> (_ => verbose = true)) |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
140 |
|
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
141 |
val more_args = getopts(args) |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
142 |
val app_archive = |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
143 |
more_args match { |
64905
5e2eb9b14bbe
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
wenzelm
parents:
64903
diff
changeset
|
144 |
case List(arg) => arg |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
145 |
case _ => getopts.usage() |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
146 |
} |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
147 |
|
64906
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
148 |
build_docker(new Console_Progress(), app_archive, logic = logic, no_build = no_build, |
49549acbf025
added option -n, e.g. useful to generate Dockerfile only;
wenzelm
parents:
64905
diff
changeset
|
149 |
output = output, more_packages = more_packages, tag = tag, verbose = verbose) |
64890
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
150 |
}, admin = true) |
d8ccbd5305bf
build docker image from Isabelle application bundle for Linux;
wenzelm
parents:
diff
changeset
|
151 |
} |