* [Caml-list] Re: [Godi-list] GODI imports OASIS
2012-12-07 8:32 ` [Caml-list] Re: [Godi-list] " Sylvain Le Gall
@ 2012-12-07 15:32 ` Gerd Stolpmann
0 siblings, 0 replies; 3+ messages in thread
From: Gerd Stolpmann @ 2012-12-07 15:32 UTC (permalink / raw)
To: Sylvain Le Gall; +Cc: caml-list, godi-list
Am Freitag, den 07.12.2012, 09:32 +0100 schrieb Sylvain Le Gall:
> 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.
I'm doing this already, and it works well. Nevertheless, there are some
remaining destdir problems, e.g. when executables are installed in the
wrong place.
I guess this is difficult to enforce technically (unless you use
something like the Gentoo sandbox, but this is very non-portable).
> 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.
Good to hear that. I've also plans to include the oasis packages into my
autobuilder.
Btw, some of the issues can be easily caught at package upload time.
E.g. I've seen a number of tarballs which weren't properly
gzip-compressed. Others did not contain an _oasis file, or it was not
parseable.
>
> 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
Ok, I can make this the default.
>
> - where can I find the specific code to handle oasis + GODI. I would
> like to have a closer look.
It's a bit spread over several repositories:
The script to convert an OASIS tarball to a GODI Makefile is here:
https://godirepo.camlcity.org/wwwsvn/godi-tools/trunk/console-src/godi_oasis_import?rev=1120&root=godi-bootstrap&view=auto
In order to convert findlib names to GODI packages, it uses a web
service (similar to the one we agreed upon some time ago, but I modified
it):
https://godirepo.camlcity.org/openapps/autoquery.cgi?q=findlib&l=<findlibname>
It returns possible resolutions from both the autobuilder, and from my
OASIS scan (section="oasis-import"). This CGI is quite boring:
https://godirepo.camlcity.org/wwwsvn/trunk/src/autobuild/autoquery.ml?rev=221&root=app-camlcityd&view=auto
It only takes the data from a prepared db table. The OASIS data is put
into this table with this program:
https://godirepo.camlcity.org/wwwsvn/trunk/src/autobuild/import_oasisdb.ml?rev=217&root=app-camlcityd&view=auto
For most of its work, it uses the official API. The API does not return
the findlib libraries, though, but they are shown on the webpage, so I
get the libraries from there (i.e. Could you include the libs in API
0.2?)
Gerd
>
>
> 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
>
>
--
------------------------------------------------------------
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
*** Searching for new projects! Need consulting for system
*** programming in Ocaml? Gerd Stolpmann can help you.
------------------------------------------------------------
^ permalink raw reply [flat|nested] 3+ messages in thread