Skip to content

Commit eb9e2d1

Browse files
mtelversmtelvers
authored
Merge pull request #323 from mtelvers/archive-mirror
Add archive-mirror
2 parents 02a40d2 + 4b9d4f4 commit eb9e2d1

File tree

2 files changed

+40
-0
lines changed

2 files changed

+40
-0
lines changed

‎builds.expected

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -73,6 +73,7 @@ alpine-3.21/arm64
7373
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
7474
RUN opam-sandbox-disable
7575
RUN opam init -k git -a /home/opam/opam-repository --bare
76+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
7677
RUN rm -rf .opam/repo/default/.git
7778
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
7879

@@ -150,6 +151,7 @@ alpine-3.21/amd64
150151
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
151152
RUN opam-sandbox-disable
152153
RUN opam init -k git -a /home/opam/opam-repository --bare
154+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
153155
RUN rm -rf .opam/repo/default/.git
154156
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
155157

@@ -2050,6 +2052,7 @@ archlinux/amd64
20502052
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
20512053
RUN opam-sandbox-disable
20522054
RUN opam init -k git -a /home/opam/opam-repository --bare
2055+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
20532056
RUN rm -rf .opam/repo/default/.git
20542057
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
20552058

@@ -2336,6 +2339,7 @@ debian-12/s390x
23362339
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
23372340
RUN opam-sandbox-disable
23382341
RUN opam init -k git -a /home/opam/opam-repository --bare
2342+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
23392343
RUN rm -rf .opam/repo/default/.git
23402344
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
23412345

@@ -2416,6 +2420,7 @@ debian-12/ppc64le
24162420
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
24172421
RUN opam-sandbox-disable
24182422
RUN opam init -k git -a /home/opam/opam-repository --bare
2423+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
24192424
RUN rm -rf .opam/repo/default/.git
24202425
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
24212426

@@ -2499,6 +2504,7 @@ debian-12/arm32v7
24992504
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
25002505
RUN opam-sandbox-disable
25012506
RUN opam init -k git -a /home/opam/opam-repository --bare
2507+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
25022508
RUN rm -rf .opam/repo/default/.git
25032509
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
25042510

@@ -2579,6 +2585,7 @@ debian-12/arm64
25792585
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
25802586
RUN opam-sandbox-disable
25812587
RUN opam init -k git -a /home/opam/opam-repository --bare
2588+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
25822589
RUN rm -rf .opam/repo/default/.git
25832590
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
25842591

@@ -2659,6 +2666,7 @@ debian-12/amd64
26592666
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
26602667
RUN opam-sandbox-disable
26612668
RUN opam init -k git -a /home/opam/opam-repository --bare
2669+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
26622670
RUN rm -rf .opam/repo/default/.git
26632671
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
26642672

@@ -2742,6 +2750,7 @@ debian-12/i386
27422750
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
27432751
RUN opam-sandbox-disable
27442752
RUN opam init -k git -a /home/opam/opam-repository --bare
2753+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
27452754
RUN rm -rf .opam/repo/default/.git
27462755
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
27472756

@@ -7031,6 +7040,7 @@ debian-11/arm32v7
70317040
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
70327041
RUN opam-sandbox-disable
70337042
RUN opam init -k git -a /home/opam/opam-repository --bare
7043+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
70347044
RUN rm -rf .opam/repo/default/.git
70357045
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
70367046

@@ -7111,6 +7121,7 @@ debian-11/arm64
71117121
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
71127122
RUN opam-sandbox-disable
71137123
RUN opam init -k git -a /home/opam/opam-repository --bare
7124+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
71147125
RUN rm -rf .opam/repo/default/.git
71157126
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
71167127

@@ -7191,6 +7202,7 @@ debian-11/amd64
71917202
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
71927203
RUN opam-sandbox-disable
71937204
RUN opam init -k git -a /home/opam/opam-repository --bare
7205+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
71947206
RUN rm -rf .opam/repo/default/.git
71957207
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
71967208

@@ -7274,6 +7286,7 @@ debian-11/i386
72747286
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
72757287
RUN opam-sandbox-disable
72767288
RUN opam init -k git -a /home/opam/opam-repository --bare
7289+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
72777290
RUN rm -rf .opam/repo/default/.git
72787291
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
72797292

@@ -8203,6 +8216,7 @@ debian-testing/amd64
82038216
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
82048217
RUN opam-sandbox-disable
82058218
RUN opam init -k git -a /home/opam/opam-repository --bare
8219+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
82068220
RUN rm -rf .opam/repo/default/.git
82078221
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
82088222

@@ -8501,6 +8515,7 @@ debian-unstable/amd64
85018515
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
85028516
RUN opam-sandbox-disable
85038517
RUN opam init -k git -a /home/opam/opam-repository --bare
8518+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
85048519
RUN rm -rf .opam/repo/default/.git
85058520
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
85068521

@@ -8797,6 +8812,7 @@ fedora-41/arm64
87978812
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
87988813
RUN opam-sandbox-disable
87998814
RUN opam init -k git -a /home/opam/opam-repository --bare
8815+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
88008816
RUN rm -rf .opam/repo/default/.git
88018817
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
88028818

@@ -8875,6 +8891,7 @@ fedora-41/amd64
88758891
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
88768892
RUN opam-sandbox-disable
88778893
RUN opam init -k git -a /home/opam/opam-repository --bare
8894+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
88788895
RUN rm -rf .opam/repo/default/.git
88798896
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
88808897

@@ -9348,6 +9365,7 @@ fedora-42/arm64
93489365
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
93499366
RUN opam-sandbox-disable
93509367
RUN opam init -k git -a /home/opam/opam-repository --bare
9368+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
93519369
RUN rm -rf .opam/repo/default/.git
93529370
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
93539371

@@ -9426,6 +9444,7 @@ fedora-42/amd64
94269444
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
94279445
RUN opam-sandbox-disable
94289446
RUN opam init -k git -a /home/opam/opam-repository --bare
9447+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
94299448
RUN rm -rf .opam/repo/default/.git
94309449
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
94319450

@@ -9919,6 +9938,7 @@ oraclelinux-8/amd64
99199938
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
99209939
RUN opam-sandbox-disable
99219940
RUN opam init -k git -a /home/opam/opam-repository --bare
9941+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
99229942
RUN rm -rf .opam/repo/default/.git
99239943
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
99249944

@@ -10203,6 +10223,7 @@ oraclelinux-9/amd64
1020310223
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
1020410224
RUN opam-sandbox-disable
1020510225
RUN opam init -k git -a /home/opam/opam-repository --bare
10226+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
1020610227
RUN rm -rf .opam/repo/default/.git
1020710228
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
1020810229

@@ -10501,6 +10522,7 @@ opensuse-15.6/arm64
1050110522
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
1050210523
RUN opam-sandbox-disable
1050310524
RUN opam init -k git -a /home/opam/opam-repository --bare
10525+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
1050410526
RUN rm -rf .opam/repo/default/.git
1050510527
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
1050610528

@@ -10578,6 +10600,7 @@ opensuse-15.6/amd64
1057810600
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
1057910601
RUN opam-sandbox-disable
1058010602
RUN opam init -k git -a /home/opam/opam-repository --bare
10603+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
1058110604
RUN rm -rf .opam/repo/default/.git
1058210605
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
1058310606

@@ -11089,6 +11112,7 @@ opensuse-tumbleweed/amd64
1108911112
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
1109011113
RUN opam-sandbox-disable
1109111114
RUN opam init -k git -a /home/opam/opam-repository --bare
11115+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
1109211116
RUN rm -rf .opam/repo/default/.git
1109311117
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
1109411118

@@ -11387,6 +11411,7 @@ ubuntu-22.04/s390x
1138711411
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
1138811412
RUN opam-sandbox-disable
1138911413
RUN opam init -k git -a /home/opam/opam-repository --bare
11414+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
1139011415
RUN rm -rf .opam/repo/default/.git
1139111416
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
1139211417

@@ -11467,6 +11492,7 @@ ubuntu-22.04/ppc64le
1146711492
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
1146811493
RUN opam-sandbox-disable
1146911494
RUN opam init -k git -a /home/opam/opam-repository --bare
11495+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
1147011496
RUN rm -rf .opam/repo/default/.git
1147111497
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
1147211498

@@ -11547,6 +11573,7 @@ ubuntu-22.04/arm64
1154711573
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
1154811574
RUN opam-sandbox-disable
1154911575
RUN opam init -k git -a /home/opam/opam-repository --bare
11576+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
1155011577
RUN rm -rf .opam/repo/default/.git
1155111578
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
1155211579

@@ -11627,6 +11654,7 @@ ubuntu-22.04/amd64
1162711654
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
1162811655
RUN opam-sandbox-disable
1162911656
RUN opam init -k git -a /home/opam/opam-repository --bare
11657+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
1163011658
RUN rm -rf .opam/repo/default/.git
1163111659
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
1163211660

@@ -11707,6 +11735,7 @@ ubuntu-22.04/riscv64
1170711735
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
1170811736
RUN opam-sandbox-disable
1170911737
RUN opam init -k git -a /home/opam/opam-repository --bare
11738+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
1171011739
RUN rm -rf .opam/repo/default/.git
1171111740
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
1171211741

@@ -12773,6 +12802,7 @@ ubuntu-24.04/s390x
1277312802
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
1277412803
RUN opam-sandbox-disable
1277512804
RUN opam init -k git -a /home/opam/opam-repository --bare
12805+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
1277612806
RUN rm -rf .opam/repo/default/.git
1277712807
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
1277812808

@@ -12853,6 +12883,7 @@ ubuntu-24.04/ppc64le
1285312883
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
1285412884
RUN opam-sandbox-disable
1285512885
RUN opam init -k git -a /home/opam/opam-repository --bare
12886+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
1285612887
RUN rm -rf .opam/repo/default/.git
1285712888
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
1285812889

@@ -12933,6 +12964,7 @@ ubuntu-24.04/arm64
1293312964
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
1293412965
RUN opam-sandbox-disable
1293512966
RUN opam init -k git -a /home/opam/opam-repository --bare
12967+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
1293612968
RUN rm -rf .opam/repo/default/.git
1293712969
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
1293812970

@@ -13013,6 +13045,7 @@ ubuntu-24.04/amd64
1301313045
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
1301413046
RUN opam-sandbox-disable
1301513047
RUN opam init -k git -a /home/opam/opam-repository --bare
13048+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
1301613049
RUN rm -rf .opam/repo/default/.git
1301713050
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
1301813051

@@ -13093,6 +13126,7 @@ ubuntu-24.04/riscv64
1309313126
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
1309413127
RUN opam-sandbox-disable
1309513128
RUN opam init -k git -a /home/opam/opam-repository --bare
13129+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
1309613130
RUN rm -rf .opam/repo/default/.git
1309713131
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
1309813132

@@ -14174,6 +14208,7 @@ ubuntu-24.10/s390x
1417414208
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
1417514209
RUN opam-sandbox-disable
1417614210
RUN opam init -k git -a /home/opam/opam-repository --bare
14211+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
1417714212
RUN rm -rf .opam/repo/default/.git
1417814213
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
1417914214

@@ -14254,6 +14289,7 @@ ubuntu-24.10/ppc64le
1425414289
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
1425514290
RUN opam-sandbox-disable
1425614291
RUN opam init -k git -a /home/opam/opam-repository --bare
14292+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
1425714293
RUN rm -rf .opam/repo/default/.git
1425814294
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
1425914295

@@ -14334,6 +14370,7 @@ ubuntu-24.10/arm64
1433414370
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
1433514371
RUN opam-sandbox-disable
1433614372
RUN opam init -k git -a /home/opam/opam-repository --bare
14373+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
1433714374
RUN rm -rf .opam/repo/default/.git
1433814375
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
1433914376

@@ -14414,6 +14451,7 @@ ubuntu-24.10/amd64
1441414451
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
1441514452
RUN opam-sandbox-disable
1441614453
RUN opam init -k git -a /home/opam/opam-repository --bare
14454+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
1441714455
RUN rm -rf .opam/repo/default/.git
1441814456
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
1441914457

@@ -14494,6 +14532,7 @@ ubuntu-24.10/riscv64
1449414532
COPY --link --chown=opam:opam [ ".", "/home/opam/opam-repository" ]
1449514533
RUN opam-sandbox-disable
1449614534
RUN opam init -k git -a /home/opam/opam-repository --bare
14535+
RUN echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config
1449714536
RUN rm -rf .opam/repo/default/.git
1449814537
COPY --link [ "Dockerfile", "/Dockerfile.opam" ]
1449914538

‎src/pipeline.ml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -177,6 +177,7 @@ module Make (OCurrent : S.OCURRENT) = struct
177177
copy ~link:true ~chown:"opam:opam" ~src:["."] ~dst:"/home/opam/opam-repository" () @@
178178
run "opam-sandbox-disable" @@
179179
run "opam init -k git -a /home/opam/opam-repository --bare" @@
180+
run {|echo 'archive-mirrors: "https://opam.ocaml.org/cache"' >> ~/.opam/config|} @@
180181
run "rm -rf .opam/repo/default/.git" @@
181182
copy ~link:true ~src:["Dockerfile"] ~dst:"/Dockerfile.opam" ()
182183
| `Windows ->

0 commit comments

Comments
 (0)