Probleme a la compilation

Version imprimable

05/12/2007, 12h36
Dlieu

Probleme a la compilation

Salut, je bosse sur un projet, et j'aurai voulu le compiler sous forme d'un executable voici la ligne :

Code:

ocamlc graphics.cma unix.cma -thread aaa.ml -o test.exe

Nb : j'utilise les modules Thread, qui a besoin du module Unix, et le module Graphics

Le probleme c'est que je n'arrive pas a compiler mon programme pour pouvoir utiliser le module Thread
( je voudrais utiliser Thread.delay mais avec la ligne du dessus ca ne marche pas)

je vous donnerez plus d'informations si c'est pas clair merci d'avance je galere bien
05/12/2007, 13h09
gorgonite
à mon avis, il faut d'abord compiler le fichier le ml
Code:

1 2 ocamlc -c fichier.ml
puis faire l'édition de liens entre programme compilé ;)

Code:

ocamlc graphics.cma unix.cma -thread aaa.cmo -o test.exe

d'ailleurs, je me demande s'il ne faudrait pas utiliser ocamlopt :?
05/12/2007, 13h58
InOCamlWeTrust

ocamlc et ocamlopt produisent tous deux des exécutables : l'un a besoin de la machine virtuelle, l'autre non.

J'ai moi aussi des problèmes lorsque je veux compiler des programmes utilisant Thread. Je n'arrive pas à me démerder, et ce bien que je suive le manuel... peut-être un bug dans le manuel ?

J'ai presque tout essayé et j'obtiens toujours la même erreur.
05/12/2007, 18h22
Dlieu

enfete j'ai mal expliquer mais le gros probleme c'est de ne pas arriver a compiler le programme avec le bon thread, car meme si je fais -thread threads.cma et autres il m'indique pendant la compilation qu'il ne reconnait pas Thread.delay
05/12/2007, 21h49
InOCamlWeTrust
De mémoire, la compilation byte-code des thread ne pose pas de problème : suis ce que dit le manuel de référence accessible depuis le site de OCaml http://caml.inria.fr.

C'est la compilation native utilisant les thread POSIX qui pose problème chez moi. Si je m'en souviens, j'essayerai de poster un code avec la commande de compilation pour voir si quelqu'un y trouve une solution.

Voici ce que dit le manuel.
Citation:
Envoyé par Manuel

Two implementations of the threads library are available, depending on the capabilities of the operating system:

- System threads.
This implementation builds on the OS-provided threads facilities: POSIX 1003.1c threads for Unix, and Win32 threads for Windows. When available, system threads support both bytecode and native-code programs.

- VM-level threads.
This implementation performs time-sharing and context switching at the level of the OCaml virtual machine (bytecode interpreter). It is available on Unix systems, and supports only bytecode programs. It cannot be used with native-code programs.

Programs that use system threads must be linked as follows:

Code:

1 2 3 ocamlc -thread other options unix.cma threads.cma other files ocamlopt -thread other options unix.cmxa threads.cmxa other files

Compilation units that use the threads library must also be compiled with the -thread option (see chapter 8).

Programs that use VM-level threads must be compiled with the -vmthread option to ocamlc (see chapter 8), and be linked as follows:

Code:

1 2 ocamlc -vmthread other options threads.cma other files

Compilation units that use threads library must also be compiled with the -vmthread option (see chapter 8).
Donc voilà...

Commence par voir si ça marche avec les VM Thread et n'oublie pas d'ajouter unix.cma dans la ligne de commande !
05/12/2007, 22h01
InOCamlWeTrust

Citation:

Envoyé par Dlieu

Code:

ocamlc graphics.cma unix.cma -thread aaa.ml -o test.exe

Non, voilà l'erreur ! Si l'implantation du parsing des arguments de la ligne de commande n'a pas changé, alors c'est sûrement ça !

Il ne faut JAMAIS inverser les options et les arguments réels. En d'autres termes, il te faut mettre toutes les options AVANT les argument effectifs.

Ici, tu aurais dû écrire :

Code:

ocamlc -o programe_test.exe -thread graphics.cma unix.cma aaa.ml

C'est la norme POSIX qui veut ça : beaucoup de programmes ne l'implantent pas et considèrent que l'on peut mélanger options et arguments effectifs, mais ocamlc et ocamlopt, ainsi que tous les programmes de la distribution, eux, implantent ce comportement, qui est le bon !

C'est une erreur classique d'illuminé du Dimanche : on met -o mon_programme.exe en fin pour spécifier qu'il s'agit d'une sortie, mais en réalité, on crée des commandes non portables voire même affreusement buguées. J'avais un prof, comme ça, qui croyait tout savoir et qui voulait absolument que tout le monde fasse comme ça... le problème, c'est qu'il travaillait sur la même machine (Sparc) depuis vingt ans !

Autre chose : ne jamais appeler un programme test... c'est juste un conseil d'une personne devenue presque chauve à cause de ça !
05/12/2007, 22h48
Dlieu

merci pour les infos par contre j'ai toujours la meme erreur, j'ai essayé la plupart des possibilitées mais j'arrive toujours au meme point, a savoir :
http://img139.imageshack.us/img139/927/problemeop7.jpg

je vois pas comment faire, j'ai appelé tous les modules Unix de ma connaissance, mais je dois surement faire un truc de travers

Edit : c'est bon ca marche il suffisait d'inverser l'ordre :
ocamlc -o mon_prog.exe graphics.cma unix.cma threads.cma aaa.ml

Petite question : j'ai pas vraiment saisie l'interet des nombreux compilateurs possibles d'Ocaml, mais dans le but de creer un fichier executable pouvant s'exporter sur n'importequelle machine, y'en a-til un a privilegier ?
05/12/2007, 23h16
LLB

Il y en a juste deux : ocamlc et ocamopt.
ocamlc compile en byte code. Ainsi, le binaire généré est portable et peut être exécuté sur toute machine, sans avoir à recompiler quoi que ce soit. Cependant, il est nécessaire que la VM ocaml soit installée sur la machine.

ocamlopt compile en binaire natif. Il n'a pas besoin de la VM, mais tu dois recompiler les fichiers pour chaque plateforme visée.

En gros, tu fais comme tu veux, en fonction de tes besoins. La version native (avec ocamlopt) serait légèrement plus rapide, mais dans beaucoup de cas, je ne remarquais pas de différence flagrante.
06/12/2007, 13h39
SpiceGuid

Citation:

La version native (avec ocamlopt) serait légèrement plus rapide, mais dans beaucoup de cas, je ne remarquais pas de différence flagrante.

J'ai du code OCaml avec lequel la version native est 15 fois plus rapide. Ou plutôt la version interprétée est 15 fois plus lente, ça se manifeste surtout sur le calcul intensif quand il est 100% impératif, car la machine virtuelle est surtout optimisée pour le fonctionnel.
06/12/2007, 15h51
InOCamlWeTrust

Citation:

Envoyé par Dlieu

merci pour les infos par contre j'ai toujours la meme erreur, j'ai essayé la plupart des possibilitées mais j'arrive toujours au meme point, a savoir :
http://img139.imageshack.us/img139/927/problemeop7.jpg

je vois pas comment faire, j'ai appelé tous les modules Unix de ma connaissance, mais je dois surement faire un truc de travers

Edit : c'est bon ca marche il suffisait d'inverser l'ordre :
ocamlc -o mon_prog.exe graphics.cma unix.cma threads.cma aaa.ml

Petite question : j'ai pas vraiment saisie l'interet des nombreux compilateurs possibles d'Ocaml, mais dans le but de creer un fichier executable pouvant s'exporter sur n'importequelle machine, y'en a-til un a privilegier ?

Merci de lire les réponses...