Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002226OCamlOCaml generalpublic2004-02-10 18:572004-04-01 15:48
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionno change required 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0002226: Erreur de compilation sous Ocaml 3.07
DescriptionFull_Name: Philippe Veber
Version: 3.07
OS: Linux
Submission from: cache.jouy.inra.fr (138.102.1.123)


Source qui pose problème :

oops.ml:

ignore (Thread.create ignore ());;



Commandes pour compiler :

ocamlc -thread -c oops.ml
ocamlc -thread -o oops threads.cma -cclib -lthreads oops.cmo
Error while linking /home/mig/pveber//lib/ocaml/threads/threads.cma(Thread):
Reference to undefined global `Unix'



Tentative de correction

ocamlc -thread -c oops.ml
ocamlc -thread -o oops unix.cma -cclib -lunix threads.cma -cclib -lthreads
oops.cmo
Files /home/mig/pveber//lib/ocaml/threads/unix.cma(Unix)
and /home/mig/pveber//lib/ocaml/stdlib.cma(List)
make inconsistent assumptions over interface List


Ces résultats sont obtenus avec Ocaml 3.07



Avec Ocaml 3.06:

ocamlc -thread -c mlmake.ml
ocamlc -thread -o mlmake threads.cma -cclib -lthreads mlmake.cmo

passe très bien (sur 3.04 aussi).


Vraiment désolé s'il ne s'agit que d'une erreur de ma part, mais ça me donne
l'occasion de féliciter l'équipe pour le travail qu'elle réalise.

Cordialement,
  Philippe Veber.


TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0002791)
administrator (administrator)
2004-02-10 21:51

> Full_Name: Philippe Veber
> Version: 3.07
> OS: Linux
> Submission from: cache.jouy.inra.fr (138.102.1.123)
>
>
> Source qui pose problème :
>
> oops.ml:
>
> ignore (Thread.create ignore ());;
>
>
>
> Commandes pour compiler :
>
> ocamlc -thread -c oops.ml
> ocamlc -thread -o oops threads.cma -cclib -lthreads oops.cmo
> Error while linking /home/mig/pveber//lib/ocaml/threads/threads.cma(Thread):
> Reference to undefined global `Unix'
>
>
>
> Tentative de correction
>
> ocamlc -thread -c oops.ml
> ocamlc -thread -o oops unix.cma -cclib -lunix threads.cma -cclib -lthreads
> oops.cmo
> Files /home/mig/pveber//lib/ocaml/threads/unix.cma(Unix)
> and /home/mig/pveber//lib/ocaml/stdlib.cma(List)
> make inconsistent assumptions over interface List
>
>
> Ces résultats sont obtenus avec Ocaml 3.07
>
>
>
> Avec Ocaml 3.06:
>
> ocamlc -thread -c mlmake.ml
> ocamlc -thread -o mlmake threads.cma -cclib -lthreads mlmake.cmo
>
> passe très bien (sur 3.04 aussi).
>
>
> Vraiment désolé s'il ne s'agit que d'une erreur de ma part, mais ça me donne
> l'occasion de féliciter l'équipe pour le travail qu'elle réalise.
>
> Cordialement,
> Philippe Veber.

Merci de votre intérêt pour Caml et de vos félicitations :)

Le symptôme que vous observez est typique d'une installation
partielle: le compilateur n'est pas en phase avec les bibliothèques
déjà installées par ailleurs.

Pourriez-vous réinstaller le compilateur après avoir supprimé
/home/mig/pveber/lib/ocaml/ ?

Si tout ne rentre pas dans l'ordre, faites-nous le savoir ...

Cordialement,
--
Pierre Weis

INRIA, Projet Cristal, http://pauillac.inria.fr/~weis [^]

(0002792)
administrator (administrator)
2004-04-01 15:48

Couldn't reproduce.

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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker