> 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