 Achim D. Brucker
|
e609ebcf08
|
Updated entcs and AFP URLs.
|
2023-03-04 18:57:08 +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
|
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
|
13553ff8aa
|
Fixed Sourceforce URL.
lh-docker/lh-docker-isabelle/master There was a failure building this commit
Details
|
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
Details
|
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
Details
|
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
Details
|
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
Details
|
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
Details
|
2019-08-15 20:23:15 +01:00 |
|
Achim D. Brucker
|
d88f0ed610
|
Added support for Isabelle 2019.
lh-docker/lh-docker-isabelle/master This commit looks good
Details
|
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
|
df8414822f
|
Add isabelle bin directory to PATH.
|
2019-01-05 17:05:18 +00:00 |
|
Achim D. Brucker
|
1b32ba0fd4
|
Removed entry point.
|
2019-01-05 16:57:59 +00:00 |
|
Achim D. Brucker
|
442fec5c3c
|
Renabled SHELL directive.
|
2019-01-05 15:56:36 +00:00 |
|
Achim D. Brucker
|
5c409c00a7
|
Disabled SHELL directive.
|
2019-01-05 15:08:41 +00:00 |
|
Achim D. Brucker
|
b64cf8a7be
|
Initial commit isabelle.
|
2019-01-03 09:41:12 +00:00 |