From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 2AB935D5 for ; Thu, 6 Dec 2018 10:40:15 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,322,1539640800"; d="scan'208,217";a="359080570" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Dec 2018 11:40:13 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 09B6182563; Thu, 6 Dec 2018 11:40:14 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 79829824CF for ; Thu, 6 Dec 2018 11:26:02 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@inria.fr; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-qk1-f181.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Ad9W7vxLl9iE5+X26QdmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgfKvvxwZ3uMQTl6Ol3ixeRBMOHs6IC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwZFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD?= =?us-ascii?q?8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJOUcZfVSNPAo2y?= =?us-ascii?q?YYgSAeQfIelVtJPyq0cUoBakGQWgGOHixzlVjXH2x6061OEhHBnH0gM6BN0Oqn?= =?us-ascii?q?XUo8vxNKwPTO660KnIwivZb/xIwzf29Y/Fch87rv6XR7JwcNTeyU01GwPeklqQ?= =?us-ascii?q?qZLqPymL2eQXqGWb7uxgVfiui2E9sQ1xrCKvy94qh4LUiIwVzVXE+j94wIYzPd?= =?us-ascii?q?C4T1J0bsShEJtUrS2aMJF2Qsw6T2FvpCk10LgGuZqncygN0pQo2QTTa/udc4iH?= =?us-ascii?q?+h7jVeCRIS15hH1/Yr6/iQyy/VCvyu39Ssm00EtKoTFfntbQsXAN0hre4dWERP?= =?us-ascii?q?tl5kqtxyqD2gTJ5uxHIU04j7TXJ4A/zrIqi5YeslnPEynrk0vslqCWbF8r+u2w?= =?us-ascii?q?5uTnfLrmopicOpdxig7kM6QuntWzAf07MgQTRmSb9/mw2b7+8UHjT7VKifo2kq?= =?us-ascii?q?bdsJ/EP8gUuqm5AwpN3oYi7RawESum3cwGkXUbKF9JYhGKgojzN13QPvz0E+2z?= =?us-ascii?q?j0mvnTt23/zGO6fuApTJLnjNirfherN95lZTyAUp1t9f/ZNUBa8FIP7pQU/+qN?= =?us-ascii?q?zYAQEjMwOq2ebqE9p91oYEVmKOBq+VKr/dsViN5u43OemDeJcVuCrhK/gi//Ph?= =?us-ascii?q?kWU2mVoZfaWw2ZsXaWu4Huh9LkWCYXvsh88BHn0Qsgo/SuzqklyCXiRJa3a8Ra?= =?us-ascii?q?Jvrg08XaCvBp7eS5vlr7Wbxia0A5AeMm9PEEqNHmrlX4CNR/dKbiudJd5o1yFC?= =?us-ascii?q?XLPnSZd3hj+0swqv5LNtNOvZ/mUjvpLuztVvr7ncnBso9DFwSd+W02yXQntcn2?= =?us-ascii?q?USRjZw0rop8h818UuKzaUt268QLtdU/f4cF15ibceNndw/MMj7X0f6RvnMTV+n?= =?us-ascii?q?Rtu8BjRoF4A+xtYPZwB2HNDw10mfjRrvOKcckvmwPLJx6rjVhiCjJsBnyn+A2r?= =?us-ascii?q?Nz1wB7EPsKDnWvg+tEzyaWB4PNlB/HxaOjdKBZxS2UsWnanTPIs0ZfXwp9F67C?= =?us-ascii?q?WCJHaw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AGAQCs+AhchrXeVdFKGg4OAQEBBAEBB?= =?us-ascii?q?wQBAYFlgmpPMyeDeoEdlRaXYoFzJ4N/g1waBwEENBIBAwEBAgEBAQEBEwEBAQg?= =?us-ascii?q?LCwgpIwyCNiQBgmIBBAEjSwsFCwkCCxodAgIiEgEFARwGE4MhAYF5CA80iVCQB?= =?us-ascii?q?zyJWRGBI4EvhC0BhX0SjAyBVz+DbjWDBRkCgSkQgyyCVwKPN4Y1inMHAoEPgRE?= =?us-ascii?q?EhGCGLIQWGIFcTYRHikWMXoEbh12DJg8hgRMpgXYzGidMMQaCNQmFf4E+g1aFB?= =?us-ascii?q?DxBMAEBAQGJLII+AQE?= X-IPAS-Result: =?us-ascii?q?A0AGAQCs+AhchrXeVdFKGg4OAQEBBAEBBwQBAYFlgmpPMye?= =?us-ascii?q?DeoEdlRaXYoFzJ4N/g1waBwEENBIBAwEBAgEBAQEBEwEBAQgLCwgpIwyCNiQBg?= =?us-ascii?q?mIBBAEjSwsFCwkCCxodAgIiEgEFARwGE4MhAYF5CA80iVCQBzyJWRGBI4EvhC0?= =?us-ascii?q?BhX0SjAyBVz+DbjWDBRkCgSkQgyyCVwKPN4Y1inMHAoEPgREEhGCGLIQWGIFcT?= =?us-ascii?q?YRHikWMXoEbh12DJg8hgRMpgXYzGidMMQaCNQmFf4E+g1aFBDxBMAEBAQGJLII?= =?us-ascii?q?+AQE?= X-IronPort-AV: E=Sophos;i="5.56,322,1539640800"; d="scan'208,217";a="288116016" Received: from mail-qk1-f181.google.com ([209.85.222.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 06 Dec 2018 11:25:36 +0100 Received: by mail-qk1-f181.google.com with SMTP id r71so13689248qkr.10 for ; Thu, 06 Dec 2018 02:25:36 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=rRZmuo0lSGuXdSpgLuv14AGbYPJ7d7U5I9UfSzCRQ5Q=; b=MDMnWQ60CCQ5rJqIlc/IPXZcTOptDyrnZYV+dejlbI/+22W+/SFWVa7n2dYIw/Vz6x H11tV4CvxxQ9HcDWdui2VCfQZu9u37SdVIPpjo4gqQiasIdNxs7H8sF2YnM0NSTLVef9 JBjujpzHnFadmyzunjQC3np6w4AbmgqK1mFN+80C3jE80I4+W4Hyy7l3x4TGzICYV7Rh AQ3xJZECEC7vtU5qn0CAkoRZpXzEM2fCC6udaQwyg4ooM7drbJzzXIJSGTLkXoC1HF46 oJBhmd+hM9ZzwsERo9/6+QIT7/UQvunMo2nMgVwDhM1v+LHuSf0o9pOu1HWZ0HiC/pvD GqOQ== X-Gm-Message-State: AA+aEWYbJbLYYVMfhhBIapiSy1nZiCFMCq7pGv6fnxjtuISS9GSXA/c2 1hjvaIfXS3jdFuuPLBrcYRGw8m1hZuxzRaIYhFZc0TRr X-Google-Smtp-Source: AFSGD/X77FvA/zUqfpgY9IlDC4LGtGidRzqXOOdWgJKNeKdj+Wss2xKU5Cfc+ccCdeaCVSJ9zKeDpexkGsO4NdzeYI4= X-Received: by 2002:ae9:ef8a:: with SMTP id d132mr24914572qkg.11.1544091935012; Thu, 06 Dec 2018 02:25:35 -0800 (PST) MIME-Version: 1.0 References: <966B3CBE-29BB-4336-BDBF-0012723E7099@math.nagoya-u.ac.jp> In-Reply-To: <966B3CBE-29BB-4336-BDBF-0012723E7099@math.nagoya-u.ac.jp> From: Gabriel Scherer Date: Thu, 6 Dec 2018 11:35:20 +0100 Message-ID: To: Jacques Garrigue Cc: caml users Content-Type: multipart/alternative; boundary="000000000000497f5e057c57ebf0" X-Validation-by: gabriel.scherer@inria.fr Subject: Re: [Caml-list] LablGtk3 beta1 Reply-To: Gabriel Scherer X-Loop: caml-list@inria.fr X-Sequence: 17216 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --000000000000497f5e057c57ebf0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable > There is no opam package yet, because I=E2=80=99m not sure how to do that: > I seem to need to add a new conf-gtksourceview3 package too, and I=E2=80= =99m 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-gtksourc= eview/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=E2=80=99m not sure how to do that: > I seem to need to add a new conf-gtksourceview3 package too, and I=E2=80= =99m 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 --=20 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= --000000000000497f5e057c57ebf0 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
> There is no opam pa= ckage yet, because I=E2=80=99m not sure how to do that:
> I seem to need to add a new conf-gtksourceview3 package too, and I=E2= =80=99m 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 installa= tion task fails on a conf-* target, the user should know that the problem i= s not their OCaml environment, but a system dependency to install. Each con= f-* package implements its own external-dependency-detection logic; some pa= ckages 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 d= o is to check for a list of "depexts", system packages (one for e= ach distribution / OS package manager) that contain the dependency.

For conf-gtksourceview3, you should aim to do no worse th= an conf-gtksourceview2. The source fo that package can be looked in the cur= rent opam-repository:

You ca= n see in the source that it lists some depexts, and also performs a pkg-con= fig test in its `build` rule.

It should be ver= y easy to port that package into a conf-gtksourceview3 package, replacing w= hat needs to be replaced:
- are the licence and homepage the same= ?
- what is the name of the pkg-config argument you should pass?<= /div>
=C2=A0 (I just checked, it is "gtksourceview-3.0")
- what are the name for the gtk3 versions of the system packages?
=C2=A0 You can search the web to find the name of a package for a gi= ven distribution,
=C2=A0 and the links to do this are listed in



On Thu, Dec 6, 2018 at 7:33 AM Jacques Garri= gue <garrigue@math.nagoy= a-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:
=C2=A0 =C2=A0 =C2=A0 =C2=A0 http://lablgtk.forge.ocamlcore.org=
=C2=A0 =C2=A0 =C2=A0 =C2=A0 https://forge.ocamlcore.org/frs/download.php/1769/lablgtk-3.0.beta1.tar.g= z

There is no opam package yet, because I=E2=80=99m not sure how to do that:<= br> I seem to need to add a new conf-gtksourceview3 package too, and I=E2=80=99= m not
sure how to proceed. Help accepted.

Note that this is not the originally planned introspection based port, but<= br> 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:
=C2=A0 =C2=A0 =C2=A0 =C2=A0 https://github.com/garr= igue/lablgtk/tree/lablgtk3
There is an ongoing discussion
=C2=A0 =C2=A0 =C2=A0 =C2=A0 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.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list htt= ps://inbox.ocaml.org/caml-list
Forum: https://discuss.ocaml.org/
Bug reports: http://caml.inria.fr/bin/caml-bugs
--000000000000497f5e057c57ebf0--