From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 960697F1CB for ; Wed, 12 Dec 2012 15:48:04 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=pra; client-ip=98.138.90.158; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=mailfrom; client-ip=98.138.90.158; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@nm10-vm2.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.90.158; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm10-vm2.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av8EAM2XyFBiilqe/2dsb2JhbAA4DaxCklMWc4IZFyAVAQIVIgEUegEOAQYYJ4dqAQECDwQIm0GGVohKCYJyhQoBIwMBIwOJWAECBAoBAZECA4hgjTCFZC5QiBVrX4MU X-IronPort-AV: E=Sophos;i="4.84,266,1355094000"; d="scan'208";a="165619053" Received: from nm10-vm2.bullet.mail.ne1.yahoo.com ([98.138.90.158]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 12 Dec 2012 15:48:02 +0100 Received: from [98.138.90.55] by nm10.bullet.mail.ne1.yahoo.com with NNFMP; 12 Dec 2012 14:47:00 -0000 Received: from [98.138.89.232] by tm8.bullet.mail.ne1.yahoo.com with NNFMP; 12 Dec 2012 14:47:00 -0000 Received: from [127.0.0.1] by omp1047.mail.ne1.yahoo.com with NNFMP; 12 Dec 2012 14:47:00 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 603609.54157.bm@omp1047.mail.ne1.yahoo.com Received: (qmail 62303 invoked by uid 60001); 12 Dec 2012 14:47:00 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1355323620; bh=CF1wYe7YKN4WnksUnvafb/XhIP2riOlw3fQwsCUqiDk=; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=mgOcpwC060CweIiqd/a9NJBE7X+tEOkqjAA2HO5hxuS+G86HzWjsCjEbbJIQHu5eArPQdvE3Lgi0YShTJTvfWoL+bBbXssHNH6GwIc6vW8LWZzq7KP/MIFxVtvNkS9tG2EFYCJWEMtpeMCAWGhOsJmlOYdhyh4DpoLfm2SlkWxg= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=Clr3LyGcTUGnSuo8Vrj2+jfJHBg/c0iSwSGZAlk9toAgc3Im4wWlQpfuSUQ0C85juWvUUBj1MjGfSDvE/nYDHqOU5Wuiij0rLa4VeeemYwLvhxlbcBrH7WQzcYRvbN3affBE4c7egRTz95oT6MeAjETtlwK3qpQw0KPmZGzz1yw=; X-YMail-OSG: f9eNHL8VM1lBG2sxGsWNtCIsj2pDFijLv2Qf4JM_vrMwG0i J.1ym84mHu2lZMItPgMmF.BA3_7E3y3I3yopncDPCX0xgB8.bfd35F3.iDHG EnrSEMKK93oGsAqz4MSAmoWH_FCBgXtjg55lTIebTexJgWm2AUes1gliVIWr 8GHwFEbxZKhMkUYr.KIRHG8bObYAQqKx0PAP1ZBG58XwGaGU57RZlS7nnCky MmWgQWbcJLLf3bcGYnidmgg0ocvLMBawqAE48QjjbCNpIfLG9es.d2VM461b J.TGx2tRqyNX42qXaqlHEl8PYPi7WKkxc1WhGoBm419di33B95weZ4y9qizP 4.cC0WATaVxIfjQgd9DKPVER42GIQh36qNtQMHFmpzU1Ua2AQbP9JNc13q36 QqSz0VCp1xuq8LYhXIkrVY_cVFkHTHKCQINDU_soTZemyd_EEEHQ1WgNG3u_ ie.Uacjx9_z7rSS0cMu869BijJBd2VQDwz2uXYPRIhKQmoBhcSWCZr5ndjoM YginpO4qrZCHAyBpHTCrM6lHaRJWHd14mzdZ67hc0f9Antez7_sNOR1920Vx 5tHXNjmSfYnOFvDUjH5275eDXfN3OHISgrQQ7_a6fQCwfJ9s- Received: from [195.23.80.30] by web120404.mail.ne1.yahoo.com via HTTP; Wed, 12 Dec 2012 06:47:00 PST X-Rocket-MIMEInfo: 001.001,SGksCgpJJ3ZlIGJlZW4gbG9va2luZyBhdCB0aGUgT1BBTSBwYWNrYWdlIGRhdGFiYXNlIC0tIHRyeWluZyB0byBkZXRlcm1pbmUgb3ZlcmFsbApjb252ZW50aW9ucyBhbmQgYmVzdCBwcmFjdGljZXMgLS0gYW5kIEkgY2FtZSBhY3Jvc3Mgc29tZSBpbmNvbnNpc3RlbmNpZXMuClRob3VnaCBpbiBtb3N0IGNhc2VzIHRoZXNlIGFyZSBwdXJlbHkgY29zbWV0aWNhbCwgSSByZWNrb24gdGhhdCBuZXZlcnRoZWxlc3MKd2UgY291bGQgYWxsIGJlbmVmaXQgaWYgc29tZSBzdGFuZGFyZGlzYXRpb24gaXMgYWdyZWVkIHUBMAEBAQE- X-Mailer: YahooMailWebService/0.8.128.478 References: Message-ID: <1355323620.61324.YahooMailNeo@web120404.mail.ne1.yahoo.com> Date: Wed, 12 Dec 2012 06:47:00 -0800 (PST) From: Dario Teixeira Reply-To: Dario Teixeira To: OCaml mailing-list MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] OPAM conventions Hi, I've been looking at the OPAM package database -- trying to determine overa= ll conventions and best practices -- and I came across some inconsistencies. Though in most cases these are purely cosmetical, I reckon that nevertheless we could all benefit if some standardisation is agreed upon on.=A0 Examples: 1) Package naming =A0=A0 For some values of "foo", OPAM's package name for project "ocaml-foo" =A0=A0 is also "ocaml-foo", whereas for others is simply "foo".=A0 This is = an =A0=A0 ackowledged issue by OPAM developers: =A0=A0 https://github.com/OCamlPro/opam-repository/issues/163 =A0 In my mind, there are only two sensible policies for naming OPAM packag= es: =A0 a) OPAM packages should preserve the name of the original project. =A0=A0=A0=A0 Thus, if the project is named "ocaml-foo", the OPAM package wi= ll =A0=A0=A0=A0 also be "ocaml-foo". =A0 b) OPAM packages should have the same name as the findlib entry. =A0=A0=A0=A0 If project "ocaml-foo" registers itself in findlib with name =A0=A0=A0=A0 "foo", then "foo" should also be the name of the OPAM package. =A0=A0 Good arguments can be made for and against each option.=A0 Though th= is =A0=A0 is largely a bike-shedding issue, I think the community should make =A0=A0 a decision sooner rather than later. 2) Invoking executables =A0=A0 To invoke, say, a configure script, some packages will nonchalantly =A0=A0 just declare ["./configure"] whereas others will ask the shell to =A0=A0 do it: ["sh" "configure"].=A0 While either should work in any Unix =A0=A0 system, should one be preferred for compatibility with more exotic =A0=A0 systems? 3) Package removal =A0=A0 For most values of "foo", package "foo" will just declare ["ocamlfin= d" =A0=A0 "remove" "foo"].=A0 However, this approach seems a bit brittle to me. =A0=A0 If the Makefile supports "uninstall" (which is the usually the case =A0=A0 for OASIS packages), then I reckon that ["%{make}%" "uninstall"] =A0=A0 should be preferred. =A0=A0 Having said that, it seems that ["%{make}%" "uninstall"] is currently =A0=A0 not working (OPAM tries to download the package de novo upon removal= !). =A0=A0 Is this a bug or a feature? 4) Findlib dependency =A0=A0 Most packages do declare a dependency on ocamlfind.=A0 However, this= is =A0=A0 not universal, even for packages that do register themselves with fi= ndlib. =A0=A0 What should be the standard here: always declare a dependency, or om= it =A0=A0 it altogether since it is implied? Thank you for your attention! Best regards, Dario Teixeira