Ocaml for windows 10 compile error

dougT · November 2, 2019, 6:40pm

Followed the instructions at https://fdopen.github.io/opam-repository-mingw/installation/
Using Windows 10 home version 1809 (recent).

Tried both the graphical installer and manual installation.

Got the same error when trying to compile:

$ ocamlfind ocamlopt -o rho_z -linkpkg -package zarith rho_z.ml
Cannot set stack reserve: File “coff.ml”, line 946, characters 4-10: Assertion failed

my stack limit (on Cygwin) is 65 MB
~/ocaml/rho_mp_timing$ ulimit -s
65000

fdopen · November 2, 2019, 8:07pm

It’s caused by flexdll:

github.com

alainfrisch/flexdll/blob/5f0011a3db1f3a499eeaaae2254e806cbe6b8035/coff.ml#L946




module Stacksize = struct
  let set_stack_reserve filename reserve =
    let filename =
      if not (Sys.file_exists filename) && (Sys.file_exists (filename ^ ".exe")) then filename ^ ".exe"
      else filename
    in
    let ic = open_in_bin filename in
    let hdr_offset = int16 (read ic 0x3c 2) 0 in
    let pe_signature = read_str ic hdr_offset 4 in
    assert(pe_signature = "PE\000\000");
    let coff_hdr = read ic 0 20 in
    let opthdr_size = int16 coff_hdr 16 in
    let opthdr = read ic (hdr_offset + 24) opthdr_size in
    let machine =
      match int16 opthdr 0 with
      | 0x10b -> `x86
      | 0x20b -> `x64
      | magic -> Printf.ksprintf failwith "Cannot determine image target (magic = %x)." magic
    in
    let reserve_offset = hdr_offset + 24 + 72 in

Try to compile it again with verbose settings:
export FLEXLINKFLAGS='-v -v -v' ; ocamlfind ocamlopt ...
Perhaps you can notice something unusual. It’s hard to guess without knowing the source.

Btw: Don’t use -o foo on windows, always use -o foo.exe.

dougT · November 2, 2019, 8:58pm

I used the binaries from github, and they worked fine. Thank you!

Topic		Replies	Views
Flexlink error when compiling OCaml 4.07.1 on Windows 10 Learning build , windows	7	2504	February 27, 2019
C stubs for a binary library (on windows) Ecosystem build	4	1125	June 10, 2020
Compiling for Windows XP Ecosystem	3	607	February 5, 2020
Error: Unbound module Stdlib with Windows IDE (Camelia, OcalIDE) Learning	4	1022	December 30, 2022
Windows 7 - Can't compile OCaml 3.10.2 Learning	11	915	October 2, 2019

Ocaml for windows 10 compile error

Related Topics