Achim D. Brucker
|
b55a4de7f1
|
Add date argument to invalidate cache.
|
2023-05-07 15:41:13 +01:00 |
Achim D. Brucker
|
6daeb20397
|
Switched to a root-user setup for simplicity.
|
2023-05-03 10:40:26 +01:00 |
Achim D. Brucker
|
18895bdb55
|
Initial upload: Dockerfile for Isabelle nightly builds.
|
2023-04-27 13:36:47 +01:00 |
Achim D. Brucker
|
e609ebcf08
|
Updated entcs and AFP URLs.
|
2023-03-04 18:57:08 +00:00 |
Achim D. Brucker
|
3d7d357302
|
Added python3-urllib3, which is required by pipenv.
|
2023-03-02 16:20:28 +00:00 |
Achim D. Brucker
|
3fdb7b86b4
|
Updated default version to Isabelle 2022.
|
2022-10-30 20:44:17 +00:00 |
Achim D. Brucker
|
0ae1e8eafa
|
Disabled build of Isabelle/DOF image.
|
2022-10-30 20:44:02 +00:00 |
Achim D. Brucker
|
5c2343f8d0
|
Use Debian unstable and add lipics style.
|
2022-10-30 20:42:57 +00:00 |
Achim D. Brucker
|
cde06430a7
|
Fix for Isabelle 2021.
|
2022-10-30 20:42:23 +00:00 |
Achim D. Brucker
|
aaad4fb482
|
Clean /tmp director after build.
|
2021-04-13 12:25:49 +01:00 |
Achim D. Brucker
|
9fa6b32b53
|
Added links for Isabelle/DOF 1.1.0.
|
2021-03-21 00:41:35 +00:00 |
Achim D. Brucker
|
315b3d1b1d
|
Setup for various versions of Isabelle.
|
2021-03-21 00:16:39 +00:00 |
Achim D. Brucker
|
4b2e86c6ad
|
Added link for Isabelle2021 image.
|
2021-03-18 19:19:29 +00:00 |
Achim D. Brucker
|
6b8827830d
|
Updated latest Isabelle version and export environment.
|
2021-03-18 19:19:09 +00:00 |
Achim D. Brucker
|
39b2e5865e
|
Bug fix: LATEST defined twice.
|
2021-03-06 18:12:49 +00:00 |
Achim D. Brucker
|
1c7a99b9c1
|
Fixed markdown.
|
2021-01-24 14:57:00 +00:00 |
Achim D. Brucker
|
d5198cdd37
|
Fixed markdown.
|
2021-01-24 14:55:17 +00:00 |
Achim D. Brucker
|
6c588e2fa1
|
Fixed markdown.
|
2021-01-24 14:54:50 +00:00 |
Achim D. Brucker
|
e592260376
|
Added links to docker hub.
|
2021-01-24 14:53:53 +00:00 |
Achim D. Brucker
|
84e02a0e23
|
Added note that files are tested with podman and Docker.
|
2021-01-22 21:34:42 +00:00 |
Achim D. Brucker
|
c7c5b0f4ce
|
Added build dir.
|
2021-01-17 16:14:59 +00:00 |
Achim D. Brucker
|
a80fd4d3c4
|
Enable use global config.
|
2021-01-16 13:16:24 +00:00 |
Achim D. Brucker
|
67cc9b43c4
|
Use $IMAGE_NAME for tagging.
|
2021-01-15 11:50:43 +00:00 |
Achim D. Brucker
|
1e8603f50e
|
Allow non-unique uids.
|
2021-01-13 22:50:30 +00:00 |
Achim D. Brucker
|
72212b998c
|
Fixed typo.
|
2021-01-09 19:23:58 +00:00 |
Achim D. Brucker
|
bd83a9f241
|
Factored configuration in separate file.
|
2021-01-09 19:11:06 +00:00 |
Achim D. Brucker
|
f31ef95fe9
|
Use docker as default container.
|
2021-01-03 23:35:07 +00:00 |
Achim D. Brucker
|
2cfef2ddfc
|
Allow user of podman as alternative to docker.
|
2021-01-03 21:50:25 +00:00 |
Achim D. Brucker
|
1f569f2f74
|
Fixed typo.
|
2021-01-03 16:29:38 +00:00 |
Achim D. Brucker
|
b32ee44980
|
Use full registry URL (allows to use the Dockerfile, e.g., with podman, without the need to configure the registry.
|
2021-01-02 09:25:56 +00:00 |
Achim D. Brucker
|
b761d788a8
|
Update to Isabelle 2020.
lh-docker/lh-docker-isabelle/master There was a failure building this commit
Detalhes
lh-docker/lh-docker-isabelle/pipeline/head There was a failure building this commit
Detalhes
|
2020-05-03 15:04:08 +01:00 |
Achim D. Brucker
|
d8863b054c
|
Log image version during build.
lh-docker/lh-docker-isabelle/master This commit looks good
Detalhes
|
2019-08-18 19:52:20 +01:00 |
Achim D. Brucker
|
b0cecf990e
|
Install PDF viewer.
lh-docker/lh-docker-isabelle/master This commit looks good
Detalhes
|
2019-08-18 17:01:19 +01:00 |
Achim D. Brucker
|
95ec2a3f0c
|
Use official release archive for generating Docker images.
lh-docker/lh-docker-isabelle/master This commit looks good
Detalhes
|
2019-08-18 16:42:12 +01:00 |
Achim D. Brucker
|
3d49783668
|
Bug fix: examples in JEdit docker.
|
2019-08-18 09:17:26 +01:00 |
Achim D. Brucker
|
1f51468201
|
Inital commit of Dockerfile for Isabelle/DOF.
|
2019-08-17 22:53:10 +01:00 |
Achim D. Brucker
|
355588690a
|
Fixed project URL and improved description of Isabelle images.
|
2019-08-16 16:44:21 +01:00 |
Achim D. Brucker
|
8ada0bd1b9
|
Source hook locally.
lh-docker/lh-docker-isabelle/master This commit looks good
Detalhes
|
2019-08-16 14:16:06 +01:00 |
Achim D. Brucker
|
13553ff8aa
|
Fixed Sourceforce URL.
lh-docker/lh-docker-isabelle/master There was a failure building this commit
Detalhes
|
2019-08-16 14:04:25 +01:00 |
Achim D. Brucker
|
40fc942edf
|
Testing curl for obtaining latest AFP archive name (avoids use of w3m and awk).
lh-docker/lh-docker-isabelle/master There was a failure building this commit
Detalhes
|
2019-08-16 08:59:01 +01:00 |
Achim D. Brucker
|
b67a679bd7
|
Ensure quoting of arguments.
lh-docker/lh-docker-isabelle/master This commit looks good
Detalhes
|
2019-08-16 07:21:54 +01:00 |
Achim D. Brucker
|
0890d5a517
|
Moved Isabelle-image specific setup into build hook.
lh-docker/lh-docker-isabelle/master This commit looks good
Detalhes
|
2019-08-16 07:12:11 +01:00 |
Achim D. Brucker
|
f241eeb676
|
Updated images names.
|
2019-08-16 00:04:28 +01:00 |
Achim D. Brucker
|
b5ba5be36f
|
Added organization name to image names.
lh-docker/lh-docker-isabelle/master This commit looks good
Detalhes
|
2019-08-15 20:36:16 +01:00 |
Achim D. Brucker
|
60613ae169
|
Renamed repository to lh-docker-isabelle.
lh-docker/lh-docker-isabelle/master This commit looks good
Detalhes
|
2019-08-15 20:23:15 +01:00 |
Achim D. Brucker
|
b99b55250a
|
Install git and mercurial.
lh-docker/lh-docker-isabelle/master This commit looks good
Detalhes
|
2019-08-15 17:55:54 +01:00 |
Achim D. Brucker
|
d88f0ed610
|
Added support for Isabelle 2019.
lh-docker/lh-docker-isabelle/master This commit looks good
Detalhes
|
2019-06-18 07:39:43 +01:00 |
Achim D. Brucker
|
100fa86c71
|
Fixed PATH.
|
2019-01-06 22:47:51 +00:00 |
Achim D. Brucker
|
63915e3cc2
|
Enable configuration of UID of user in Docker container.
|
2019-01-06 01:01:09 +00:00 |
Achim D. Brucker
|
ebdd436bd0
|
Switched from http to https.
|
2019-01-06 00:12:26 +00:00 |