Gerd,
On Windows the installatoin fails:
Error: Cannot get godi-tools/mk/godi-tools-0@BUILD:90283e.tgz: Not a
directory:
godi-tools/mk/godi-tools-0@BUILD
Also: flexdll is not up-to-date.
You should update it to 3.0.
I have updated https://gitorious.org/cygwingodi/cygwingodi to test the
skylift distribution.
Regards,
Sébastien
full log:
===> Creating sample godi.conf
===> Creating godi_confdir
===> Creating file tree
===> Creating boot console
===> Installing boot console
===> Installing boot-time make framework
Error: Cannot get godi-tools/mk/godi-tools-0@BUILD:90283e.tgz: Not a
directory:
godi-tools/mk/godi-tools-0@BUILD
Failure! (See bootstrap.log for details)
*** Defs line 10: Ignore ?= for PTOOL_ARGS
*** Defs line 12: found rule .PHONY : all opt bootpkg install clean (0
commands)
*** Defs line 12: adding as regular rule of type ':'
*** Defs line 14: found rule all : (1 commands)
*** Defs line 14: adding as regular rule of type ':'
*** Defs line 16: found rule opt : (1 commands)
*** Defs line 16: adding as regular rule of type ':'
*** Defs line 21: found rule install : (13 commands)
*** Defs line 21: adding as regular rule of type ':'
*** Defs line 37: found rule bootpkg : (1 commands)
*** Defs line 37: adding as regular rule of type ':'
*** Defs line 49: found rule clean : (3 commands)
*** Defs line 49: adding as regular rule of type ':'
*** Defs: Switching to file <implicit>
*** Defs line 0: Restoring value for: .SYSTEM_SCOPE
*** Defs line 0: Restoring value for: .PARSEFILE
*** Entering [1] /tmp/godi-skylift-20120607/godi-tools/mk
*** Making [1] bootpkg
*** Executing [1] bootpkg
/tmp/godi-skylift-20120607/run/godi_console0 ptool -in-dispersed
-out-binary .
-set-prefix `pwd` -set-plist PLIST.bootpkg -set-name
"godi-tools-0" -set-co
mment "Preliminary version of godi-tools " -set-description-file
"/dev/null" -
set-preserve true -set-deinstall-script-file
'/tmp/godi-skylift-20120607/godi-t
ools.deinstall'
++ pwd
+ /tmp/godi-skylift-20120607/run/godi_console0 ptool -in-dispersed
-out-binary .
-set-prefix /tmp/godi-skylift-20120607/godi-tools/mk -set-plist
PLIST.bootpkg -
set-name godi-tools-0 -set-comment 'Preliminary version of godi-tools '
-set-des
cription-file /dev/null -set-preserve true -set-deinstall-script-file
/tmp/godi-
skylift-20120607/godi-tools.deinstall
Wrote
/tmp/godi-skylift-20120607/godi-tools/mk/./godi-tools-0@BUILD:90283e.tgz
*** Leaving [1] /tmp/godi-skylift-20120607/godi-tools/mk
godi-tools made!
Press any key to continue . . .
_______________________________________________
Godi-list mailing list
Godi-list@ocaml-programming.de
https://godirepo.camlcity.org/mailman/listinfo/godi-list
