Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
RE: Installing findlib
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-07-19 (15:06)
From: Hendrik Maryns <hendrik.maryns@u...>
Subject: RE: Installing findlib
Hash: SHA1

> [Caml-list] Installing findlib
> Van:
> Hendrik Maryns <>
> 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:
>  For that, I seem to need findlib.  I found it here:
>, 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.


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

=================    (waarom zou ik hier toch naar verwijzen...)        De kunst van het stedelijke oorlogvoeren
Version: GnuPG v1.4.2 (GNU/Linux)