Re: [Caml-list] LablGtk3 beta1

[Gabriel Scherer <gabriel.scherer@inria.fr>]

[-- Attachment #1: Type: text/plain, Size: 3475 bytes --]

> 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

[-- Attachment #2: Type: text/html, Size: 5040 bytes --]