Browse thread
Installing findlib
- Hendrik Maryns
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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-----