On Wed, 9 Jul 2008, N. Owen Gunden wrote:
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..).
Meanwhile:
ln -s $GODI_LOCALBASE/bin/godi_make $GODI_LOCALBASE/bin/bmake
(should work; I actually used my previous godi installation do prepare my
package with godiva)
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
--
http://wink.com/profile/mjambon
http://mjambon.com/
_______________________________________________
Godi-list mailing list
[email protected]
https://godirepo.camlcity.org/mailman/listinfo/godi-list
