-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

> [Caml-list] Installing findlib
> Van:
> Hendrik Maryns <hendrik@sfs.uni-tuebingen.de>
> Datum:
> Wed, 19 Jul 2006 15:32:42 +0200
> 
> Hello all,
> 
> I am new to Ocaml, and am struggling with installing some libraries.
> 
> My goal is to understand parts of the code of Bernard Filiot’s binary
> tree automata library: http://www.grappa.univ-lille3.fr/%7Efiliot/tata/.
>  For that, I seem to need findlib.  I found it here:
> http://www.ocaml-programming.de/packages/, but the configure script
> gives me the following error:
> 
> lichtenstein:/usr/local/findlib-1.1.2pl1 # ./configure
> Welcome to findlib version 1.1.2pl1
> Configuring core...
> Testing threading model...
> Testing DLLs...
> Configuring libraries...
> labltk: not present
> camlp4: found
> Configuration for dbm written to site-lib-src/dbm/META
> Configuration for dynlink written to site-lib-src/dynlink/META
> Configuration for graphics written to site-lib-src/graphics/META
> Configuration for num written to site-lib-src/num/META
> Configuration for num-top written to site-lib-src/num-top/META
> Configuration for str written to site-lib-src/str/META
> Configuration for threads written to site-lib-src/threads/META
> Configuration for unix written to site-lib-src/unix/META
> Configuration for stdlib written to site-lib-src/stdlib/META
> Configuration for bigarray written to site-lib-src/bigarray/META
> Configuration for camlp4 written to site-lib-src/camlp4/META
> Detecting compiler arguments: FAILED
> 
> I have ocaml installed via SuSe’s package manager (64-bit version), I’m
> on SuSe Linux 10.0
> 
> Any help much appreciated.

It worked now: I compiled Ocaml from scratch, and it just worked.  Now
I’m having trouble installing Timbuk and the binary tree automata
package... But back to that later.

H.

- --
Hendrik Maryns
Herrenberger Straße 40
D-72070 Tübingen
+49707143783    (Deutschland fest)
+491753353494    (Deutschland Handy)
+32485470741    (België)

=================
www.lieverleven.be    (waarom zou ik hier toch naar verwijzen...)
http://aouw.org        De kunst van het stedelijke oorlogvoeren
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (GNU/Linux)

iD8DBQFEvkpsBGFP0CTku6MRAifgAJ49Qb8lTgazC8qsKy7547ylfsozgwCgmXpU
Et9tDxCVpGVs4m4DBBbZGPY=
=HPe1
-----END PGP SIGNATURE-----