Am Samstag, den 07.05.2011, 16:59 +0200 schrieb Adrien:
> Hi,
>
> I've been preparing new godi packages and I'm facing a build error for
> one but I can't reproduce it outside of godi.
>
> I've tried copying godi's make invocation but without success: I can't
> make it fail.
>
> The build process uses OCamlMakefile and ocamldsort. It looks like
> ocamldsort doesn't run properly and that the modules aren't built in the
> right order, making some being not found.
>
> Does godi change some environment variables before calling make? (with
> putenv, not with 'foo=bar make')
> Or does it do other things I might have not noticed?
It sets a number of environment variables. A way to debug that would be
to call "printenv" early in your build, e.g. add a "pre-build" rule to
your package Makefile:
pre-build:
printenv
You should especially watch out for PATH, OCAMLPATH, CC, CFLAGS.
Just looking at the ocamldsort sources, I don't see any dependency on
the environment (except PATH maybe, it is calling ocamldep). There is,
however, one strangeness: ocamldsort checks whether stdin is a tty.
Well, in GODI it isn't (so far I remember it is usually set to /dev/null
- you cannot read input in GODI). When I understand the code right, this
is meant as a check whether ocamldsort is called as part of a pipe, and
it reads input then from stdin. Unix does not work this way, though.
For debugging you could call ocamldsort (or the surrounding program)
from "screen". This gives you temporarily a tty. But be careful,
"screen" does not pass through stdin/stdout/stderr.
Gerd
> The package is a binding to webkit-gtk which is auto-generated after
> parsing headers and poking into the library directly. In case you want
> to try to reproduce the issue, I'm putting instructions below.
>
> The package is available at:
> http://notk.org/~adrien/cowboy-godi/lablwebkit-1.4.0/godi-lablwebkit.tar.gz
> (to be put in <prefix>/build/godi/)
>
> The sources are at:
> http://notk.org/~adrien/cowboy-godi/lablwebkit-1.4.0/lablwebkit-1.4.0.tgz
> (to be put in <prefix>/build/distfiles/)
>
> It depends on lablgtk2 and ocamldsort (note that ocamldsort < 0.15.0
> doesn't work with ocaml-3.12). Getting ocamldsort to work is quite easy
> since it only produces ocamldsort(.opt) and a manpage. Get it at:
> http://www.math.jussieu.fr/~ara/informatique.html
>
>
> However, that's for webkit-gtk-1.4.0. If you have another version of
> webkit-gtk, simply tell me and I'll make a source package for your
> version.
>
>
> You could also generate everything yourself with cowboy. Note that it's
> probably a lengthier process. Get cowboy from:
> http://notk.org/~adrien/cowboy-godi/cowboy-godi-test.tar.gz
> The basic steps are to run "./run.sh webkit" and look in "output/".
> cowboy requires yacfe for which I have a under-testing godi package:
> http://notk.org/~adrien/cowboy-godi/godi-yacfe-light.tar.gz
> It also depends on mikmatch-pcre and xstrp4 (which are both available in
> godi).
>
>
> PS: I also just noticed that I could move the ocamldsort call earlier on
> and run it when generating the source. That will show whether the issue
> is with ocamldsort "under" godi or not but I don't know if I'll have
> time to do it right now.
>
>
> Thanks in advance,
>
> Adrien Nader
>
> _______________________________________________
> Godi-list mailing list
> [email protected]
> https://godirepo.camlcity.org/mailman/listinfo/godi-list
>
--
------------------------------------------------------------
Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany
[email protected] http://www.gerd-stolpmann.de
Phone: +49-6151-153855 Fax: +49-6151-997714
------------------------------------------------------------
_______________________________________________
Godi-list mailing list
[email protected]
https://godirepo.camlcity.org/mailman/listinfo/godi-list
