Bug dans utop ?

Bug dans utop ? [Réglé]

Meuz Membre non connecté

Le 24/08/2017 à 12h43

Voir le profil du membre Meuz
Inscrit le : 06/08/2011
Groupes :

utop est un interpréteur ( un toplevel ) pour le langage de programmation OCaml qu'on peux lancer dans un terminal.

Au lancement, j'ai :

[meuz@localhost ~]$ utop
Fatal error: cannot load shared library dlllambda-term_stubs
Reason: dlllambda-term_stubs.so: cannot open shared object file: No such file or directory

Pourtant cet lib est présente :

[meuz@localhost ~]$ locate dlllambda-term_stubs.so
/usr/lib64/ocaml/lambda-term/dlllambda-term_stubs.so

avec les droits d'exécution

[meuz@localhost ~]$ ls -l /usr/lib64/ocaml/lambda-term/dlllambda-term_stubs.so
-rwxr-xr-x 1 root root 11080 févr. 17 2016 /usr/lib64/ocaml/lambda-term/dlllambda-term_stubs.so*

Qui peut confirmer ou infirmer ?

Édité par Meuz Le 01/09/2017 à 00h28

m@rco123 Membre non connecté

Le 24/08/2017 à 13h19

#230817

Voir le profil du membre m@rco123
Inscrit le : 15/05/2009
Groupes :

je confirme ...

[marco@localhost ~]$ utop
Fatal error: cannot load shared library dlllambda-term_stubs
Reason: dlllambda-term_stubs.so: cannot open shared object file: No such file or directory

[marco@localhost ~]$ sudo utop
[sudo] Mot de passe de marco :
Fatal error: cannot load shared library dlllambda-term_stubs
Reason: dlllambda-term_stubs.so: cannot open shared object file: No such file or directory

Édité par m@rco123 Le 24/08/2017 à 13h20

Lenovo 110-17acl
cg Mullins [Radeon R3 Graphics] / ssd SanDisk 250Go
Mageia 9 plasma 64b

packard ls11hr
cg intel 810 / ssd SanDisk 128Go
Mageia 9 plasma 64b

Meuz Membre non connecté

Le 24/08/2017 à 13h28

#230818

Voir le profil du membre Meuz
Inscrit le : 06/08/2011
Groupes :

Merci.
Je fais une déclaration de bug.

Edit
Eh bien c'est déjà fait, j'aurais dû commencer par là.
Ce n'est pas prêt d'être corrigé, il n'y a plus de mainteneur pour ce paquet.

Édité par Meuz Le 24/08/2017 à 13h33

m@rco123 Membre non connecté

Le 24/08/2017 à 13h49

#230820

Voir le profil du membre m@rco123
Inscrit le : 15/05/2009
Groupes :

[marco@localhost ~]$ urpmf dlllambda-term_stubs.so
ocaml-lambda-term:/usr/lib64/ocaml/lambda-term/dlllambda-term_stubs.so
$MIRRORLIST: media/core/release/media_info/20170714-192548-files.xml.lzma
ocaml-lambda-term:/usr/lib64/ocaml/lambda-term/dlllambda-term_stubs.so
$MIRRORLIST: media/core/updates/media_info/20170824-073630-files.xml.lzma
$MIRRORLIST: media/../../i586/media/core/release/media_info/20170714-192023-files.xml.lzma
ocaml-lambda-term:/usr/lib/ocaml/lambda-term/dlllambda-term_stubs.so
$MIRRORLIST: media/../../i586/media/core/updates/media_info/20170824-073547-files.xml.lzma
$MIRRORLIST: media/../../i586/media/nonfree/release/media_info/20170714-184101-files.xml.lzma
$MIRRORLIST: media/../../i586/media/nonfree/updates/media_info/20170821-113057-files.xml.lzma
$MIRRORLIST: media/../../i586/media/tainted/release/media_info/20170714-184130-files.xml.lzma
$MIRRORLIST: media/../../i586/media/tainted/updates/media_info/20170821-205550-files.xml.lzma

Lenovo 110-17acl
cg Mullins [Radeon R3 Graphics] / ssd SanDisk 250Go
Mageia 9 plasma 64b

packard ls11hr
cg intel 810 / ssd SanDisk 128Go
Mageia 9 plasma 64b

m@rco123 Membre non connecté

Le 24/08/2017 à 13h54

#230821

Voir le profil du membre m@rco123
Inscrit le : 15/05/2009
Groupes :

[marco@localhost ~]$ ls /usr/lib64/ocaml/lambda-term/
dlllambda-term_stubs.so* lTerm.cmi lTerm_event.cmi lTerm_inputrc.cmi lTerm_read_line.cmi lTerm_text.cmi lTerm_widget_callbacks.cmi META
lambda-term.cma lTerm_draw.cmi lTerm_geom.cmi lTerm_key.cmi lTerm_resources.cmi lTerm_ui.cmi lTerm_widget.cmi
lambda-term.cmxs* lTerm_edit.cmi lTerm_history.cmi lTerm_mouse.cmi lTerm_style.cmi lTerm_unix.cmi lTerm_windows.cmi

Lenovo 110-17acl
cg Mullins [Radeon R3 Graphics] / ssd SanDisk 250Go
Mageia 9 plasma 64b

packard ls11hr
cg intel 810 / ssd SanDisk 128Go
Mageia 9 plasma 64b

magnux77 Membre non connecté

Membre d'Honneur

Le 24/08/2017 à 15h01

#230829

Voir le profil du membre magnux77
Inscrit le : 21/09/2009
Groupes :
Membre d'Honneur

Sinon, en attendant, à mon avis, si tu l'ajoutes dans ton PATH ça devrait le faire.

Code BASH :

export PATH=$PATH; /usr/lib64/ocaml/lambda-term/dlllambda-term_stubs.so

Je précise que c'est non testé.

...depuis Mandrake 7
Membre de l'April - « promouvoir et défendre le Logiciel Libre»
Soutien Framasoft - « Changer le monde, un octet à la fois»
Config n°1 : cpu=AMD64x6 mem=16G SSD=64G HDD=1T OS=Mageia8-64 DE=Xfce, Config n°2 : Dell Latitude E6410 SSD=120G OS=Mageia8 DE=Xfce, Config n°3 : ThinkpadR40 SSD=32G OS=[Manjaro, Parabola, Mageia6] DE=Xfce, Config n°4 : EeePC901 SSD=20Gb, OS=[SliTaz5/Lxde, Mageia8/Xfce]

Meuz Membre non connecté

Le 24/08/2017 à 17h41

#230834

Voir le profil du membre Meuz
Inscrit le : 06/08/2011
Groupes :

Ça ne change rien.

Code BASH :

[meuz@localhost ~]$ export PATH=$PATH:/usr/lib64/ocaml/lambda-term/dlllambda-term_stubs.so
[meuz@localhost ~]$ utop
Fatal error: cannot load shared library dlllambda-term_stubs
Reason: dlllambda-term_stubs.so: cannot open shared object file: No such file or directory

Bugzilla a d'ailleurs déjà tenté ce genre de « hack » comme ils disent.

Edit
Ta commande comporte une erreur. Ce n'est pas ; mais : .

Édité par Meuz Le 24/08/2017 à 17h44

Meuz Membre non connecté

Le 01/09/2017 à 00h27

#231231

Voir le profil du membre Meuz
Inscrit le : 06/08/2011
Groupes :

Réglé.
À la hache, certes, mais réglé.

Logiciels / Autres logiciels

Répondre

Vous n'êtes pas autorisé à écrire dans cette catégorie

Notre Mission	Liens du site	Nous joindre	MLO est hébergé par
MLO est le forum francophone de la distribution Mageia et vous propose également un portail dédié aux débutants. MLO vous apporte un support sur la distribution grâce à son forum et vous offre des nouvelles de la distribution, des logiciels libres et de l'Open Source en général. Notre site a aussi pour but de vous montrer que Mageia est un système d'exploitation complet et facile à prendre en main. Vous apprendrez à installer simplement et à administrer efficacement votre système en un temps record.	Forum Documentation News du libre Mageia	Contacter MLO Mastodon MLO Flux RSS	MLO est un projet soutenu par Nos partenaires et amis
MLO est mis à disposition selon les termes de la licence Creative Commons.