Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001280OCamlOCaml generalpublic2002-07-31 02:222002-08-02 13:47
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionno change required 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0001280: "Missing" dllunix.so on Linux system (gentoo)
DescriptionFull_Name: Larry Cow
Version: 3.05
OS: Gentoo Linux
Submission from: atuileries-101-1-4-34.abo.wanadoo.fr (193.253.189.34)


After compiling the tarball (default flags) without any problem, most ocaml*
commands works well but "ocamldoc" and "ocamlbrowser" both fail with:

Fatal error: cannot load shared library dllunix
Reason: dllunix.so: cannot open shared object file: No such file or directory

The file "dllunix.so" lays in /usr/lib/ocaml/stublibs, and even with the former
directory in ld.so.conf, the problem persists.

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0002531)
administrator (administrator)
2002-07-31 10:14

> After compiling the tarball (default flags) without any problem, most ocaml*
> commands works well but "ocamldoc" and "ocamlbrowser" both fail with:
>
> Fatal error: cannot load shared library dllunix
> Reason: dllunix.so: cannot open shared object file: No such file or directory
>
> The file "dllunix.so" lays in /usr/lib/ocaml/stublibs, and even with
> the former directory in ld.so.conf, the problem persists.

Try to set the OCAMLRUNPARAM environment variable to "v=256" and run
ocamlbrowser. The OCaml runtime system should then tell you what
shared libraries it is trying to load. If these aren't in
/usr/lib/ocaml/stublibs, then perhaps you have an OCAMLLIB or CAMLLIB
environment variable incorrectly set, or shared libraries from a
previous install interfering somehow.

- Xavier Leroy

(0002532)
administrator (administrator)
2002-08-01 02:30


> Try to set the OCAMLRUNPARAM environment variable to "v=256" and run
> ocamlbrowser. The OCaml runtime system should then tell you what
> shared libraries it is trying to load. If these aren't in
> /usr/lib/ocaml/stublibs, then perhaps you have an OCAMLLIB or CAMLLIB
> environment variable incorrectly set, or shared libraries from a
> previous install interfering somehow.

There is no more junk from previous installs. I tried with the
OCAMLRUNPARAM variable, doesn't change much. I'm still said the
dllunix.so is missing (a nice "No such file or directory"). And even
when setting my own OCAMLLIB to something including "/usr/lib/ocaml/
stublibs", it still can't be found.

(0002533)
administrator (administrator)
2002-08-01 09:36

> There is no more junk from previous installs. I tried with the
> OCAMLRUNPARAM variable, doesn't change much.

Soyez précis SVP. Quels sont les messages affichés exactement?

> And even
> when setting my own OCAMLLIB to something including "/usr/lib/ocaml/
> stublibs", it still can't be found.

Si nécessaire, ce serait OCAMLLIB=/usr/lib/ocaml qu'il faut mettre.
(Pour qu'il trouve le fichier /usr/lib/ocaml/ld.conf.)

Que contient /usr/lib/ocaml/ld.conf?

Quelle sortie obtenez-vous avec la commande suivante:

strace -e trace=file /usr/bin/ocamlrun /usr/bin/ocamlbrowser

- Xavier Leroy



(0002534)
administrator (administrator)
2002-08-01 18:49

> Soyez précis SVP. Quels sont les messages affichés exactement?

(ça ira plus vite en français, en effet)

Donc, le problème est réglé, merci de votre patience.

Pour la petite histoire: tout cela venait du script d'installation pour
gentoo-linux (que j'étais en train de mettre au point), qui réalise une
"pré-installation" dans un répertoire à part. Et donc le
/usr/lib/ocaml/ld.conf contenait des valeurs complètement inadaptées.

J'ignorais complètement que CAML utilisait un tel fichier, j'aurais pu
chercher longtemps sans votre aide, encore merci.

Et longue vie à OCaml! :)

--
( Olivier Migeot ) He said "Who's that guy with the funny smile?"
( EPITA ING1 C1 ) and she said "He's just a friend of mine."
( TEL 0674315242 ) "He's just a friend of mine..."
( ICQ# 54430152 ) - Vaya con Dios

(0002535)
administrator (administrator)
2002-08-02 13:47

Installation in other directories than those configured in.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker