caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Sylvain Le Gall <sylvain@le-gall.net>
To: Gerd Stolpmann <info@gerd-stolpmann.de>
Cc: caml-list <caml-list@inria.fr>,
	godi-list <godi-list@ocaml-programming.de>
Subject: [Caml-list] Re: [Godi-list] GODI imports OASIS
Date: Fri, 7 Dec 2012 09:32:42 +0100	[thread overview]
Message-ID: <CAOCAUGMbcXktGptBc9PcT8fV8iWX8gB3gZ=aZoqe=eN8SacB1Q@mail.gmail.com> (raw)
In-Reply-To: <1354845647.3169.30@samsung>

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

Hi

Le 7 déc. 2012 03:00, "Gerd Stolpmann" <info@gerd-stolpmann.de> a écrit :
>
> 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=detail&aid=718&group_id=54&atid=291

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

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

  reply	other threads:[~2012-12-07  8:32 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-12-07  2:00 [Caml-list] " Gerd Stolpmann
2012-12-07  8:32 ` Sylvain Le Gall [this message]
2012-12-07 15:32   ` [Caml-list] Re: [Godi-list] " Gerd Stolpmann

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAOCAUGMbcXktGptBc9PcT8fV8iWX8gB3gZ=aZoqe=eN8SacB1Q@mail.gmail.com' \
    --to=sylvain@le-gall.net \
    --cc=caml-list@inria.fr \
    --cc=godi-list@ocaml-programming.de \
    --cc=info@gerd-stolpmann.de \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).