I am now aware of the problem, but I'm not sure when I'll have the chance to update godiva (seems really trivial, so it shouldn't take long..).
On Wed, Jul 09, 2008 at 08:38:18PM +0200, Gerd Stolpmann wrote: > bmake is now godi_make. Looks like godiva should be updated. > > Gerd > > Am Mittwoch, den 09.07.2008, 19:06 +0200 schrieb Martin Jambon: > > Hi list, > > > > It seems that godiva requires bmake, which is no longer installed in > > $GODI_LOCALBASE/bin > > > > I'm using a fresh install of godi-rocketboost-20080630 > > Here's the error I get: > > > > $ godiva easy-format.godiva > > [info] This is GODIVA version 0.9.5.1. > > [info] parsing spec file.. > > [info] performing semantic analysis.. > > [info] translating to godi package.. > > [info] outputting.. > > [info] Generating checksums. This may require downloading the package. > > sh: /home/martin/godi/bin/bmake: No such file or directory > > [error] Error generating checksum. > > GODIVA aborted. > > > > > > $ cat easy-format.godiva > > Package: godi-easy-format > > Version: 0.9.0 > > Revision: 0 > > Depends: godi-ocaml (>= 3.08) > > Sources: http://martin.jambon.free.fr/easy-format-0.9.0.tar.gz > > Homepage: http://martin.jambon.free.fr/easy-format.html > > Maintainer: Martin Jambon <[EMAIL PROTECTED]> > > Options: opt > > Docfiles: LICENSE > > Description: Indentation made easy(ier) > > This module offers a simplified interface to the Format module of the > > standard library. Input data must be converted into a tree using 3 kinds > > of nodes: atoms, lists and labelled nodes. Each node is bound to its own > > formatting parameters and a single function call produces the formatted > > output. > > . > > > > > > > > Martin > > > > -- > > http://wink.com/profile/mjambon > > http://mjambon.com/ > > > > _______________________________________________ > > Godi-list mailing list > > [email protected] > > https://godirepo.camlcity.org/mailman/listinfo/godi-list > > > -- > ------------------------------------------------------------ > Gerd Stolpmann * Viktoriastr. 45 * 64293 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 > _______________________________________________ Godi-list mailing list [email protected] https://godirepo.camlcity.org/mailman/listinfo/godi-list
