Am Freitag, den 07.12.2012, 09:32 +0100 schrieb Sylvain Le Gall: > Hi > > Le 7 déc. 2012 03:00, "Gerd Stolpmann" <i...@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 g...@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 g...@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. ------------------------------------------------------------ _______________________________________________ Godi-list mailing list Godi-list@ocaml-programming.de https://godirepo.camlcity.org/mailman/listinfo/godi-list
