Hendrik Tews | 15 Aug 14:02 2013
Picon

oasis-sexplib cannot be installed / OASIS-DB Import FAQ error

Hi,

I tried to install oasis-sexplib because there is no native
godi-sexplib package any more. However, oasis-sexplib depends on
type_conv and godi-type_conv has a more recent version than
oasis-type_conv. So no surprise that the installation of
oasis-sexplib fails.

I tried setting OASIS_SEXPLIB_DEPENDS_OVERRIDE in the Configure
Package dialog for oasis-sexplib. The packages that I add there
are added in the dependencies, however godi-type_conv stays in
the dependencies even if I make OASIS_SEXPLIB_DEPENDS_OVERRIDE
empty.

This means that the workaround for broken dependencies described
on http://godi.camlcity.org/godi/oasis.html does not work.

I even replaced every occurrence of "godi-type_conv" in
build/oasis/oasis-sexplib/Makefile with "oasis-type_conv". But
this did not help either. 

Is there a way to install sexplib for OCaml 4 with godi?

Bye,

Hendrik

PS. Please keep me on CC because I am not on godi-list and the
godi-list archive is not accessible.
(Continue reading)

Mike Lin | 24 Jul 00:35 2013
Picon

Re: [Caml-list] GODI is shutting down

Gerd,
Thanks for all your work maintaining GODI over the years.
Mike



On Mon, Jul 22, 2013 at 2:21 PM, Gerd Stolpmann <info-hSAoxvrX8AeehQVqBdtPyrNAH6kLmebB@public.gmane.org> wrote:
Dear subscriber,

Unfortunately, it is no longer possible for me to run the GODI
distribution. GODI will not upgrade to OCaml 4.01 once it is out, and it
will shut down the public service in the course of September 2013. The
website, camlcity.org, will remain up, but with reduced content. Existing
GODI installations can be continued to be used, but upgrades or bugfixes
will not be available when GODI is off.

Although there are still a lot of GODI users, it is unavoidable to shut
GODI down due to lack of supporters, especially package developers. I was
more or less alone in the past months, and my time contingent will not
allow it to do the upgrade to OCaml 4.01 alone (when it is released).

Also, there was a lot of noise about a competing packaging system for
OCaml in the past weeks: OPAM. Apparently, it got a lot of attention both
from individuals and from organizations. As I see it, the OCaml community
is too small to support two systems, and so in some sense GODI is
displaced by OPAM.

The sad part is that OPAM is only clearly better in one point, namely in
interacting with the community (via Github). In times where social
networks are worth billions this is probably the striking point. It
doesn't matter that OPAM lacks core functions like deleting all files when
a package is removed, and that it lacks many other features GODI has. So
there is some loss of functionality for the community (partly difficult to
replace, like GODI's support for Windows).

If somebody wants to take over GODI, please do so. The source code is
still available as well as the package directories. Maybe it is sufficient
to move the repository to a public place and to redesign the package
release process to give GODI a restart.

There is also another point that was driving me mad in the past weeks,
namely missing respect from the OPAM guys. Given the fact that OPAM is
only a thin layer around ocamlfind (and guess who wrote it), and given the
fact that GODI was pioneering in many fields, I was expecting nicer
wordings, and less dumb campaigning ("we have 400 packages, and you only
170"). OPAM is only harvesting what I seeded many years ago.

Let's hope these guys get now some kicks into their asses, and are forced
to add all the functionality to OPAM the OCaml community deserves.

Hoorn (NL), the 22nd July 2013,

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



--
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

_______________________________________________
Godi-list mailing list
Godi-list@...
https://godirepo.camlcity.org/mailman/listinfo/godi-list
Matthieu Dubuget | 23 Jul 13:07 2013
Picon

Re: [Caml-list] GODI is shutting down

oliver <oliver <at> first.in-berlin.de> — 2013-07-23 12:22:05
> I think using git (with or without github) is making it much much
> more easy than using email.

Strange? I had understood that the work-flow for the linux kernel 
development was using git and email only?

OK. This is of topic. Sorry for that.

Cheers

--

-- 
Matthieu Dubuget
_______________________________________________
Godi-list mailing list
Godi-list <at> ocaml-programming.de
https://godirepo.camlcity.org/mailman/listinfo/godi-list
Gerd Stolpmann | 23 Jul 12:01 2013
Picon

Re: [Caml-list] GODI is shutting down

> You haven't only written the code but you've also setup a whole
> infrastructure. Would you mind trying to pass it over or migrate it,
> maybe not leaving completely but letting others do some of the  
> annoying
> admin-related tasks?

Both is possible - there are two VMs, one with the repository and the  
release infrastructure, one with the autobuilder, and it would be easy  
to migrate it somewhere else. It's also possible to leave it where it  
is if only someone else takes over the leadership of the project, and  
invests time to renew it. (My problem is only that I don't have the  
energy anymore to run it, but if I can help with computing resources it  
would be a pleasure.)

> I also believe "pinning" is a bad idea in general: it picks bits and
> pieces of software from different timeframes. It will work for
> exceptional cases but otherwise you end up with an exponential  
> explosion
> of combinations of versions that haven't been tested together.

Well, there is in deed one good use: imagine you have a group of people  
needing to use exactly the same versions. So you basically freeze the  
versions at one point in time, knowing that they work well together. If  
you need newer versions, you move the "pin" together (or update the  
same set of local patches). Ideally, you can also create fresh  
installation with the pinned versions. GODI supports this for some time  
now (although by editing files only, but I guess this is ok for a  
group, say a team in a company).

> There could be a git branch or a git repo for stable stuff along with
> the development tree. Citrix already does that and others already do
> that too. Which means that there are several parallel distributions  
> and
> that has its drawbacks too.

Yes, you can emulate this with git.

Gerd
--

-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@...
Creator of GODI and camlcity.org.
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------
Gerd Stolpmann | 23 Jul 11:34 2013
Picon

Re: [Caml-list] GODI is shutting down

Am 23.07.2013 00:32:43 schrieb(en) Anil Madhavapeddy:
> On 22 Jul 2013, at 22:21, "Gerd Stolpmann"
<info@...>  
> wrote:
> 
> > There is also another point that was driving me mad in the past  
> weeks,
> > namely missing respect from the OPAM guys. Given the fact that OPAM  
> is
> > only a thin layer around ocamlfind (and guess who wrote it), and  
> given the
> > fact that GODI was pioneering in many fields, I was expecting nicer
> > wordings, and less dumb campaigning ("we have 400 packages, and you  
> only
> > 170"). OPAM is only harvesting what I seeded many years ago.
> 
> So when you describe the virtues of GODI, you call it 'advocating',  
> and when
> Fabrice describes the virtues of OPAM, it's 'dumb campaigning'. This  
> is
> splendidly reminiscent of US politics!

I do not live in the US, so I have no idea what you are talking about.

> Anyway, I'm not a GODI user, but I think you're doing a disservice to  
> your
> loyal GODI users if you shut it down in a huff. There are features  
> (notably
> Windows support) where it'll take OPAM some time to catch up.  I  
> think that
> the real reason that you're shutting it is nothing to do with  
> "respect", but
> is good old-fashioned burnt-out:

If you mean that I'm alone not louder than the crowd, maybe call it  
burnout. At a certain point I noticed that arguments do not count  
anymore, and it doesn't matter what I do. So it doesn't make sense to  
put more energy into this project.

> > Although there are still a lot of GODI users, it is unavoidable to  
> shut GODI down due to lack of supporters, especially package  
> developers. I was more or less alone in the past months, and my time  
> contingent will not allow it to do the upgrade to OCaml 4.01 alone  
> (when it is released).
> 
> Instead of doing such a heroic solo job (which I'm not being funny  
> about --
> it really is a lot of work), why not spend the time to open up GODI  
> as well?
> 
> Most of the OPAM package descriptions come from *other people*. We  
> just review
> them, give feedback if necessary, click the merge button and fix  
> errors that
> creep through.  And even that takes up a surprising amount of time...

That's again campaign - you have absolutely no idea, but the reader of  
your lines will have the impression that GODI is a closed system only  
created by a single guy. Actually, most GODI packages were done by  
other people (well, initially at least, but many packages got orphaned  
over time). GODI is an open system, only that it's not as radically  
transparent as people are nowadays used to (i.e. there is no web site  
with user statistics, no public commit logs, no easy way to pull  
commits from other systems, no whatever other bells and whistles, and  
you needed to send me an email to register, old style). But the users  
had all freedom, including doing releases completely on their own (no  
pull request bureaucracy).

Gerd
--

-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@...
Creator of GODI and camlcity.org.
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------
Thomas Gazagnaire | 23 Jul 11:28 2013

Re: GODI is shutting down

> There is also another point that was driving me mad in the past weeks,
> namely missing respect from the OPAM guys. Given the fact that OPAM is
> only a thin layer around ocamlfind (and guess who wrote it), and given the
> fact that GODI was pioneering in many fields, I was expecting nicer
> wordings, and less dumb campaigning ("we have 400 packages, and you only
> 170"). OPAM is only harvesting what I seeded many years ago.

I am sorry you feel that way, but I have to correct some errors. First, you seem to not make the difference
between exposing a fact: "OPAM packaging workflow is easier than GODI's, hence the higher number of
packages" and being disrespectful: (insert here any of the sentence related to OPAM in your recent emails).

Second, OPAM is *not* a thin layer around ocamlfind: it is a (not-so-thin) layer around the dose3 library
(used by the Debian tools to manage complex dependencies), around heterogeneous metadata backends
(HTTP, rsync, Git, hg, darcs) and compiler environment variables (to support multiple switch). OPAM is
build-system agnostic (and could be used to build C or C++ projects for instance) and its initial goal was
to integrate nicely with the existing ecosystem, namely ocamlbuild, ocamlfind and oasis (and omake and
ocp-build). So yes, people are using OPAM and ocamlfind together, and this is a very good thing -- and they
can use any other system if they like it.

We have been focusing on the final user experience, based on our the constant feedback from the community
and industrial users, and lot of people seem to appreciate the effort. I am very sorry you don't.

Best,
Thomas
William R | 15 Apr 22:51 2013
Picon

godi-camlimages upgrade

Subject:
Re: [Godi-list] godi-skylift-20121022 issues (update with camlimages)
From:
Gerd Stolpmann <info-hSAoxvrX8AeehQVqBdtPyrNAH6kLmebB@public.gmane.org>
Date:
04/14/2013 10:42 PM
To:
William R <r.3-TDf4sKD1mxeHlu7OokbhRg@public.gmane.org>
CC:
godi-list-0/DJaXJYEy2dTX5a5knrm3qWYbMAw+HU@public.gmane.org

Am 12.04.2013 00:12:37 schrieb(en) William R:
- with godi-camlimages,
it seems that in godi you add a META file, which is good. this file
lacks support for package ps. One would need to add :
package "ps" (
   description = "Camlimages support for ps file format"
   requires = "camlimages.core, camlimages.ppm"
   archive(byte) = "ci_ps.cma"
   archive(native) = "ci_ps.cmxa"
)

and adding camlimages.ps in the "requires" line at the end of the
file.
Have you checked whether this entry exists also in the newer upstream
package (there is one with a new build system, but quite identical
otherwise)? Upgrading to this newer version is still a pending task.
yes, it uses "ps". Concerning the new build system, I personally kept the old one that was I think better (at least, I can do cross compilation with it in mxe, the mingw cross environment). As they do not provide META file (sic), I will try to stick with something similar to yours.

===> camlimages4.0.1 do actually have a META file... updating to this build system would solve this issue.

I've done this. Please try out. There may still be errors because it is really quite different.



Gerd,
- I had troubles with updated godi-camlimages. godi-camlimages started to compile, but then godi discovered that camlimages was already installed, and thus installation aborted. I was in a similar situation as previously, where the package was not installed according to godi, so it was impossible to clear it, and it was also impossible to install...
Solved the issue by manually removing pkg-lib/camlimages.

- once godi-camlimages 4.0.1 was installed, I could do native compilation. But it failed with byte compilation. I guess it is a problem from the camlimage compilation, but I am not sure :
/tmp/cc2bZjQw.o:(.data+0x36a8): undefined reference to `dGifOpenFileName'
/tmp/cc2bZjQw.o:(.data+0x36b0): undefined reference to `dGifCloseFile'
/tmp/cc2bZjQw.o:(.data+0x36b8): undefined reference to `dGifGetRecordType'
/tmp/cc2bZjQw.o:(.data+0x36c0): undefined reference to `dGifGetImageDesc'
/tmp/cc2bZjQw.o:(.data+0x36c8): undefined reference to `dGifGetLine'
/tmp/cc2bZjQw.o:(.data+0x36d0): undefined reference to `dGifGetExtension'
/tmp/cc2bZjQw.o:(.data+0x36d8): undefined reference to `eGifOpenFileName'
/tmp/cc2bZjQw.o:(.data+0x36e0): undefined reference to `eGifCloseFile'
/tmp/cc2bZjQw.o:(.data+0x36e8): undefined reference to `eGifPutScreenDesc'
/tmp/cc2bZjQw.o:(.data+0x36f0): undefined reference to `eGifPutImageDesc'
/tmp/cc2bZjQw.o:(.data+0x36f8): undefined reference to `eGifPutLine'
/tmp/cc2bZjQw.o:(.data+0x3700): undefined reference to `eGifPutExtension'
/tmp/cc2bZjQw.o:(.data+0x3708): undefined reference to `read_jpeg_scanline'
/tmp/cc2bZjQw.o:(.data+0x3710): undefined reference to `close_jpeg_file_for_read'
/tmp/cc2bZjQw.o:(.data+0x3718): undefined reference to `open_jpeg_file_for_write'
/tmp/cc2bZjQw.o:(.data+0x3720): undefined reference to `write_jpeg_scanline'
/tmp/cc2bZjQw.o:(.data+0x3728): undefined reference to `close_jpeg_file_for_write'
/tmp/cc2bZjQw.o:(.data+0x3730): undefined reference to `open_jpeg_file_for_write_cmyk'
/tmp/cc2bZjQw.o:(.data+0x3738): undefined reference to `read_jpeg_scanlines'
/tmp/cc2bZjQw.o:(.data+0x3740): undefined reference to `open_jpeg_file_for_read'
/tmp/cc2bZjQw.o:(.data+0x3748): undefined reference to `jpeg_set_scale_denom'
/tmp/cc2bZjQw.o:(.data+0x3750): undefined reference to `open_jpeg_file_for_read_start'
/tmp/cc2bZjQw.o:(.data+0x3758): undefined reference to `write_png_file_index'
/tmp/cc2bZjQw.o:(.data+0x3760): undefined reference to `write_png_file_rgb'
/tmp/cc2bZjQw.o:(.data+0x3768): undefined reference to `read_png_file'
/tmp/cc2bZjQw.o:(.data+0x3770): undefined reference to `read_png_file_as_rgb24'
/tmp/cc2bZjQw.o:(.data+0x3778): undefined reference to `open_tiff_file_for_read'
/tmp/cc2bZjQw.o:(.data+0x3780): undefined reference to `read_tiff_scanline'
/tmp/cc2bZjQw.o:(.data+0x3788): undefined reference to `close_tiff_file'
/tmp/cc2bZjQw.o:(.data+0x3790): undefined reference to `open_tiff_file_for_write'
/tmp/cc2bZjQw.o:(.data+0x3798): undefined reference to `write_tiff_scanline'
/tmp/cc2bZjQw.o:(.data+0x37a0): undefined reference to `read_xpm_file'
collect2: ld returned 1 exit status
File "_none_", line 1:
Error: Error while building custom runtime system
Command exited with code 2.
Compilation unsuccessful after building 458 targets (454 cached) in 00:00:02.

Best regards
_______________________________________________
Godi-list mailing list
Godi-list@...
https://godirepo.camlcity.org/mailman/listinfo/godi-list
r.3 | 5 Apr 14:25 2013
Picon

godi-skylift-20121022 issues

Hello,
I have issues while using godi-skylift-20121022 and ocaml 4.00.1

- if I select a package that needs further dependencies, godi_console adds the dependencies, and then asks me confirmation that I am ok to build those dependencies. I press "[s]art/continue installation", but then it comes back in loop to the same screen... Imposible to access the next screen that proposes the "[o]k" option. The workaround is to disable all packages, and to build dependencies one by one.

- I tried to build godi-cairo, but it failed with a message saying that godi-cairo is already installed (I am not sure what I did before this). And indeed, /opt/Ocaml/godi-4.0/lib/ocaml/pkg-lib/cairo existed. And it was impossible from godi to remove godi-cairo, because it considered it as not installed. I solved it by removing this directory, and also /opt/Ocaml/godi-4.0/lib/ocaml/pkg-lib/stublibs/dllmlcairo.so.

- with godi-lablgl, I can not compile it with option "GODI_LABLGL_ENABLE_TOGL = no", but it works surprisingly with option "GODI_LABLGL_ENABLE_TOGL = yes"
with option "GODI_ENABLE_TOGL = no, I get this message, as if GODI_LABLGL_ENABLE_TOGL was actually GODI_LABLGL_DISABLE_TOGL :
> cd Togl/src && /usr/bin/make all
> make[8]: entrant dans le r?pertoire << /opt/Ocaml/godi-4.0/build/godi/godi-lablgl/work/lablGL-1.04/Togl/src >>
> ocamlc.opt -c -w s -I +labltk -I ../../src togl.mli
> ocamlc.opt -c -w s -I +labltk -I ../../src togl.ml
> ocamlrun ../../src/var2def < togl_tags.var > togl_tags.h
> ocamlrun ../../src/var2switch TOGL_ < togl_tags.var > togl_tags.c
> ocamlc.opt -c -w s -ccopt "-c -O -I../../src -ITogl  -I.  -I/usr/include" ml_togl.c
> ml_togl.c:12:17: error: tcl.h: Aucun fichier ou dossier de ce type
> ml_togl.c:13:16: error: tk.h: Aucun fichier ou dossier de ce type

- with godi-camlimages,
it seems that in godi you add a META file, which is good. this file lacks support for package ps. One would need to add :
package "ps" (
  description = "Camlimages support for ps file format"
  requires = "camlimages.core, camlimages.ppm"
  archive(byte) = "ci_ps.cma"
  archive(native) = "ci_ps.cmxa"
)

and adding camlimages.ps in the "requires" line at the end of the file.



Thanks a lot for godi !
Best regards,
William

_______________________________________________
Godi-list mailing list
Godi-list@...
https://godirepo.camlcity.org/mailman/listinfo/godi-list
Willy WOLFF | 6 Jan 19:19 2013
Picon

godi-dypgen-20111127

Hello,

this package doesn't compil under Mac OSX 10.7.
can we modify the installer to remove "-D" option?

> ===> Installing for godi-dypgen-20111127
> mkdir -p /users/willy/local/opt/godi-4_00/bin
> cp dypgen/dypgen.opt /users/willy/local/opt/godi-4_00/bin
> install -D --mode=755 dypgen/dypgen /users/willy/local/opt/godi-4_00/bin
> install: illegal option -- D
> usage: install [-bCcpSsv] [-B suffix] [-f flags] [-g group] [-m mode]
>                [-o owner] file1 file2
>        install [-bCcpSsv] [-B suffix] [-f flags] [-g group] [-m mode]
>                [-o owner] file1 ... fileN directory
>        install -d [-v] [-g group] [-m mode] [-o owner] directory ...
> make[8]: *** [install] Error 64

Thanks

Willy

_______________________________________________
Godi-list mailing list
Godi-list@...
https://godirepo.camlcity.org/mailman/listinfo/godi-list
Petter Urkedal | 30 Dec 22:41 2012
Picon

Bootstrap fails to compile godi-tools

I'm trying to bootstrap with godi-skylift-20121022 using the 4.00
profile on Fedora 17.  There is no previous ocaml compiler on the
system.  Stage 2 fails to build godi-tools-3.0.34 with

make[9]: Entering directory `/opt/godi/build/godi/godi-tools/work/godi-tools-3.0.34/console-src/console'
ocamlfind ocamlc -g   -I ../godi-pkg -I ../godi-term -I ../godi-sys-unix -I ../godi-wget-boot -I
../godi-util -I ../godi-pax -I ../godi-digest -I ../godi-wtool-simple -I ../godi-ui -package "unix
str shell netstring netclient" -c -g cmd.ml
File "cmd.ml", line 459, characters 18-23:
Error: This expression has type
         < configure_store_passwords : 'a -> unit;
           configure_timeout : float -> unit;
           configure_user : string -> unit; have_auth : bool;
           open_location : string -> Wtool_types.wtool_handler;
           url_help : string list >
       but an expression was expected of type
         < configure_localbase : string -> 'b;
           configure_store_passwords : bool -> 'c;
           configure_timeout : 'd -> 'e; configure_user : string -> unit;
           .. >
       The first object type has no method configure_localbase
make[9]: *** [cmd.cmo] Error 2
make[9]: Leaving directory `/opt/godi/build/godi/godi-tools/work/godi-tools-3.0.34/console-src/console'
Gerd Stolpmann | 29 Dec 03:25 2012
Picon

Release API

Hi,

a long-standing issue of GODI was that the release process of packages  
was too complicated and essentially a manual procedure. This is now  
addressed by the Release API. In order to get your current package  
version released, just type

godi_make release SECTIONS="3.12 4.00"

in a package directory (after committing). It does two things:

  - adds/updates the line in release.$section.map for your package
  - runs the script that was previously triggered from the web browser,
    and that checks, packs, and uploads the package.

How to get it? Please read

http://godi.camlcity.org/godi/project-doc/account.html#api

Technically, it is just another cgi running on the web server calling  
scripts in a slightly different way than before. For developing the  
client, however, it was essential that we have https support directly  
in OCaml, and the lack of https was blocking this addition for a long  
time. But now it's there, and it can be used for complete automation of  
software releases.

Gerd
--

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

Gmane