> There is no opam package yet, because I’m not sure how to do that: > I seem to need to add a new conf-gtksourceview3 package too, and I’m not > sure how to proceed. Help accepted. The point of conf-* packages is to centralize the logic to check for an outside-opam dependency (that must be provided by the operating system); if an installation task fails on a conf-* target, the user should know that the problem is not their OCaml environment, but a system dependency to install. Each conf-* package implements its own external-dependency-detection logic; some packages call pkg-config to check that a library exist, or even try to build a dummy C program with the library, but the least they can be expected to do is to check for a list of "depexts", system packages (one for each distribution / OS package manager) that contain the dependency. For conf-gtksourceview3, you should aim to do no worse than conf-gtksourceview2. The source fo that package can be looked in the current opam-repository: https://github.com/ocaml/opam-repository/blob/master/packages/conf-gtksourceview/conf-gtksourceview.2/opam You can see in the source that it lists some depexts, and also performs a pkg-config test in its `build` rule. It should be very easy to port that package into a conf-gtksourceview3 package, replacing what needs to be replaced: - are the licence and homepage the same? - what is the name of the pkg-config argument you should pass? (I just checked, it is "gtksourceview-3.0") - what are the name for the gtk3 versions of the system packages? You can search the web to find the name of a package for a given distribution, and the links to do this are listed in https://github.com/ocaml/opam-depext/blob/master/README.md On Thu, Dec 6, 2018 at 7:33 AM Jacques Garrigue < garrigue@math.nagoya-u.ac.jp> wrote: > Dear LablGtk users, > > Due to the planned deprecation of gtksourceview2 in Debian, > we have been working on a stripped down port of LablGtk2 to Gtk-3. > > A first beta is available for download at the usual location: > http://lablgtk.forge.ocamlcore.org > > https://forge.ocamlcore.org/frs/download.php/1769/lablgtk-3.0.beta1.tar.gz > > There is no opam package yet, because I’m not sure how to do that: > I seem to need to add a new conf-gtksourceview3 package too, and I’m not > sure how to proceed. Help accepted. > > Note that this is not the originally planned introspection based port, but > a manual port of lablgtk2, dropping widgets that are no longer > available. It is of course possible to add new widgets if people > are willing to contribute. > > The main goal is to allow application using lablgtksourceview, > such as CoqIDE, to compile on top of Gtk-3. Since Gtk-2 itself > stays available, lablgtk2 will continue to be supported for other > applications. > > The code is in the lablgtk3 branch: > https://github.com/garrigue/lablgtk/tree/lablgtk3 > There is an ongoing discussion > https://github.com/garrigue/lablgtk/issues/2 > > The current status is that a modified version of CoqIDE compiles > and runs. > > Please report issues on GitHub. > > Jacques Garrigue > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > https://inbox.ocaml.org/caml-list > Forum: https://discuss.ocaml.org/ > Bug reports: http://caml.inria.fr/bin/caml-bugs -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs