[Ocaml] Compilation d'un executable windows avec Ocaml

Bonsoir,

je souhaite compiler un programme en Ocaml sous la forme d'un fichier executable windows avec ocamlopt.

Je tape:
ocamlopt -o fact.exe -rectypes -pp ocamlp4o fact.ml

Il me sort:
"'as' n'est pas reconnu en tant que commande interne ou externe"
sachant qu'il n'y a pas de "as" dans le programme.

J'ai essayé avec ocamlc et les mêmes arguments et il ne reconnait pas ocamlp4o (et sans ça on ne peut pas utiliser les #load, #use...).

as est l'assembleur installé avec MinGW, as-tu installé MinGW ?

Citation:

---

et sans ça on ne peut pas utiliser les #load, #use

---

#load et #use ce sont des commandes pour le mode interactif qui ne sont pas disponibles à l'exécution d'un fichier bytecode ou natif .

Je vais essayer d'installer MinGW.

Si on ne peut pas utiliser les #, comment peut-on lier des librairies telles que graphics.cma (au lieu d'utiliser #load) et inclure des fichiers annexes (au lieu d'utiliser #use) sans faire du copier-coller dans le programme ?

Merci d'avance

Dans la ligne de commande :
ocaml{c|opt} -o bla truc.{cma|cmxa je crois} machin.ml

Bah je crois que dans ton code, au lieu de faire:

Code:

---

#load "module.cma";;

---

ou de faire

Code:

---

#use "module.ml";;

---

tu fais

Code:

---

open Module;; (* Sans oublier la majuscule ! *)

---

, comme ça tu peux utiliser toutes les fonctions du module machin comme si elles étaient déjà dans ton code ;) !

Sinon, tu peux aussi faire

Code:

---

module.nom_fonction p1 p2 pN;

---

Cordialement ,
Lucky-84 :) !

Salut !

Citation:

---

Envoyé par lucky-84

comme ça tu peux utiliser toutes les fonctions du module machin comme si elles étaient déjà dans ton code

---

En prenant soin, bien entendu, de ne pas masquer des fonctions existantes, surtout si elles ont le même type (effets inattendus garantis). :aie:

@+
Cacophrène

Merci pour tous ces conseils, mais losque j'essaye le

Code:

---

open Module;;

---

il me répond

Code:

---

Unbound value Module

---

et ce même si je le mets dans le dossier des lib de ocaml.

Sinon pour as, j'ai installé MinGW mais il me redonne toujours la même erreur, peut être y a-t-il une manip' à faire ?

PS : j'ai quand même réussi a compiler avec ocamlc, mais le gain de temps au niveau de l'exécution n'est pas transcendent ^^.

Salut !

Citation:

---

Envoyé par Diegoooowwww

PS : j'ai quand même réussi a compiler avec ocamlc, mais le gain de temps au niveau de l'exécution n'est pas transcendent

---

Le gain sera vraiment appréciable avec le compilateur natif ocamlopt. Passer de l'interprétation (avec ocaml) à la compilation en bytecode (avec ocamlc) ne permet évidemment pas une amélioration substantielle des performances.

Pour revenir au sujet de la discussion, qu'as-tu fait exactement ? As-tu essayé ceci :

Code:

---

1 2 3

$ ocamlc -c module.mli module.ml $ ocamlc -o fichier.exe graphics.cma module.cmo fichier.mli fichier.ml

---

Cordialement,
Cacophrène

C'est normal, le toplevel utilise ocamlc en sous main, donc tu devrais obtenir les mêmes performances.

Tu devrais lire quelque chose sur la compilation de programmes modulaires en OCaml (j'ai la flemme de répéter encore une fois comment on fait), par exemple là et là.

Ceci dit, ça ne règlera pas forcément ton problème d'installation en environnement hostile (Windows). Commence par tester avec des trucs qui ne dépendent pas de Graphics ou d'une bibliothèque externe (deux fichiers .ml bien gentil dont l'un dépend de l'autre, dans le même répertoire et le calme).

Citation:

---

Envoyé par Cacophrene

Pour revenir au sujet de la discussion, qu'as-tu fait exactement ? As-tu essayé ceci :

Code:

---

1 2 3

$ ocamlc -c module.mli module.ml $ ocamlc -o fichier.exe graphics.cma module.cmo fichier.mli fichier.ml

---

Cordialement,
Cacophrène

---

Alors j'ai tapé :

Code:

---

ocamlc -o fichier.exe -pp camlp4o -rectypes graphics.cma fichier.ml

---

Il me semble que c'est l'option "-pp camlp4o" qui m'a permis de pouvoir utilieser les "#use."

Et pour répondre à bluestorm, je vais me pencher sur ce sujet plus posément quand j'aurai un peu de temps (d'autres priorités passant avant ce projet pour l'instant). En tout cas merci pour les liens en français !

Je vous tiendrai au courant de l'avancée des chose.

Bonsoir,

j'ai parcouru les documents sur la création de module, et j'arrive à compiler avec ocamlc en utilisant la syntaxe

Code:

---

1 2	open Module;; fonction a;;

---

ou

Code:

---

Module.fonction a;;

---

Néanmoins, je n'arrive toujours pas a utiliser ocamlopt (toujours le message

Citation:

---

'as' n'est pas reconnu en tant que commande interne ou externe; un programme exécutable ou un fichier de commandes.

---

et ceci malgré le fait que j'ai installé MinGW avec l'assembleur Ocaml.


PS : ca n'a pas de rapport direct avec mon problème, mais je n'ai pas bien saisi la différence entre une bibliothèque (.cma) et un module (.cmo .cmi), si quelqu'un voulait bien éclairer ma lanterne... :)

Citation:

---

Envoyé par Diegoooowwww

Bonsoir,

j'ai parcouru les documents sur la création de module, et j'arrive à compiler avec ocamlc en utilisant la syntaxe

Code:

---

1 2	open Module;; fonction a;;

---

ou

Code:

---

Module.fonction a;;

---

Néanmoins, je n'arrive toujours pas a utiliser ocamlopt (toujours le message et ceci malgré le fait que j'ai installé MinGW avec l'assembleur Ocaml.


PS : ca n'a pas de rapport direct avec mon problème, mais je n'ai pas bien saisi la différence entre une bibliothèque (.cma) et un module (.cmo .cmi), si quelqu'un voulait bien éclairer ma lanterne... :)

---

Alors, ocamlopt va transformer ton code en langage machine, et non en un bytecode interprété, comme c'est le cas pour Java. D'ou la nécessité de "as".
Est-ce que le répertoire <chemin vers MingW>/bin est dans ton PATH ? Si non, rajoute le et cela devrait régler le problème. Si oui... aucune idée :aie:

Sinon, un .cma, c'est comme un .a pour le C++. C'est une fichier semblable aux .cmo & compagnie, sauf que c'est une fichier "bibliothèque". Un cmo, c'est juste le résultat de la compilation d'un fichier .ml, comme les .o en C & C++.

Merci, j'y suis presque, il me reste juste une erreur, apres avoir tapé

Code:

---

1 2	ocamlopt -c module.ml ocamlopt -o main.exe main.ml

---

(avec le module intervenant dans le main, et tous les fichiers étant au même endroit)

il me sort
"No implementations prvided for the following modules:
Module referenced from main.cmx"


PS : est-ce possible, et y a-t-il un intérêt, à passer un module en .cma et non .cmo/.cmi ?

Salut !

Citation:

---

Envoyé par Diegoooowwww

il me sort
"No implementations prvided for the following modules:
Module referenced from main.cmx"

---

Il faut bien entendu indiquer que l'on utilise module.cmx (« équivalent » du .cmo en code natif) lors de la compilation de main.ml :

Code:

---

1 2 3

ocamlopt -c module.ml # Création de module.cmx (et aussi module.cmi) ocamlopt -o main.exe module.cmx main.ml

---

Citation:

---

Envoyé par Diegoooowwww

est-ce possible, et y a-t-il un intérêt, à passer un module en .cma et non .cmo/.cmi ?

---

Pour créer un fichier bibliothèque (.cma en bytecode, .cmxa en natif), on procède ainsi :

Code:

---

1 2 3 4 5

ocamlc -c lib.mli lib.ml # Création de lib.cmo (et lib.cmi) ocamlc -a -o lib.cma lib.cmo ocamlopt -c lib.mli lib.ml # Création de lib.cmx (et lib.cmi) ocamlopt -a -o lib.cmxa lib.cmx

---

Et avec ça toutébon.

Cordialement,
Cacophrène

Merci à tous, cela marche (enfin pour mon fichier de test qui m'affiche 2^10 lol)
Je m'attaquerai demain au gros programme.

PS : si j'utilise plusieurs module faut-il faire :

Code:

---

ocamlopt -o main.exe module1.cmx module2.cmx module3.cmx module4.cmx main.ml

---

ou y a-t-il une autre solution?

Il faut faire comme cela :)

C'est quand même assez complexe la chaîne de compilation d'OCaml, alors le plus simple c'est quand même d'utiliser ocamlbuild si tu peux!

(sous Cygwin)

Code:

---

ocamlbuild -classic-display main.native

---

Et ça devrait marcher avec MSYS je pense.

Diegoooowwww > si tu changes souvent le code de tes modules, tu peux lui demander de tout recompiler d'un coup :

ocamlopt -o test.exe foo1.ml foo2.ml foo3.ml main.ml

(Attention à bien les mettre dans l'ordre des dépendances : si foo.ml dépend de bar.ml il faut le mettre avant)

Dans le cas où ce sont des bibliothèques stables et tu ne changes que ton main, ta méthode est préférable (puisqu'elle ne les recompile pas).

Code:

---

1 2	[InOCamlWeTrust @ localhost] man rtfm

---

Tu connais ?

Sinon, au lieu de perdre des jours entiers à poster des messages, je te suggère de perdre quelques minutes à éclairer ta torche.

Ici, tu trouveras ce qu'il faut pour compiler, et uniquement ce qu'il faut, car c'est largement suffisant. Dans un premier temps, n'essaye pas de comprendre, et prends-le tel quel.

http://caml.inria.fr/pub/docs/manual...27.html#toc104

Une fois que tu auras copié et adapté le Makefile sous le nom "Makefile" à ton programme (il suffit uniquement de changer le nom de ton programme), il suffit d'entrer...

Code:

---

1 2 3

[InOCamlWeTrust @ localhost] make depend [InOCamlWeTrust @ localhost] make nom_de_programme

---

ou

Code:

---

1 2	[InOCamlWeTrust @ localhost] make nom_de_module.cmo/.cmx/.cmi/.cma

---

Pour tout nettoyer...

Code:

---

1 2	[InOCamlWeTrust @ localhost] make clean

---

Pour ce qui est des #use, on te l'a déjà dit, il faut les virer. Quand tu utilises un module, n'utilise surtout pas open, commande pour laquelle OCaml est incapable d'émettre un warning lorsqu'elle est mal utilisée. Tu fais Module.nom_de_fonction, et puis c'est tout !

Merci pour tous ces conseils, j'ai finalement réussi à utiliser le makefile.
Pour ce qui est des "open" je les supprimerai au fur et a mesure, mais pour l'instant le résultat est probant.

Bonne journée et merci encore !

Diegooowww