package is misconfigured or missing version files, resulting in ocamlfind not knowing its version

Bug #1897171 reported by Jason Gross
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
lablgtk3 (Ubuntu)
New
Undecided
Unassigned

Bug Description

After installing `ocaml-findlib liblablgtk3-ocaml-dev liblablgtksourceview3-ocaml-dev`, running `ocamlfind query -format "%v" lablgtk3` results in `[unspecified]`, rather than giving the version number. According to https://github.com/coq/coq/issues/13079#issuecomment-698168077, this may be a result of using the autogenerated GitHub source archive rather than the dune-release `.tbz` archive (e.g., https://github.com/garrigue/lablgtk/releases/download/3.1.1/lablgtk3-3.1.1.tbz). This makes these packages unusable with `configure` scripts that do version checks.

There is a log displaying this issue on focal at https://travis-ci.com/github/JasonGross/test2/jobs/390617264. I believe the same issue shows up on groovy, as evidenced by searching for the string `[unspecified]` in the log at https://launchpadlibrarian.net/498745150/buildlog_ubuntu-groovy-amd64.coq_8.master~git~202009232210+21727-0~daily337-d7b2da080b~ubuntu20.10.1_BUILDING.txt.gz .

Revision history for this message
Jason Gross (jgross-h) wrote :

Note that this bug makes it impossible to compile CoqIDE on jammy. Is there any eta on getting this fixed?

Revision history for this message
Jason Gross (jgross-h) wrote :

This continues to be a problem in impish, jammy, and kinetic.

Revision history for this message
Jason Gross (jgross-h) wrote :
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.