Godi installation of Felix Compiler on Ubuntu 5.10

Godi installation of Felix Compiler on Ubuntu 5.10

[Pierluigi Sanna]

[-- Attachment #1: Type: text/plain, Size: 1008 bytes --]

Hi,
I'm trying to install Felix Compiler and other via Godi, but I get this
error message during the installation.
I didn't fin anything to solve my problem and I don't know what to do.
Thanks a lot in advance

+-------------------------------- GODI Console
--------------------------------+

      >>> Installation <<<

> ===> Extracting for conf-curl-3
> /bin/mkdir -p /home/pierluigi/godi/build/conf/conf-curl/work/pseudo
> mkdir -p /home/pierluigi/godi/build/conf/conf-curl/work/pseudo
> cp files/configure files/Makefile
/home/pierluigi/godi/build/conf/conf-curl/wo
  rk/pseudo
> ===> Patching for conf-curl-3
> ===> Configuring for conf-curl-3
> ===> Script curl-config not found
>      Consider adding GODI_BASEPKG_CURL=yes to godi.conf
> *** Error code 1
> Stop.
> godi_make: stopped in /home/pierluigi/godi/build/conf/conf-curl
> *** Error code 1
> Stop.
> godi_make: stopped in /home/pierluigi/godi/build/conf/conf-curl

### Error: Command fails with code 1: godi_make

[-- Attachment #2: Type: text/html, Size: 1242 bytes --]

Re: [Caml-list] Godi installation of Felix Compiler on Ubuntu 5.10

[Gerd Stolpmann]

Am Dienstag, den 14.03.2006, 11:31 +0100 schrieb Pierluigi Sanna:
> Hi,
> I'm trying to install Felix Compiler and other via Godi, but I get
> this error message during the installation.
> I didn't fin anything to solve my problem and I don't know what to do.
> Thanks a lot in advance

This error simply means that you need the curl library. Either install
the version your OS provides (if so; don't forget to install the
development package, too), or install curl manually somewhere and tell
GODI where it is, or simply add the line

GODI_BASEPKG_CURL=yes

to godi.conf which causes GODI to install curl for you.

The point is that GODI does not install libraries automatically that are
usually available in a free operating system.

Gerd

> 
> +-------------------------------- GODI Console
> --------------------------------+
> 
>       >>> Installation <<<
> 
> > ===> Extracting for conf-curl-3
> > /bin/mkdir -p /home/pierluigi/godi/build/conf/conf-curl/work/pseudo
> > mkdir -p /home/pierluigi/godi/build/conf/conf-curl/work/pseudo
> > cp files/configure
> files/Makefile /home/pierluigi/godi/build/conf/conf-curl/wo
>   rk/pseudo
> > ===> Patching for conf-curl-3
> > ===> Configuring for conf-curl-3
> > ===> Script curl-config not found
> >      Consider adding GODI_BASEPKG_CURL=yes to godi.conf
> > *** Error code 1
> > Stop.
> > godi_make: stopped in /home/pierluigi/godi/build/conf/conf-curl
> > *** Error code 1
> > Stop.
> > godi_make: stopped in /home/pierluigi/godi/build/conf/conf-curl
> 
> ### Error: Command fails with code 1: godi_make
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
-- 
------------------------------------------------------------
Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany 
gerd@gerd-stolpmann.de          http://www.gerd-stolpmann.de
Phone: +49-6151-153855                  Fax: +49-6151-997714
------------------------------------------------------------