Làm thế nào để làm cho bytecode OCaml hoạt động trên Windows và Linux

Question

Tôi muốn biên dịch một số bytecode OCaml và nó chạy trên các hệ thống kiểu Windows và Unix. Mã nguồn của tôi hoạt động tốt nếu tôi biên dịch lại nó trên mỗi nền tảng, nhưng mã byte không phải là di động.

Mẫu mã: lệnh

open Unix 

let on_windows = Filename.dir_sep <> "/";; 
Printf.printf "On windows: %b\n" on_windows;; 

let child = create_process "gpg" (Array.of_list ["gpg"; "--version"]) stdin stdout stderr;; 
Printf.printf "Child %d\n" child;; 

tích xây dựng:

ocamlbuild -use-ocamlfind -pkg unix test.byte 

Nếu tôi biên dịch trên Windows và chạy trên Linux, tôi nhận được

Fatal error: unknown C primitive `win_waitpid' 

Nếu tôi biên dịch trên Linux và chạy trên Windows tôi nhận được:

Fatal error: unknown C primitive `unix_waitpid' 

Tôi làm cách nào để mã byte hoạt động ở mọi nơi?

Answer 1

Chỉ đổi tên các ký hiệu C không hoạt động vì có hai phiên bản hoàn toàn khác nhau của mô-đun unix.ml (mặc dù có cùng giao diện). Nếu bạn liên kết mã của mình một cách tĩnh, bạn sẽ nhận được mã cho nền tảng xây dựng và nó sẽ không hoạt động trên nền tảng khác.

Giải pháp là tạo và phân phối lưu trữ .cma (với mô-đun Unix không được liên kết trong) thay vì tệp thực thi. Sau đó sử dụng ocaml để liên kết động trên nền tảng mục tiêu:

http://roscidus.com/blog/blog/2013/07/07/ocaml-binary-compatibility/#windows--linux-compatibility

Cập nhật: Đây không phải là an toàn. Khi bạn thực hiện ocaml /path/to/script.ml, nó sẽ thêm thư mục hiện tại (không phải thư mục chứa tập lệnh) vào đầu đường dẫn tìm kiếm. Do đó:

$ cd /tmp 
$ /usr/bin/myprog 

trước tiên sẽ thử tải thư viện của myprog (ví dụ: unix.cma) từ /tmp.

Phải được sửa trong 4.03: http://caml.inria.fr/mantis/view.php?id=6081

Answer 2

Rõ ràng, lý do là thư viện unix ocaml có các tên khác nhau cho C stubs tùy thuộc vào nền tảng và điều này cản trở tính di động bytecode. Tôi không thấy cách thoát ra ngoại trừ các tên cuống vá ..