caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] GODI news
@ 2004-02-27  9:41 Gerd Stolpmann
  0 siblings, 0 replies; 30+ messages in thread
From: Gerd Stolpmann @ 2004-02-27  9:41 UTC (permalink / raw)
  To: caml-list

Hi list, 

GODI, the O'Caml source distribution, has been updated with 
the following packages: 

- New versions of godi-tools (i.e. godi_console) and godi-core-mk.
  godi_console now includes a parser for makefiles that speeds up
  the process of scanning source packages. Furthermore, there
  are numerous bug fixes.
- godi-ulex version 0.4 
- conf-unixodbc and godi-ocamlodbc-unixodbc version 2.6 
- godi-equeue version 2.0.1
- godi-findlib version 1.0.3
- conf-sdl and godi-ocamlsdl version 0.6.3
- godi-lablgl version 1.0

To install these packages, just go into the godi_console, get the new 
list of available packages, and select the mentioned packages for 
build. Note that you should exit godi_console and call it again to 
get the new version.

Gerd 

GODI homepage: http://ocaml-programming.de/godi/
-- 
------------------------------------------------------------
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


^ permalink raw reply	[flat|nested] 30+ messages in thread
* [Caml-list] GODI news
@ 2012-10-22  2:39 Gerd Stolpmann
  0 siblings, 0 replies; 30+ messages in thread
From: Gerd Stolpmann @ 2012-10-22  2:39 UTC (permalink / raw)
  To: caml-list; +Cc: godi-list

Hi list,

there are some news about GODI, the still alive OCaml distribution:

  (1) A new version of the GODI software (godi-tools) has been
      released, with a bunch of new features, code name Skylift
  (2) Accompanying godi-tools, there is also a new bootstrap,
      now defaulting to OCaml-4.00
  (3) There are two new GODI derivates easing the installation
      on Windows.

  *

1. Skylift

It has been possible for a long time to mix packages from various  
sources, e.g. from the official GODI site, and from alternate sites.  
However, this feature was well hidden, and a bit complicated to use.  
Skylift eases this dramatically:

  - It includes scripts for populating directories with packages to
    export to the public (i.e. share your packages with others)
  - The profile feature was added to exactly control from where to
    take packages. The idea is that the user just installs a single
    file ("profile") and then automatically gets the packages from the
    sources described in this file. This makes it easy to import the
    package sources shared by others.

For some environments, it is very meaningful to deviate from GODI's  
source-only policy, and to create and distribute binary packages (i.e.  
already compiled). To support this better, the binary packages (which  
are also present almost since the beginning but were never noticed)  
have been enhanced. They encode now the "binary compatibility status"  
in a checksum that is appended to the filename, e.g.  
foo-3.4@BUILD_65fd12.tar.gz, and also record extended information about  
this issue within the package file. This means that you can have  
several foo-3.4 packages that were built with distinct dependencies,  
and GODI is clever enough to pick the right one. In addition to this,  
GODI supports now also to download binary packages from remote  
directories, and there is also a new UI dialog for this.

For developers, adding a patch to a GODI package has become easier:  
just edit the file, and then run a command to record the change. That's  
it now.

GODI is now also simpler to install, because you don't need wget nor  
PCRE anymore for running the bootstrap: wget is gone because GODI has  
now an included file downloader, and PCRE could be dropped by  
rearranging some Ocamlnet packaging.

Read more about Skylift:
http://godi.camlcity.org/godi/project-doc/skylift-intro.txt

Skylift is now also described in the User's Manual:
http://godi.camlcity.org/godi/user-doc/umanual.html

You can get Skylift only by installing GODI freshly - there is no  
upgrade path for existing installations.


2. The new bootstrap

The new bootstrap is

http://download.camlcity.org/download/godi-skylift-20121022.tar.gz

It works as before, but default now to install OCaml 4.00.1. Of course,  
you can still select an older version of OCaml.

Note that the support for packages is still not perfect for OCaml 4.00,  
but many packages are already ported (by version bump or patch).



3. Windows (mingw)

Skylift also includes all changes to run together with Cygwin-1.7 (a  
lot of the original GODI Windows support was bound to Cygwin-1.5). This  
inspired two guys to further enhance the Windows experience:

  - CygwinGODI (by Sébastien Fricker) is an installer that covers both  
Cygwin
    and GODI: http://cygwingodi.forge.ocamlcore.org/
  - WODI (by Andreas Hauptmann) goes even further, and creates a GODI
    derivate with specially-adapted packages, and a new GUI. WODI
    uses the new Skylift features for mixing packages sources, and for
    providing binary packages: http://wodi.forge.ocamlcore.org/


Read more about GODI in general: godi.camlcity.org

Gerd
-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
Creator of GODI and camlcity.org.
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------

^ permalink raw reply	[flat|nested] 30+ messages in thread
* [Caml-list] GODI news
@ 2004-05-14 16:29 Gerd Stolpmann
  0 siblings, 0 replies; 30+ messages in thread
From: Gerd Stolpmann @ 2004-05-14 16:29 UTC (permalink / raw)
  To: caml-list

Hi caml-list,

today the GODI distribution releases a new stable version of the
bootstrap tarball. This version includes support for:

- Linux
- Solaris
- FreeBSD
- NetBSD
- HP-UX
- MacOS X
- Cygwin

The latter four OS are supported for the first time. Read below how to
install or upgrade GODI.

There are also new packages, in particular:

- apps-unison: File synchronizer
- godi-camltemplate: Templates to generate web pages, SQL queries etc.
- godi-camomile: A comprehensive Unicode library
- godi-ocaml-mysql: MySQL client bindings
- godi-xml-light: minimal XML parser & pretty printer

Many thanks to Alain Frisch, Benjamin Geer, Owen Gunden, and Yamagata
Yoriyuki, who created the packages.

How to install GODI for the first time: Download the new bootstrap
tarball: 

http://www.ocaml-programming.de/packages/godi-bootstrap-20040514.tar.gz

Please read these web pages and follow the instructions:
- http://www.ocaml-programming.de/godi
- http://www.ocaml-programming.de/packages/documentation/godi/README.html

The latter is also included in the tarball.

How to upgrade: Just start godi_console, update the build instructions,
and then select the packages to upgrade from the list. Include at least
godi-core-mk, godi-core-pkgtools, and godi-tools, or press 'u' to select
all for which an upgrade is available. Then continue as usual. The rest
is done automatically. (This is why you need GODI.)

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


^ permalink raw reply	[flat|nested] 30+ messages in thread
* [Caml-list] GODI news
@ 2004-04-28 12:38 Gerd Stolpmann
  0 siblings, 0 replies; 30+ messages in thread
From: Gerd Stolpmann @ 2004-04-28 12:38 UTC (permalink / raw)
  To: caml-list

Hi list,

here is my report about the progress of the GODI system. A lot of things
have happened since the last "GODI news", so this is quite long.

We have two release lines, one is the "stable" release, in the sense
that the GODI core does not change during its lifetime, the other is the
"development" release, where exactly this happens. Of course, there is
also development in the stable release, as lots of new packages have
been added.

*** The stable release ***

You get the stable release when you download and install GODI using the
instructions as explained at http://www.ocaml-programming.de/godi, and
as detailed in the README file in the bootstrap tarball. It is known to
run on Linux, Solaris, and FreeBSD.

The stable release includes 24 libraries beyond those coming with the
core O'Caml distribution. It has 50 packages in total.

Recent additions include:

- expat: bindings for the popular XML parser
- getopt: parsing of command-line arguments
- zip: Compression
- cduce: XML transformation language
- ocamlsdl: bindings for SDL
- ocamlodbc: bindings for ODBC
- headache: manage headers of source code files
- godiva: the GODI Verpacken Assistant (read more below)

Most packaging was done by Alain Frisch, thank you very much.

The stable release already includes godi_console, the frontend
application to update, install, and delete packages. It is menu-based
and quite simple to use. One of the key features is that it can download
updates from the GODI server, so when new packages or upgrades are
available, it is very easy to get them installed. Btw, this is not done
using cvs or other configuration management, but by plain http. I
explain the reasons below.

*** The development release ***

This is also some kind of release, although only announced in godi-list.
See below how to install it. The current version should work on Linux,
Solaris, FreeBSD, NetBSD, MacOSX, and Cygwin. Development focuses on
getting it running on further platforms.

The changes illustrate this:

- One of the things where the platforms differ is the handling
  of shared libraries. I do not mean creating them, but rather
  using them. The GODI framework was extended to allow the integration
  of non-ELF based systems.

- The bootstrap script is more intelligent regarding finding
  executables in PATH. This is a bit tricky, as for some OS one
  should _not_ look certain utilities up by PATH to get the right
  versions, but on the other hand, extending PATH is the usual
  way of pointing to non-standard locations. Finding the right way
  was explored by lots of experiments.

- Especially for Cygwin, new ways of installing packages had to
  be explored. The problem is that Windows locks running executables,
  such that you cannot replace them. A workaround was found.

- Of course, there are also many smaller fixes.

I want to thank Eugene Kotlyarov for help on the Cygwin port, and
Matthew Backes for giving me access to his Macintosh.

Of course, one can only port GODI to a certain platform when there is a
development machine for it. If you would like to get GODI running on
your platform, and you have such a machine, you are more than welcome.

How to get the dev release:

- Download this bootstrap archive:
  http://ocaml-programming.de/packages/godi-bootstrap-20040426.tar.gz

- After unpacking, run ./bootstrap --prefix XXX as usual.

- IMPORTANT: Now change in <prefix>/etc/godi.conf:
  GODI_SECTION=dev

  Otherwise you get the stable GODI version.

- Finally, run ./boostrap_stage2

When everything works well, the dev release becomes the new stable
release. I expect that this happens in one or two weeks.


*** GODIVA ***

GODI, and implicitly the BSD port system on which it bases, was
criticized as being too complicated for packagers. (Well, I would say it
is quite simple, but this is the impression some people have.) Owen
Gunden and William Lovas developed a tool for GODI that simplifies
packaging, namely GODIVA:

http://projects.phauna.org/GODIVA/

You only need to write a small specfile like

Package: godi-foolib
Version: 2.0
Revision: 0
Depends: godi-ocaml (>= 3.06)
Build-Depends: conf-foo, godi-findlib (>= 0.8.1)
Sources: http://www.phauna.org/foolib/foolib-2.0.tar.gz
Homepage: http://www.phauna.org/foolib/
Maintainer: Owen Gunden <ogunden@phauna.org>
Options: configure, opt
Docfiles: README, VERSION, LICENSE
Description: O'Caml bindings for the foo library.
Foolib provides bindings for the foo library using the leetness
of labls!  It's a lot of fun.

(taken from the web site). However, GODIVA requires that the source code
follows a policy (e.g. that "make all" creates the bytecode version of
the software, and "make opt" creates the native code version), so the
downside is less flexibility. I think it is a good starting point to get
familiar with the GODI packaging system.

*** The GODI server ***

GODI also has a server infrastructure:

- http://www.ocaml-programming.de is web space I bought from a
  commercial provider. Nowadays, web space is cheap, fortunately. It is 
  http only, no scripts, no databases. Includes several gigabytes of
  transfer volume per month.

- https://gps.dynxs.de is the small box left to my desk. It is
  connected with a DSL line, so bandwidth is very limited, but
  I can install what I want. It is currently running Debian-3.0.

For obvious reasons, the "main" thing must happen on
www.ocaml-programming.de, as this server can cope with high download
volume. For development, gps.dynxs.de is the better choice.

There are currently the following services:

- http://www.ocaml-programming.de/godi is the homepage
- http://www.ocaml-programming.de/godi-build is the directory with
  the "build instructions", i.e. the small tarballs that explain
  GODI how to install software
- http://www.ocaml-programming.de/godi-backup contains copies
  of the source tarballs. There is a mirror of this directory
  at http://lcavwww.epfl.ch/~henridf/godi-backup, thanks
  Henri Dubois-Ferriere.
- https://gps.dynxs.de/mailman/listinfo is the home of the
  mailing lists godi-list and godi-commits
- https://gps.dynxs.de/svn is the home of the Subversion
  repository
- https://gps.dynxs.de/tracker is the home of the bug tracker
- https://gps.dynxs.de/godi_admin is the GODI administration
  tool for developers. This is a web application allowing the
  developers to release their packages without my help. The
  packages must already be checked in to the repository. The
  source tarballs are checked for availability. Finally, the
  tool manages that the right tarballs are uploaded to
  the godi-build and godi-backup directories.

Recently, the tracker and godi_admin were set up.

When a GODI user tries to update the installation, GODI looks into
http://www.ocaml-programming.de/godi-build and checks whether there are
new versions of the packages. If so, these are downloaded. These are the
so-called build instructions, mainly containing a Makefile explaining
how to do the rest. The software as such is downloaded from the original
web server, if possible, and from
http://www.ocaml-programming.de/godi-backup, or the mirror as fallback
solution.

Only HTTP is involved. For the users, it has the advantage that
firewalls do not block the downloads. For GODI, the advantage is that
cheap web space can be used to serve the requests.

*** LINKS ***

The most important links again:

- http://www.ocaml-programming.de/godi explains how to install the
  stable version of GODI

- https://gps.dynxs.de/mailman/listinfo/godi-list is the GODI mailing
  list. Archives can be found at
  https://gps.dynxs.de/pipermail/godi-list.

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


^ permalink raw reply	[flat|nested] 30+ messages in thread
* [Caml-list] GODI news
@ 2004-01-04 21:12 Gerd Stolpmann
  0 siblings, 0 replies; 30+ messages in thread
From: Gerd Stolpmann @ 2004-01-04 21:12 UTC (permalink / raw)
  To: caml-list

Hi list,

GODI, the O'Caml source distribution, has been updated with
the following packages:

- godi-findlib Version 1.0.1
- godi-findlib-browser Version 0.2
- godi-equeue Version 2.0
- apps-ledit Version 1.11 (contributed by Alain Frisch)

To install these packages, just go into the godi_console, get the new
list of available packages, and select the mentioned packages for
build.

Sorry, but I found no time yet to include Owen's and William's PLIST
patch. This is still on my list and not forgotten.

Gerd

GODI homepage: http://ocaml-programming.de/godi/
-- 
------------------------------------------------------------
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


^ permalink raw reply	[flat|nested] 30+ messages in thread
* [Caml-list] GODI news
@ 2003-12-02 22:35 Gerd Stolpmann
  2003-12-02 23:09 ` Alain.Frisch
  2003-12-03  7:49 ` Byron Hale
  0 siblings, 2 replies; 30+ messages in thread
From: Gerd Stolpmann @ 2003-12-02 22:35 UTC (permalink / raw)
  To: caml-list

Hello list,

GODI, the O'Caml source distribution, has been updated with
the following packages:

- godi-ulex (Lexical analysis with Unicode)
- godi-curl (Bindings for the CURL library)

Thanks to Alain Frisch who contributed both packages.

To install these packages, just go into the godi_console, get the new
list of available packages, and select the mentioned packages for
build.

Gerd

GODI homepage: http://ocaml-programming.de/godi/
-- 
------------------------------------------------------------
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


^ permalink raw reply	[flat|nested] 30+ messages in thread
* [Caml-list] GODI News
@ 2003-11-05 21:28 Gerd Stolpmann
  2003-11-05 22:59 ` Ken Rose
  0 siblings, 1 reply; 30+ messages in thread
From: Gerd Stolpmann @ 2003-11-05 21:28 UTC (permalink / raw)
  To: caml-list

Hello list,

GODI, the O'Caml source distribution, has been updated with
the following packages:

- O'Caml 3.07pl2 (godi-ocaml,godi-ocaml-graphics,godi-ocaml-labltk)
- PXP 1.1.94.2 (godi-pxp)

This package is new:

- Wdialog 2.0.1 (godi-wdialog,godi-wdialog-manual)

To update the installation, just go into the godi_console, get the new
list of available packages, and select the mentioned packages for
(re)build. GODI will install the new packages, and will recompile all
dependent packages.

Gerd

GODI homepage: http://ocaml-programming.de/godi/
-- 
------------------------------------------------------------
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


^ permalink raw reply	[flat|nested] 30+ messages in thread
* [Caml-list] GODI news
@ 2003-08-08 21:20 Gerd Stolpmann
  2003-08-08 21:37 ` Matt Gushee
  0 siblings, 1 reply; 30+ messages in thread
From: Gerd Stolpmann @ 2003-08-08 21:20 UTC (permalink / raw)
  To: caml-list

Hi list,

the GODI repositories are now accessible from the Internet:
https://gps.dynxs.de

I am using subversion (http://subversion.tigris.org) as
revision control system, so you need a subversion client to
fully access the repository (should be available for most
distros). For more instructions see https://gps.dynxs.de.
It is also possible to access the repository with an
arbitrary WebDAV client, or just with your browser.

The repository allows everybody to add build instructions
for packages one would like to see in GODI. A short
tutorial is also available at 
https://gps.dynxs.de/projects/godi/README.devel .

I know that not everything is yet perfect in GODI; Yes, it
is too Unixish, but nobody has shown a better way that
(a) works also for the complicated packages, and (b) would 
not mean a huge amount of work to realize it. So I propose
now to continue this way, and to collect build instructions, and 
to add user-friendly GUIs on top of the existing command-
line infrastructure. Last but not least a Cygwin port should
be tried.

In the case there is interest for a mailing list, I can 
open one. Please let me know in this case.

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


^ permalink raw reply	[flat|nested] 30+ messages in thread

end of thread, other threads:[~2012-10-22  2:39 UTC | newest]

Thread overview: 30+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-02-27  9:41 [Caml-list] GODI news Gerd Stolpmann
  -- strict thread matches above, loose matches on Subject: below --
2012-10-22  2:39 Gerd Stolpmann
2004-05-14 16:29 Gerd Stolpmann
2004-04-28 12:38 Gerd Stolpmann
2004-01-04 21:12 Gerd Stolpmann
2003-12-02 22:35 Gerd Stolpmann
2003-12-02 23:09 ` Alain.Frisch
2003-12-02 23:36   ` Benjamin Geer
2003-12-02 23:51     ` Alain.Frisch
2003-12-03  5:12     ` William Lovas
2003-12-03 11:16       ` Sven Luther
2003-12-04  4:25         ` William Lovas
2003-12-08 12:44           ` Sven Luther
2003-12-03 21:14       ` Sylvain LE GALL
2003-12-03 23:59     ` Gerd Stolpmann
2003-12-04  0:41       ` Benjamin Geer
2003-12-05 21:23         ` Gerd Stolpmann
2003-12-03  7:49 ` Byron Hale
2003-11-05 21:28 [Caml-list] GODI News Gerd Stolpmann
2003-11-05 22:59 ` Ken Rose
2003-08-08 21:20 [Caml-list] GODI news Gerd Stolpmann
2003-08-08 21:37 ` Matt Gushee
2003-08-09  9:04   ` Gerd Stolpmann
2003-08-09 17:05     ` Matt Gushee
2003-08-09 18:06       ` Dmitry Bely
2003-08-09 18:44         ` Alexander V. Voinov
2003-08-09 21:16           ` Sven Luther
2003-08-10  1:11             ` skaller
2003-08-10  7:35               ` Sven Luther
2003-08-10 20:25                 ` skaller

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).