-[ Thu, Jan 21, 2010 at 11:20:55AM -0500, Art Mulder ]----
> There is not a boot_console in the godi-rocketboost directory.
> 
> I think you must mean another location.

After a succesfull build in ~/src_LOCAL/godi-rocketboost-20090916, I have in
this directory boot_console, reproduced here :

#! /bin/sh
LC_CTYPE=C
LC_COLLATE=C
GODI_BOOT_CONSOLE="/home/ccellier/src_LOCAL/godi-rocketboost-20090916/run/ocamlrun-3.09.3/byterun/ocamlfatrun
 
/home/ccellier/src_LOCAL/godi-rocketboost-20090916/godi-tools-boot/boot_console"
GODI_BOOT_STAGE="stage1"
GODI_BOOT_SYSMK="/home/ccellier/src_LOCAL/godi-rocketboost-20090916/godi-tools/mk/share/mk"
GODI_BOOT_FLEXDLL="/home/ccellier/src_LOCAL/godi-rocketboost-20090916/flexdll-bin-0.15"
export LC_CTYPE LC_COLLATE GODI_BOOT_CONSOLE GODI_BOOT_STAGE
export GODI_BOOT_SYSMK GODI_BOOT_FLEXDLL

/home/ccellier/src_LOCAL/godi-rocketboost-20090916/run/ocamlrun-3.09.3/byterun/ocamlfatrun
 
/home/ccellier/src_LOCAL/godi-rocketboost-20090916/godi-tools-boot/boot_console 
"$@"


I don't remember at which stage of the installation this file is created.
I'm trying with version 20091222 just now...

_______________________________________________
Godi-list mailing list
[email protected]
https://godirepo.camlcity.org/mailman/listinfo/godi-list

Reply via email to