From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id BEF377EE56 for ; Fri, 7 Dec 2012 09:32:44 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gildor478@gmail.com) identity=pra; client-ip=209.85.214.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="gildor478@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of gildor478@gmail.com designates 209.85.214.182 as permitted sender) identity=mailfrom; client-ip=209.85.214.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="gildor478@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f182.google.com) identity=helo; client-ip=209.85.214.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="postmaster@mail-ob0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlsBAOyowVDRVda2kGdsb2JhbAAqGrUxhkqCMggWDgEBAQEJCQ0HFAQjgh4BAQEDAQEBAT0BLQsBAwELAQUFCwMfGSIFDQEFARwGEwkRh2QDCQYMLaQWjy2FDCcNiU4BBQyMM4EOgzUDklCDM4Ecih2DLhYpgVd5gUU X-IronPort-AV: E=Sophos;i="4.84,236,1355094000"; d="scan'208";a="185052546" Received: from mail-ob0-f182.google.com ([209.85.214.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 Dec 2012 09:32:43 +0100 Received: by mail-ob0-f182.google.com with SMTP id 16so357280obc.27 for ; Fri, 07 Dec 2012 00:32:42 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; bh=5LbrjeQkUde5dTie/Zw34gDZT+slgef3EHNGzK3+oYg=; b=IbNlDIrVICUTQ1uYTDQPHo7/rbkCGXDfbmTGFSU+Gd5nVGDH6GhuM94j/bSoCSOWgB X38dqzcJR9zG1hcdF0NLTLU982DqmzvvbGWmQK7DcbbQoFKHmktrB2ieqm05eccuRBVL NSkEm9AlnrTDwBQle1hQVLmQFyLvwh/HsRfkp/s3yROQpgoZ7GS3rVwxARg1JT8MwRvb aJ9gNlRBtEgrW8EvzVQ54dIRD5JewBxX9YReYoawBcWDiEfDjIkPe3n0HlBq2tSlzx9h DBtHNM2ddEPb0IifUCQYPQ5HI0jXnD89xJ+YuUy6WyZ0AC+v3+9emTsOwte5yRztQyj5 HFrA== MIME-Version: 1.0 Received: by 10.182.114.71 with SMTP id je7mr2884854obb.20.1354869162771; Fri, 07 Dec 2012 00:32:42 -0800 (PST) Sender: gildor478@gmail.com Received: by 10.60.55.68 with HTTP; Fri, 7 Dec 2012 00:32:42 -0800 (PST) In-Reply-To: <1354845647.3169.30@samsung> References: <1354845647.3169.30@samsung> Date: Fri, 7 Dec 2012 09:32:42 +0100 X-Google-Sender-Auth: eMxflBfGFCdkUBDJltL8sk2BiO4 Message-ID: From: Sylvain Le Gall To: Gerd Stolpmann Cc: caml-list , godi-list Content-Type: multipart/alternative; boundary=f46d0444ee6d2a061f04d03f0f09 Subject: [Caml-list] Re: [Godi-list] GODI imports OASIS --f46d0444ee6d2a061f04d03f0f09 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hi Le 7 d=E9c. 2012 03:00, "Gerd Stolpmann" a =E9crit= : > > Hi list, > > the GODI project has now set up an experimental OASIS-DB import. This means that packages submitted to OASIS-DB appear as normal GODI packages in godi_console, and can be managed in the normal way. > This is a very good news. Let make it even better. > We are now importing nightly into a separate repository that needs to be activated. Find the instructions (and a number of FAQ) here: > > http://godi.camlcity.org/godi/oasis.html > > Remember that OASIS packages are not QA-checked, and as a result many packages still fail to build. This often has trivial reasons (like that the build is ok, but the documentation fails). I hope to hear your comments on this. > > Also, any comment on user experience is very welcome. > Some answer: - the OASIS package ignores the --destdir: There is an open bug for that https://forge.ocamlcore.org/tracker/index.php?func=3Ddetail&aid=3D718&group= _id=3D54&atid=3D291 Please read and comment. I just decided to let ocamlfind decide the destdir. You can use ocamlfind env var to override this. Although, since the problem appears even with findlib guru, I am willing to fix the bug to take into account DESTDIR everywhere. - missing QA That is a work in progress. I setup a jenkins instance in order to run QA test (http://deci.ovh.le-gall.net:8080/). If you have some basic configuration for that, feel free to contact me. Although, here are my idea concerning the topic - we should always run "oasis setup" before building. This will enforce having the latest setup.ml generated and not some random old piece of code. I made a lot of effort to be able to have backward compatibility on _oasis (i.e supporting OASISFormat: 0.2 and 0.3), let take advantage of this - where can I find the specific code to handle oasis + GODI. I would like to have a closer look. Regards Sylvain Le Gall > Gerd > -- > ------------------------------------------------------------ > Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de > Creator of GODI and camlcity.org. > Contact details: http://www.camlcity.org/contact.html > Company homepage: http://www.gerd-stolpmann.de > ------------------------------------------------------------ > _______________________________________________ > Godi-list mailing list > Godi-list@ocaml-programming.de > https://godirepo.camlcity.org/mailman/listinfo/godi-list --f46d0444ee6d2a061f04d03f0f09 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

Hi

Le 7 d=E9c. 2012 03:00, "Gerd Stolpmann" <info@gerd-stolpmann.= de> a =E9crit=A0:
>
> Hi list,
>
> the GODI project has now set up an experimental OASIS-DB import. This = means that packages submitted to OASIS-DB appear as normal GODI packages in= godi_console, and can be managed in the normal way.
>

This is a very good news. Let make it even better.

> We are now importing nightly into a separate repository= that needs to be activated. Find the instructions (and a number of FAQ) he= re:
>
> http://godi.camlcity.org/godi/oasis.html
>
> Remember that OASIS packages are not QA-checked, and as a result many = packages still fail to build. This often has trivial reasons (like that the= build is ok, but the documentation fails). I hope to hear your comments on= this.
>
> Also, any comment on user experience is very welcome.
>

Some answer:
- the OASIS package ignores the --destdir:

There is an open bug for that
https://forge= .ocamlcore.org/tracker/index.php?func=3Ddetail&aid=3D718&group_id= =3D54&atid=3D291

Please read and comment. I just decided to let ocamlfind dec= ide the destdir. You can use ocamlfind env var to override this. Although, = since the problem appears even with findlib guru, I am willing to fix the b= ug to take into account DESTDIR everywhere.

- missing QA

That is a work in progress. I= setup a jenkins instance in order to run QA test (http://deci.ovh.le-gall.net:8080/). If you have s= ome basic configuration for that, feel free to contact me.


Although, here are my idea concerning= the topic

- we should always run "oasis setup"= before building. This will enforce having the latest setup.ml generated and not some random old piece of code. I made= a lot of effort to be able to have backward compatibility on _oasis (i.e s= upporting OASISFormat: 0.2 and 0.3), let take advantage of this

- where can I find the specific code to handle oasis + GODI.= I would like to have a closer look.


Regards

Sylvain Le Gall

> Gerd
> --
> ------------------------------------------------------------
> Gerd Stolpmann, Darmstadt, Germany =A0 =A0gerd@gerd-stolpmann.de
> Creator of GODI and = camlcity.org.
> Contact details: =A0 =A0 =A0 =A0http://www.camlcity.org/contact.html
> Company homepage: =A0 =A0 =A0 http://www.gerd-stolpmann.de
> ------------------------------------------------------------
> _______________________________________________
> Godi-list mailing list
> Go= di-list@ocaml-programming.de
> https://godirepo.camlcity.org/mailman/listinfo/godi-list

--f46d0444ee6d2a061f04d03f0f09--