Found this problem 20 minutes ago by myself - it is fixed now. Just
retry.
Gerd
Am 30.12.2012 22:41:11 schrieb(en) Petter Urkedal:
I'm trying to bootstrap with godi-skylift-20121022 using the 4.00
profile on Fedora 17. There is no previous ocaml compiler on the
system. Stage 2 fails to build godi-tools-3.0.34 with
make[9]: Entering directory
`/opt/godi/build/godi/godi-tools/work/godi-tools-3.0.34/console-src/console'
ocamlfind ocamlc -g -I ../godi-pkg -I ../godi-term -I
../godi-sys-unix -I ../godi-wget-boot -I ../godi-util -I ../godi-pax
-I ../godi-digest -I ../godi-wtool-simple -I ../godi-ui -package
"unix str shell netstring netclient" -c -g cmd.ml
File "cmd.ml", line 459, characters 18-23:
Error: This expression has type
< configure_store_passwords : 'a -> unit;
configure_timeout : float -> unit;
configure_user : string -> unit; have_auth : bool;
open_location : string -> Wtool_types.wtool_handler;
url_help : string list >
but an expression was expected of type
< configure_localbase : string -> 'b;
configure_store_passwords : bool -> 'c;
configure_timeout : 'd -> 'e; configure_user : string ->
unit;
.. >
The first object type has no method configure_localbase
make[9]: *** [cmd.cmo] Error 2
make[9]: Leaving directory
`/opt/godi/build/godi/godi-tools/work/godi-tools-3.0.34/console-src/console'
_______________________________________________
Godi-list mailing list
Godi-list@ocaml-programming.de
https://godirepo.camlcity.org/mailman/listinfo/godi-list
--
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany g...@gerd-stolpmann.de
Creator of GODI and camlcity.org.
Contact details: http://www.camlcity.org/contact.html
Company homepage: http://www.gerd-stolpmann.de
------------------------------------------------------------
_______________________________________________
Godi-list mailing list
Godi-list@ocaml-programming.de
https://godirepo.camlcity.org/mailman/listinfo/godi-list