Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] GODI available for download
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jacques Garrigue <garrigue@k...>
Subject: Re: [Caml-list] GODI available for download
Hi Gerd,

I attempted to install godi on FreeBSD 5.1, but my first attempt
lamentably failed.
The error I got was
===> Creating sample godi.conf
===> Installing BSD compatible install script
===> Installing bmake
mkdir: /usr/opt/godi/man/man1: File exists
This seems to come from a missing -p argument to mkdir in bootstrap.
I join a patch.

The fix was easy, but getting it to work difficult, as you have to
erase the godi directory, and use the cleanup script in the
distribution before recompiling everything (strange for such a small
Also, godi_build and godi_info were not installed, and I had to
install them by hand.
Next, building godi-ocaml and godi-ocaml-labltk. godi-ocaml went fine,
but godi-ocaml-labltk failed, because it needs some configuration
options (I see no way to pass them). Since I'm used to BSD packages, I
go to the godi-ocaml-labltk/work directory, and reconfigure by hand.
Build goes fine, but it uses ocamlopt rather than the faster

I was also a bit wondering why it installs so many utilities, as they
are all there already on FreeBSD :-) But compatibility can be a pain.

I have two questions concerning godi itself:
 - is it a good idea to use a small tgz by package?
   we might en up with lots of them!
   personnally I would rather go for updating directly from a CVS
   repository, and eventually distribute a big tgz containing all
   instruction corresponding to a specific version of ocaml.
   but you may have your reasons.
 - what about windows? Do you think it is reasonnable to have a binary
   distribution of godi with all the necessary commands (not depending
   on cygwin)? Or a distribution on top of cygwin.
   Not depending on cygwin would be a big plus for occasional users.


        Jacques Garrigue

--- bootstrap.orig	Thu Jul 31 23:34:07 2003
+++ bootstrap	Sat Aug  2 11:37:10 2003
@@ -339,7 +339,7 @@
 (cd bmake; $shprog ./configure --prefix=$prefix --with-default-sys-path=$prefix/share/mk $configargs && make -f makefile.boot bootstrap && env BINDIR=$prefix/bin $BSTRAP_ENV ./bmake -f Makefile install) 2>&1
 ln -s bmake $prefix/bin/godi_make
 # The manpage is not installed. Why?
-mkdir $prefix/man/man1
+$mkdirprog -p $prefix/man/man1
 cp bmake/make.1 $prefix/man/man1/godi_bmake.1
 # bootstrap lukemftp
@@ -415,7 +415,7 @@
 # Move pkgsrc in place
-mkdir $pkgsrcdir
+$mkdirprog -p $pkgsrcdir
 (   cd pkgsrc

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: