William R | 15 Apr 2013 22:51
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 2013 14:25
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 2013 19:19
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 2012 22:41
Picon
Favicon

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 2012 03:25
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
------------------------------------------------------------
Sylvain Le Gall | 11 Dec 2012 23:59
Favicon
Gravatar

Unable to compile OCaml on Raspberry PI

Hi,


Just try to install gody-skylift on my new Raspberry Pi. It fails with a segfault:
../../ocamlcomp.sh -c -warn-error A -g -nolabels unix.mli
make[9]: *** [unix.cmi] Erreur de segmentation

I attach the bootstrap.log. 

If someone has an idea, contact me... I can even provide ssh access, if needed.

Cheers
Sylvain
_______________________________________________
Godi-list mailing list
Godi-list@...
https://godirepo.camlcity.org/mailman/listinfo/godi-list
Sebastien Fricker | 10 Dec 2012 12:09
Picon

OQamlDebug v0.9 available on GODI

Hi,
I have released OQamlDebug v0.9.0 on GODI.
This version is the preliminary version which will be used as basis for the 
version 1.0.
The Version 1.0 will include a standalone installer for each platforms (Linux, 
Windows and MacOS) and bug fixes.

I would be happy if some of you can have a try with it.
OQamlDebug is a frontend to OCamlDebug which should make debugging byte code 
more intuitive.
A demonstration video is available here: 
http://oqamldebug.forge.ocamlcore.org/

Please do not hesitate to report any issue (from unclear tooltip to real 
issues) on ocamlcore.org (https://forge.ocamlcore.org/tracker/?group_id=311)

Sébastien
Sebastien Fricker | 10 Dec 2012 11:27
Picon

Packages for OCaml 4.0

Hi,
I made a package update of OQamlDebug and OTags for OCaml 4.0.
Unfortunately I cannot find it if I install GODI for OCaml 4.0.
The update for OCaml 3.12 works.
In which pack file should I modify to deploy OCaml 4.00 packages?
Regards,
Sébastien 
Ashish Agarwal | 7 Dec 2012 20:43
Picon
Gravatar

using executables compiled under Wodi

Hi. I just installed OCaml on Windows with Wodi in less than 20 minutes from beginning to end! Firstly, thanks for this great work. And now some questions:


I managed to compile an executable. Will it run standalone on another Windows machine?

How come in a cmd.exe window, I can see the file using ls but not dir?

C:\Program Files\Foo> ls
foo

C:\Program Files\Foo> dir
Volume in drive C has no label.
...
0 File(s)     0 bytes

_______________________________________________
Godi-list mailing list
Godi-list@...
https://godirepo.camlcity.org/mailman/listinfo/godi-list
Gerd Stolpmann | 22 Nov 2012 21:19
Picon

GODI on Raspberry Pi

Hi list,

I got my Raspberry Pi today (http://raspberrypi.org). Here is how to
build GODI on it:

- Check the ARM ABI of the OS: dpkg-architecture -qDEB_BUILD_ARCH
  If it says "armhf" you have hardware floating point (e.g. for
  Raspbian), and the following is relevant. If it says "armel"
  GODI should work out of the box (but consider to switch to an
  armhf-based OS because it is faster)

  If you read this, and OCaml-4.01 is already out, you probably
  do not need to take care of the following, because the required patch
  is probably already in this release
  (http://caml.inria.fr/mantis/view.php?id=5798).

- Get the latest Skylift bootstrap tarball from
  http://godi.camlcity.org/godi/get_godi.html

- Unpack it, and bootstrap with -no-stage2, e.g.
  ./bootstrap -no-stage2

- After stage 1 is finished, edit <prefix>/etc/godi.conf,
  and add the line

  OCAML_SVN_CHECKOUT=yes

  Ocaml is then directly pulled from the Subversion repository.
  This is the latest trunk version, so depending on when you
  do it the version may or may not work. Today it worked.
  You can force the version of today, if necessary, by also
  setting

  OCAML_SVN_ARGS=--non-interactive -r 13099

- Then run stage 2:
  ./bootstrap_stage2

Be prepared that the build takes some time (three hours). Also, check
first if you have enough space on the SD card (the downloadable OS
images are for 2GB cards, and leave maybe 300MB for the user, which is
not enough, so you need at least a 4GB card). I don't know how much RAM
you really need - I got one of the new 512 MB devices, and have
additional 100MB for swapping.

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
*** Searching for new projects! Need consulting for system
*** programming in Ocaml? Gerd Stolpmann can help you.
------------------------------------------------------------
Caio Filippo Corro | 8 Nov 2012 13:47
Picon

godi-lablgtksourceview

Hello,

I want to install godi-lablgtksourceview in order to use why3ide. The package have an old dependency which is not available anymore. A ticket was created a long time ago : https://godirepo.camlcity.org/tracker/mantis-ro/view.php?id=218

Even if I change the depencies, to have godi-lablgtk2>=20051028, it doesn't work :

      >>> Test Configuration <<<

> toplevel builder:           /home/godi/godi/bin/ocamlmktop
> profiler:                   /home/godi/godi/bin/ocamlprof
> camlp4:                     /home/godi/godi/bin/camlp4
> ocamlfind:                  /home/godi/godi/bin/ocamlfind
> ### checking required tools and libraries ###
> checking for Lablgtk2 (byte) with ocamlfind... yes
> checking for Lablgtk2 (opt) with ocamlfind... yes
> sh: /home/godi/godi/lib/ocaml/std-lib/lablgtk2/varcc: No such file or directo
  ry
> Could not run /home/godi/godi/lib/ocaml/std-lib/lablgtk2/varcc.
> You way have a look at config_check.log for details.
> Error: Exec error: File /home/godi/godi/build/godi/godi-lablgtksourceview/./.
  ./../mk/bsd.pkg.mk, line 1267: Command returned with non-zero exit code
> Error: Exec error: File /home/godi/godi/build/godi/godi-lablgtksourceview/./.
  ./../mk/bsd.pkg.mk, line 1765: Command returned with non-zero exit code


Does somebody have a workaround for this ?
Thanks !

_______________________________________________
Godi-list mailing list
Godi-list@...
https://godirepo.camlcity.org/mailman/listinfo/godi-list

Gmane