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? 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
