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 484065D5 for ; Fri, 7 Dec 2018 10:04:18 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,326,1539640800"; d="scan'208";a="359259396" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Dec 2018 11:04:16 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7375882561; Fri, 7 Dec 2018 11:04:16 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 72A7C824CF for ; Fri, 7 Dec 2018 11:04:09 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e@x80.org; spf=Pass smtp.mailfrom=e@x80.org; spf=Pass smtp.helo=postmaster@x80.org IronPort-PHdr: =?us-ascii?q?9a23=3Ai76YLxLCZzcRM7yKJ9mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRI/nxwZ3uMQTl6Ol3ixeRBMOHs6IC07KempujcFRI2YyGvnEGfc4EfD4+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?8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJBUMhPSiJBBY28?= =?us-ascii?q?YYUNAOQCM+lXoJXyqVQVoBuiHAmhHv/jxiNSi3L026AxzuQvERvB3AwlB98Av3?= =?us-ascii?q?HUrNTxNKcTVuC61K3GwivYb+tMwjfy8InGfQolofGIQ71wfs3RxlEzGgPfj1Wf?= =?us-ascii?q?s5flNC6S2+sTqGWa4OltWf61h24gsQFxrSGiy8ExgYfHgYIVz0rL9SR/wIstKt?= =?us-ascii?q?24SVJ7Yd65EJRLrS2VK4x2QsYkTmp1uyg60qULtYO4cSUJ0pgr2QDTZv2df4SV?= =?us-ascii?q?4B/vSfydLSp2iX57YL6yhBe//VKhx+D+TMW51ExGojdHn9TKq3sDzQbc6tKdRf?= =?us-ascii?q?t45kqh2SiA1wTU6uxcLkE5lrbXJ4Qmwr4qmZofqUXDHinol0XqlKKaa0Yp9+uy?= =?us-ascii?q?5+j5fLnrp4WQO5J2hw3jKKgih8KyDfogPggLRWeb+OC81LP5/U3+RbVHluM5n7?= =?us-ascii?q?LWsZ3ZOcgXvKm5AxVa0oo78RawEy+m0MgEnXkANF9KZAiIj43tO13XJPD4DOy/?= =?us-ascii?q?g0i3nTdwx/HGO6XhDY/XInjClrfhZ7d95FRGxAo919AMr65TX5MIK+vuV1S5m9?= =?us-ascii?q?XCFB42LgH8l+nuEs982Z4TcWeGHq/fNqrdtk6Bo/9pKuLKZpdD6xjnLP1wyvvv?= =?us-ascii?q?iX4+rn0QZjuy6rQebHS1EfNRCl+YaGGk1topATdS+A0kQ7q52xW5TTdPaiPqDO?= =?us-ascii?q?oH7TYhBdfjVN+bH9H/sPm6xC6+W6ZuSCVDA1GIH23vctTWS6dULiWILZ04y2BW?= =?us-ascii?q?Zf2aU4YkkCqWmkri0bM2fPqEomsfr52xjIEotd2Wrgk78HlPN+rY02yJSDAmjj?= =?us-ascii?q?NQATgs0/ImrA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BTAwDmRApc/4Sr4rxiDhABBgcGgVQGC?= =?us-ascii?q?wGCA2IEgQIng3qIeI0+mUkNIwgBhEACgxcbBgEEMwYNAQMBAQIBAQEBAWwcDII?= =?us-ascii?q?2JAGCYgEEASMdAQE3AQQLCxoCBSECAg8BBEkTG4MHgXkMC6QZcIEvgnYBAQWGJ?= =?us-ascii?q?VIzAwWBC4sUghaEI4MeAoFhgwSCV6BkCAGHBopckTaOAIsagVwigVUzGjBDgmy?= =?us-ascii?q?CG4NthRSFBDw+M4ECAQEkEwsBiX8BAQ?= X-IPAS-Result: =?us-ascii?q?A0BTAwDmRApc/4Sr4rxiDhABBgcGgVQGCwGCA2IEgQIng3q?= =?us-ascii?q?IeI0+mUkNIwgBhEACgxcbBgEEMwYNAQMBAQIBAQEBAWwcDII2JAGCYgEEASMdA?= =?us-ascii?q?QE3AQQLCxoCBSECAg8BBEkTG4MHgXkMC6QZcIEvgnYBAQWGJVIzAwWBC4sUgha?= =?us-ascii?q?EI4MeAoFhgwSCV6BkCAGHBopckTaOAIsagVwigVUzGjBDgmyCG4NthRSFBDw+M?= =?us-ascii?q?4ECAQEkEwsBiX8BAQ?= X-IronPort-AV: E=Sophos;i="5.56,326,1539640800"; d="scan'208";a="359259365" Received: from x80.org ([188.226.171.132]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 07 Dec 2018 11:04:08 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=x80.org; s=chaosisorder; h=Content-Transfer-Encoding:Content-Type:MIME-Version: Message-ID:In-Reply-To:Date:References:Subject:Cc:To:From:Sender:Reply-To: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=6SIj/1CbwbsfYWHjCEk2UuJg0ibY2i50ZhsAEBi/bFc=; b=Ik57yfJTN6y38xHazyzdDsGiUr n0EsV+Vlek1bdyRhK8MsbNdu7PTZxK2YEVpRjfOMWOyirWt8DKT6/GqqCN5T9k4+HQ5YVhASyXzku dk4vzuJF26WImSsMR88ShlCjyv3K9/mauW5haIXnoNNuwWrKlPXPKfUhUBqvQ9GSTCZk=; Received: from 17.9.67.86.rev.sfr.net ([86.67.9.17] helo=lasserre) by x80.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1gVCzN-0001yV-5u; Fri, 07 Dec 2018 10:04:05 +0000 From: =?utf-8?Q?Emilio_Jes=C3=BAs_Gallego_Arias?= To: Jacques Garrigue Cc: Mailing List OCaml Organization: X80 Heavy Industries References: <966B3CBE-29BB-4336-BDBF-0012723E7099@math.nagoya-u.ac.jp> X-Url: https://x80.org/emilio/ Mail-Followup-To: Jacques Garrigue , Mailing List OCaml Date: Fri, 07 Dec 2018 11:04:03 +0100 In-Reply-To: <966B3CBE-29BB-4336-BDBF-0012723E7099@math.nagoya-u.ac.jp> (Jacques Garrigue's message of "Thu, 6 Dec 2018 15:33:01 +0900") Message-ID: <87va45odpo.fsf@x80.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] LablGtk3 beta1 Reply-To: =?utf-8?Q?Emilio_Jes=C3=BAs_Gallego_Arias?= X-Loop: caml-list@inria.fr X-Sequence: 17226 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: Jacques Garrigue writes: > 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. I am not sure I see the advantages of the *-conf solution vs a more granular approach as done here https://github.com/garrigue/lablgtk/pull/14, where each package has a fixed set of system dependencies. AFAICT `depext` fields can be added to the custom packages just fine, and they don't have the *-conf pitfall of having to recompile a lot of dependencies when a *-conf package is installed. I find more natural to do `opam install lablgtk2-sourceview2` than `opam install conf-gtksourceview lablgtk2` E. --=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=