IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

Caml Discussion :

Probleme de compilation de program ocaml "toplevel v4.08.1" avec labgtk sous Zorin Os -Linux 64bits


Sujet :

Caml

  1. #1
    Membre régulier Avatar de selmanjo
    Homme Profil pro
    Savant en programmation orienté objet
    Inscrit en
    Janvier 2020
    Messages
    55
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Ille et Vilaine (Bretagne)

    Informations professionnelles :
    Activité : Savant en programmation orienté objet
    Secteur : Conseil

    Informations forums :
    Inscription : Janvier 2020
    Messages : 55
    Points : 101
    Points
    101
    Par défaut Probleme de compilation de program ocaml "toplevel v4.08.1" avec labgtk sous Zorin Os -Linux 64bits
    Bonsoir,

    Système : Zorin OS Linux 64bits avec dernière mise à jour installées.
    Où j'ai installé ocaml avec la commande :
    Code : Sélectionner tout - Visualiser dans une fenêtre à part
    sudo apt install ocaml-interp
    Puis,
    J'ai fait les manipulations : opam init... eval ocaml env...
    J'ai essayé (de compiler mes programmes) plusieurs fois mais je ne sais plus quoi faire.

    Je souhaite compiler mon programme ocaml
    dans mon terminal sous Linux mais la compilation ne marche pas.
    La commande que j'ai utilisé est :
    Code : Sélectionner tout - Visualiser dans une fenêtre à part
    ocaml -w s -I +lablgtk2 lablgtk.cma fenetre.ml
    Où fenetre.ml est mon code source ocaml.
    Sortie de la commande:
    Code : Sélectionner tout - Visualiser dans une fenêtre à part
    Cannot find file lablgtk.cma
    J'ai vérifié avec un
    Code : Sélectionner tout - Visualiser dans une fenêtre à part
    ls /lib/ocaml | grep lablgtk
    mais je trouve rien en sortie.

    Comment compiler mon programme avec lablgtk s'il vous plaît?

  2. #2
    Membre régulier Avatar de selmanjo
    Homme Profil pro
    Savant en programmation orienté objet
    Inscrit en
    Janvier 2020
    Messages
    55
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Ille et Vilaine (Bretagne)

    Informations professionnelles :
    Activité : Savant en programmation orienté objet
    Secteur : Conseil

    Informations forums :
    Inscription : Janvier 2020
    Messages : 55
    Points : 101
    Points
    101
    Par défaut Solution trouvée
    J'ai téléchargé TOUTES les dépendances de liblablgtk2 sous Linux.
    Il faut faire: sudo apt search liblablgtk2 sous Linux puis les installer.
    Il y a des exemples de Cacophrene, pour tester.
    Ou encore mieux (en tout cas dans ma distro):
    Code : Sélectionner tout - Visualiser dans une fenêtre à part
    ocamlc -I +lablgtk2 -w s lablgtk.cma gtkInit.cmo ???.ml -o ???.out
    Pour compiler.
    Et puis pour exécuter le binaire:

+ Répondre à la discussion
Cette discussion est résolue.

Discussions similaires

  1. [API][Cup] problem niveau compilation
    Par KoLziG dans le forum Général Java
    Réponses: 1
    Dernier message: 02/01/2005, 19h30
  2. [JSP & TAGLIB] Probleme de compilation
    Par GesMo dans le forum Servlets/JSP
    Réponses: 7
    Dernier message: 17/05/2004, 15h03
  3. Probleme de Compilation de la STL
    Par stoluup dans le forum MFC
    Réponses: 3
    Dernier message: 05/05/2004, 17h25
  4. [TP]Probleme de compilation sous TP7
    Par yffick dans le forum Turbo Pascal
    Réponses: 7
    Dernier message: 18/12/2003, 20h32
  5. Problemes de compilation avec g++ sous linux
    Par Selimmel dans le forum Autres éditeurs
    Réponses: 3
    Dernier message: 19/09/2003, 13h43

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo