CODEWITHSUNDEEP
gtkocamlconfigure
OrenIshShalom
OrenIshShalom

Reputation: 7112

Building LablGtk fails

I'm trying to build LablGtk to enable building CoqIDE from source. I used lablgtk-2.18.7.tar.gz from here. When I tried to configure-make it I got this error (and similar other errors): 

File "gdk.ml", line 346, characters 2-55:
346 |   external create : len:int -> t = "ml_point_array_new"
        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error (warning 61): This primitive declaration uses type t, which is unannotated and
unboxable. The representation of such types may change in future
versions. You should annotate the declaration of t with [@@boxed]
or [@@unboxed].

What did I do wrong?

Upvotes: 0

Views: 68

Answers (1)

octachron
octachron

Reputation: 18892

Lablgtk's Makefile is turning all warnings into errors, which tends to break with new compiler versions. You can fix this behavior by removing -warn-error A-52 from the Makefile.

Upvotes: 1

Related Questions