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
How to set the stacksize for ocamlopt.opt.exe on MinGW cygwin host Community	4	96	September 14, 2024
Flexlink error when compiling OCaml 4.07.1 on Windows 10 Learning build , windows	7	2649	February 27, 2019
Error while trying to set up ocaml project on windows 10 via cygwin terminal Ecosystem	18	1501	March 31, 2021
Utop not working Learning opam , utop	7	1922	July 4, 2022
How to recreate "ocaml-variants.4.07.1+32bit+default-unsafe-string" locally? Ecosystem opam	3	492	November 7, 2021

Ocaml for windows 10 compile error

Related Topics