The godi_console under "work" should support Cygwin paths. However it does not use the Cygwin DLL for that, but an implementation of its own. So there might be simply a bug in it.
What's your mount table? (Output of "mount") Gerd Am Dienstag, den 24.06.2008, 22:36 +0200 schrieb Hans Ole Rafaelsen: > Hello, > > I trying to install a MinGW port of GODI using > > http://download.camlcity.org/download/godi-rocketboost-20080624.tar.gz > version of GODI. It runs just fine until it tries to install the godi-tools > package. > > $ ./bootstrap -prefix /work/hans/godi-mingw -w32port mingw > $ ./bootstrap_stage2 > > ... > ... > cp `./collect_files godi_script.exe godi_script_toploop.exe` > C:/cygwin/work/hans/godi-mingw/build/godi/godi-tools/work/stage/bin > make[5]: Leaving directory > `/work/hans/godi-mingw/build/godi/godi-tools/work/godi-tools-2.0/godi-script/src' > make[4]: Leaving directory > `/work/hans/godi-mingw/build/godi/godi-tools/work/godi-tools-2.0/godi-script' > make[3]: Leaving directory > `/work/hans/godi-mingw/build/godi/godi-tools/work/godi-tools-2.0' > mkdir -p > C:/cygwin/work/hans/godi-mingw/build/godi/godi-tools/work/stage/lib/godi > echo "GODI_TOOLS_HAS_ADD=1" > >C:/cygwin/work/hans/godi-mingw/build/godi/godi-tools/work/stage/lib/godi/godi-tools.sh > echo "GODI_TOOLS_HAS_DELETE=1" > >>C:/cygwin/work/hans/godi-mingw/build/godi/godi-tools/work/stage/lib/godi/godi-tools.sh > mkdir -p > C:/cygwin/work/hans/godi-mingw/build/godi/godi-tools/work/stage/doc/godi-tools > cp /work/hans/godi-mingw/build/godi/godi-tools/work/godi-tools-2.0/LICENSE > C:/cygwin/work/hans/godi-mingw/build/godi/godi-tools/work/stage/doc/godi-tools > cd > /work/hans/godi-mingw/build/godi/godi-tools/work/godi-tools-2.0/godi-script/doc > && /work/hans/godi-mingw/bin/godi_pax -rw -pp html > C:/cygwin/work/hans/godi-mingw/build/godi/godi-tools/work/stage/doc/godi-tools > /work/hans/godi-mingw/build/godi/godi-tools/work/godi-tools-2.0/console-src/console/godi_console > ptool -in-dispersed -fixup-symlinks -out-binary > /work/hans/godi-mingw/build/godi/godi-tools/work -set-prefix > C:/cygwin/work/hans/godi-mingw/build/godi/godi-tools/work/stage > -set-auto-plist -set-name godi-tools-2.0 -set-comment godi_console\ and\ > other\ tools\ for\ GODI -set-description-file > /work/hans/godi-mingw/build/godi/godi-tools/work/.DESCR -set-maintainer > [EMAIL PROTECTED] -set-build-dependencies > godi-ocaml\>\=3.09:../../godi/godi-ocaml\ > godi-findlib\>\=1.0:../../godi/godi-findlib\ > godi-ocamlnet\>\=2.0:../../godi/godi-ocamlnet -set-preserve true > Error: File not found: /work/hans/godi-mingw/build/godi/godi-tools/work/.DESCR > Error: Exec error: File > /work/hans/godi-mingw/build/godi/godi-tools/./makefile, line 91: Command > returned with non-zero exit code > Error: Command fails with code 1: godi_console > Failure! > > $ ls -la /work/hans/godi-mingw/build/godi/godi-tools/work/.DESCR > -rw-r--r-- 1 rafhan Ingen 188 Jun 24 21:09 > /work/hans/godi-mingw/build/godi/godi-tools/work/.DESCR > $ > > Seems to be some problem with that the godi_console created under: > /work/hans/godi-mingw/build/godi/godi-tools/work/godi-tools-2.0/console-src/console/godi_console > > does not support CygWin paths. > > Any suggestions on how to fix this or work around the problem. > > Thanks, > > Hans Ole > > > > _______________________________________________ > 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
