OCaml for Windows Discontinuation and BinTray 403 Errors
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 5/5
- Thời gian dự kiến
- Hơn một tuần
- Mức phù hợp với người mới
- 25/100
- Loại issue
- Lỗi
- Độ rõ ràng
- Cần làm rõ
- Mức độ hoạt động
- Đình trệ
- Công nghệ
- ocaml
- Lĩnh vực
- build-system, operating-systems
Hướng nghiên cứu
Bắt đầu bằng cách xem xét quy trình build Windows và repo/win32/compilers/4.07.0+mingw64c.comp, bao gồm source BinTray không khả dụng của nó và workaround dùng archive cục bộ đã được ghi chép. Hãy điều tra một phương án thay thế bền vững cho opam-repository-mingw đã bị ngừng và xác minh rằng compiler Windows có thể được lấy và sử dụng bởi quy trình build.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
The current build procedure for Windows uses the discontinued (as of August 2021) opam-repository-mingw.
Further, the mingw64c compiler from that repository is currently unavailable with a 403 (forbidden) error. I'm not sure whether this is due to BinTray rate-limiting or due to the repository being discontinued. Thankfully the WayBackMachine does have a previous copy of the file.
It seems necessary to find an alternative long-term solution for building on Windows.
As a temporary work-around, you can manually download and install the compiler by downloading the archived file from your browser, then change repo/win32/compilers/4.07.0+mingw64c.comp as follows:
opam-version: "1"
version: "4.07.0"
-src: "https://dl.bintray.com/fdopen/prebuild-win32-ocaml-packages/4.07.0+mingw64c.tar.xz"
+archive: "file:///home/krak/Downloads/4.07.0+mingw64c.tar.xz"
build: [
[ "sed" "-i" "s#@PREFIX@#%{prefix}%#g" "lib/ocaml/ld.conf" ]
[ "sed" "-i" "s#@PREFIX@#%{prefix}%#g" "lib/ocaml/Makefile.config" ]
[ "dash.exe" "install.sh" prefix ]
]
packages: [
"base-unix"
"base-bigarray"
"base-threads"
]
env: [
[OCAMLLIB = "%{prefix}%/lib/ocaml"]
[CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"]
[CC = "x86_64-w64-mingw32-gcc.exe"]
[CPP = "x86_64-w64-mingw32-cpp.exe"]
]
- Ngôn ngữ chính
- OCaml
- Star
- 1.2k
- Fork
- 212
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Chuẩn bị môi trường
- Có Dockerfile hoặc tệp Docker Compose
- Không có mẫu pull request
- Đọc hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của moby/vpnkit
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
-
Compilation error due to "Unbound module Ethernet__Ethernet_wire"Có thể làm lại được Pull request cho issue này đã bị đóng mà không được merge. Đang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
Issue tương tự
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 62/100
bherbruck/solvecraft#2155 ·
-
bug/1-unconfirmed kind/bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 73/100
anomalyco/opencode#56380 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 90/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Frontend Size: XS
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 76/100
Maintainer thường phản hồi trong vòng 1 ngày