Discussion :

[Cooky]

Bonjour,

j'ai un léger problème pour compiler mon programme...
Je suis sous Ubuntu Edgy Eft, avec ocaml et lablgl installé.

J'ai 3 fichiers, Mesh.ml, World.ml, et Polished.ml. Le premier et le second sont des modules (avec leurs signatures), le dernier est une suite de code. Le troisième utilise des fonctions du second, lui même utilisant des types et des fonctions du premier. Et tous utilisent Lablgl.

Pour compiler, je tape la commande :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
ocamlc -I +Lablgl lablgl.cma Mesh.ml
ocamlc -I +Lablgl lablgl.cma World.ml
ocamlc -I +Lablgl lablgl.cma Polished.ml

La compilation marche, mais je n'ai pas d'éxécutable ??
Je suis relativement débutant dans Ocaml, disons que je maitrise plus le code que la compilation. En l'occurence, je découvre la programmation modulaire, mais c'est un véritable enfer pour pouvoir aboutir à une compilation...

Merci !

[InOCamlWeTrust]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
ocamlc -c -I +Lablgl lablgl.cma mesh.ml
ocamlc -c -I +Lablgl lablgl.cma world.ml
ocamlc -o polished -I +Lablgl lablgl.cma mesh.cmo world.cmo polished.ml

polished est un fichier byte-code nécessitant la machine virtuelle : elle automatiquement lancée lorsque tu entres la commande "./polished".

Les noms des fichiers doivent commencer par une minuscule, et le nom des modules par une majuscule.

Si tu veux avoir un vrai exécutable, il y a deux façons.

La première produit un exécutable intégrant déjà la machine virtuelle :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
ocamlc -c -I +Lablgl lablgl.cma mesh.ml
ocamlc -c -I +Lablgl lablgl.cma world.ml
ocamlc -custom -o polished -I +Lablgl lablgl.cma mesh.cmo world.cmo polished.ml

La deuxième compile directement en natif les fichiers et l'exécutable est bien plus performant :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
ocamlopt -c -I +Lablgl lablgl.cmxa mesh.ml
ocamlopt -c -I +Lablgl lablgl.cmxa world.ml
ocamlopt -o polished -I +Lablgl lablgl.cmxa mesh.cmx world.cmx polished.ml

[Cooky]

Merci beaucoup pour ces précisions, ça fonctionne maintenant.

[InOCamlWeTrust]

J'ai oublié une chose importante : si tu as écrit des fichiers interface .mli pour tes modules, n'oublie pas de les compiler avant chaque module, par exemple...

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
ocamlc -c -I +Lablgl mesh.mli
ocamlc -c -I +Lablgl mesh.ml

... et ainsi de suite.

Tu as ici un exemple de Makefile utilisable pour n'importe quel projet relativement simple Objective Caml.

http://caml.inria.fr/pub/docs/manual...manual027.html

ocamldep, c'est vraiment bien !

[Cooky]

J'écris directement les signatures de mes modules dans les fichiers mêmes, et non pas dans des .mli.

J'ai déjà essayé de compiler avec des .mli séparés, mais ça ne marche pas : Ocaml râle parce qu'il trouve pas la signature correspondante. Bien que je l'ai compilé avant via ocamlc -c...

[InOCamlWeTrust]

Il faut ajouter également l'option -I lors de l'invocation du compilateur.

Par contre, qu'est-ce que tu entends par "mettre directement la signature des modules dans les fichiers" ? Peux-tu donner un exemple ?

[Cooky]

Mieux vaut un exemple qu'un long discours ^^.
Voici mon fichier Camera.ml

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
module type CAMERA=
sig
val refresh_player_pos : Gl.vect3->unit
val set : unit->unit
end
 
module Camera:CAMERA=
struct 
 
let eye_pos = ref (-150.,-150.,150.)
let center_pos = ref (0.,0.,0.)
let up_pos = ref (1.,1.,1.)
 
let refresh_player_pos vect= let (x,y,z)=vect in eye_pos:=(x-.150.,y-.150.,z+.150.); center_pos:=(x,y,z)
 
let set () = GluMat.look_at ~eye:!eye_pos ~center:!center_pos ~up:!up_pos 
 
end

Je mets d'abord la signature, ensuite l'implémantation, sans passer par un fichier .mli.

[InOCamlWeTrust]

Tu définis là un module contenant un autre module. Les modules sont hierarchisé en Objective Caml. Pourquoi ne pas essayer ceci :

Fichier : camera.mli

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
val refresh_player_pos : Gl.vect3->unit
val set : unit->unit

Fichier : camera.ml

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
 
let eye_pos = ref (-150.,-150.,150.)
let center_pos = ref (0.,0.,0.)
let up_pos = ref (1.,1.,1.)
 
let refresh_player_pos vect= let (x,y,z)=vect in eye_pos:=(x-.150.,y-.150.,z+.150.); center_pos:=(x,y,z)
 
let set () = GluMat.look_at ~eye:!eye_pos ~center:!center_pos ~up:!up_pos

Pour compiler :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
ocamlc -c -I DOSSIER_QUI_VA_BIEN_1 -I DOSSIER_QUI_VA_BIEN_2 ... camera.mli
ocamlc -c -I DOSSIER_QUI_VA_BIEN_1 -I DOSSIER_QUI_VA_BIEN_2 ... camera.ml

Tu devrais alors avoir un fichier camera.cmi et un autre camera.cmo.