Browse thread
[Caml-list] GODI for 3.07beta1
- Gerd Stolpmann
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Gerd Stolpmann <info@g...> |
| Subject: | [Caml-list] GODI for 3.07beta1 |
Hi list, GODI supports now 3.07beta1. To enable it, add this line to godi.conf: GODI_SECTION = 3.07beta1 Furthermore, I would recommend to either start with a new bootstrap, or clean your current installation before you try to upgrade. Many packages have still the same version number, and this may confuse GODI: cd <prefix>/build rm -rf base godi cd <prefix>/build/packages rm */* # or move packages away godi_delete -r godi-ocaml godi-pcre godi-ocaml-src (godi_pcre because of a missing dependency). Then start with godi_build -update, and run godi_build on the packages you would like to have. godi_build -upgrade should not be used for an O'Caml upgrade. Furthermore, I also recommend to add NO_MTREE=yes to godi.conf; otherwise it might be possible that you get error messages when you godi_add a binary package. Gerd -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de ------------------------------------------------------------ ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners