Version française
Home     About     Download     Resources     Contact us    
Browse thread
Installing findlib
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Hendrik Maryns <hendrik@s...>
Subject: Installing findlib
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

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.


Cheers, H.
- --
Hendrik Maryns

SFB 441 Linguistische Datenstrukturen
Seminar für Sprachwissenschaft
Universität Tübingen
Nauklerstraße 35
72074 Tübingen
+497071 29-72732
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (GNU/Linux)

iD8DBQFEvjR6f8wVQAnB0SYRAk1xAKCGnkIqwN7c89qISORK/zugD4v82gCfUT74
CV5TJfGLryqPRcrZWilWeww=
=xh+w
-----END PGP SIGNATURE-----