search

garrigue / lablgtk

LablGTK 2 and 3: an interface to the GIMP Tool Kit
https://garrigue.github.io/lablgtk
Other
89 stars 40 forks source link

version information into dune-project (lablgtk3) #123

Closed yozot closed 3 years ago

yozot commented 3 years ago

On OpenBSD/amd64, I found that the output of ocamlfind list does not show version information.

$ ocamlfind list
........
lablgtk2            (version: 2.18.8)
lablgtk2.auto-init  (version: n/a)
lablgtk2.glade      (version: n/a)
lablgtk2.gnomecanvas (version: n/a)
lablgtk2.rsvg       (version: n/a)
lablgtk2.sourceview2 (version: n/a)
lablgtk3            (version: n/a)
lablgtk3-sourceview3 (version: n/a)

configure.ml of coq-8.13 uses this method to detect the version of lablgtk3.

Adding (version "3.1.1") to dune-project and rebuilding lablgtk3, the version information is registered to lib/ocaml/lablgtk3/META, and I can build coq 8.13.1 with coqide now.

$ ocamlfind list
........
lablgtk2            (version: 2.18.8)
lablgtk2.auto-init  (version: n/a)
lablgtk2.glade      (version: n/a)
lablgtk2.gnomecanvas (version: n/a)
lablgtk2.rsvg       (version: n/a)
lablgtk2.sourceview2 (version: n/a)
lablgtk3            (version: 3.1.1)
lablgtk3-sourceview3 (version: 3.1.1)
ejgallego commented 3 years ago

You are building the package incorrectly, see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=971439

yozot commented 3 years ago

Wow! Thanks. I can find other instances in OpenBSD ports tree which should be fixed...

ejgallego commented 3 years ago

I can find other instances in OpenBSD ports tree which should be fixed...

Yup, unfortunately this seems like a pervasive problem, I have submitted an issue to dune upstream as to try to improve the documentation.

I hope my "guide" in the above Debian issue is enough, if not please don't hesitate to ping me in case you folks have any question.