Am Dienstag, den 15.02.2011, 09:59 +0000 schrieb Hugo Ferreira: > Hello, > > I juts updated my GODI installation. > The build of the latest ocamlnet (3.2) library failed. > The error message is listed below. > > Is this an error with the makefile?
No, it is a problem in ocaml-3.11. ocaml-3.12 has no problem with this code. I've released ocamlnet-3.2.1 working around this problem. Gerd > > TIA, > Hugo F. > > >>> Installation <<< > > > shell_stream_fs > > does not match > > class shell_fs : > > ?encoding:Netconversion.encoding -> > > ?root:string -> > > ?dd_has_excl:bool -> command_interpreter -> shell_stream_fs > > A parameter has type > > < exec : command_context -> 'a; interrupt : unit -> unit; > > run : unit -> unit; .. > > > but is expected to have type command_interpreter > > Error: Exec error: File > /home/hugof/ocaml/godi/build/godi/godi-ocamlnet/work/ocamlnet-3.2/src/shell/./../../Makefile.rules, > > line 109: Command returned with non-zero ex > it code > > Error: Exec error: File > /home/hugof/ocaml/godi/build/godi/godi-ocamlnet/work/ocamlnet-3.2/./Makefile, > line 19: Command returned with non-zero exit code > > Error: Exec error: File > /home/hugof/ocaml/godi/build/godi/godi-ocamlnet/./../../mk/bsd.pkg.mk, > line 1039: Command returned with non-zero exit code > > Error: Exec error: File > /home/hugof/ocaml/godi/build/godi/godi-ocamlnet/./../../mk/bsd.pkg.mk, > line 1378: Command returned with non-zero exit code > > ### Error: Command fails with code 1: godi_console > > > _______________________________________________ > Godi-list mailing list > [email protected] > https://godirepo.camlcity.org/mailman/listinfo/godi-list > -- ------------------------------------------------------------ Gerd Stolpmann, Bad Nauheimer Str.3, 64289 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
