[OCaml]Compiler en code natif: problème

Salut,
En fait, comme tu fais, tu compiles en ByteCode: tu nécessites donc ocaml pour l'exécuter (ocamlrun je crois) même si tu peux le lancer en tapant simplement:

fichier.exe

dans la console, ton programme n'est pas autonome.
Ce qui fait que si tu donnes ton programme à quelqu'un qui n'a pas ocaml, ton programme ne marchera pas.

Pour compiler en code natif, il faut utiliser ocamlopt et faire:

ocamlopt -o fichier.exe fichier.ml

et là ça te donne un exécutable autonome que tu pourras distribuer à des gens qui n'ont pas forcément ocaml, et ça marchera :) !

Donc quand tu compiles en code natif avec ocamlopt, ça te créé un exécutable autonome qui n'a besoin de rien,
mais avec ocamlc, ça te compile un bytecode qui nécessite ocaml pour fonctionner.

Et moi, j'arrive pas à compiler en code natif :(

Ton idée de la différence bytecode/natif est fausse.

On peut créer un exécutable indépendant avec ocamlc, il suffit de rajouter l'option "-custom".

Ah ?

Oups :oops: ...
Mais j'ai la même erreur qu'avec ocamlopt :(

Oui, car dans les deux cas on doit procéder à une liaison avec une librairie C... mais pas les mêmes liaisons, en fait.

Quand on n'a pas de compilo C sous Windows, on n'a en général pas de librairie C sous la main, et c'est pour ça que 90% des exécutables Windows sont 100% autonomes, mais prennent beaucoup de place parce qu'ils incorporent tout. C'est une des grandes différences avec Unix et Linux, où 100% des exécutables sont non autonomes, nécessitent la librairie C, qui est de fait toujours présente sur ces systèmes.

Donc n'importe quel compilo C pourrait faire l'affaire ?

Non, parce que ocamlopt ne génère pas du C mais de l'ASM et que le format des fichiers asm est différent d'un environnement de dev à un autre.

Chaque distributon de OCaml est liée à un certain compilo, si tu veux changer de compilo tu dois changer de distribution OCaml. Avec aucune garantie que ça règle ton problème (qui à mon avis vient de ta configuration et pas des outils que tu installes).

Donc pour utiliser ocaml avec MinGW il faut MinGW ou GCC (par exemple, si je télécharge Code::Blocks qui contient le GCC de MinGW, ça marchera ?)

EDIT: si je prends une ancienne version de OCaml (genre 3.08) avec une ancienne version de MinGW (genre 4.1.0), ça pourra me compiler du code natif ?

Citation:

---

EDIT: si je prends une ancienne version de OCaml (genre 3.08) avec une ancienne version de MinGW (genre 4.1.0), ça pourra me compiler du code natif ?

---

Normalement oui, mais si celle-ci fonctionne très bien avec MinGW alors il n'y a aucune raison pour qu'une plus récente ne fonctionne pas aussi.

Mais une version récente de Ocaml ne peut pas fonctionner avec une ancienne version de MinGW ?

Si, et d'ailleurs j'ai du mal à imaginer comment tu as bien pu configurer ton système pour que ça ne fonctionne pas.

Citation:

---

Envoyé par SpiceGuid

Non, parce que ocamlopt ne génère pas du C mais de l'ASM et que le format des fichiers asm est différent d'un environnement de dev à un autre.

Chaque distributon de OCaml est liée à un certain compilo, si tu veux changer de compilo tu dois changer de distribution OCaml. Avec aucune garantie que ça règle ton problème (qui à mon avis vient de ta configuration et pas des outils que tu installes).

---

Le problème n'est pas vraiment dans le format des fichiers assembleur (qui en est un...), mais plutôt dans les fonctionnalités des librairies C... genre une libC qui ne possèderait pas une fonction désirée.

Pour autant, OCaml ne compile pas vers C avant de compiler vers l'ASM, contrairement à ce que l'on peut entendre à droite et à gauche. C'est un problème de librairie, dont les fonctions sont directement appelées en assembleur.

J'ai eu des problèmes similaires sous Windows avec MinGW (soit dit en passant, la version de gcc (3.4.5) est un peu obsolète).

De mon côté, j'ai installé Ocaml 3.11.0 pour le port basé sur la suite Microsoft.
J'ai installé le compilateur MSVC++ 9.0, inclus dans le SDK.

Dans le dossier bin de ton installation Ocaml, tu y mets l'exécutable et la libraire FlexDLL:
- flexlink.exe
- flexdll_msvc.obj

Et la compilation fonctionne du premier coup. Mais attention, pour que le compilateur MSVC++ fonctionne correctement, il lui faut ses variables d'environnement positionnées correctement. Pour cela, tu dois ouvrir ton invite de commandes avec :

Code:

---

C:\Program Files\Microsoft Visual Studio 9.0\VC\bin\Visual Studio 2008 Command Prompt

---

Puis tu compiles avec ocamlopt.

Il me semble que MSVC++ ne tourne pas sur windows 2000 (l'OS que j'ai), mais seulement sur XP, server 2003 et Vista, non ?

La version précédente fonctionne avec Windows 2000.

Linux, c'est bien !

Je l'adore celle-là...

Je l'ai téléchargée, mais je n'arrive pas à l'installer, ça dit que je dois avoir Windows 2000 SP4 ou ultérieur...
Il n'y a pas une version 2003 ? (je ne trouve aucun lien sur google :( )

Windows 2004 SP4 ou supérieur ? Et bien c'est ce que je te disais : il y a Linux.

Pas windows 2004 SP4, windows 2000 SP4 !

Et je sais qu'il y a Linux, mais bon, ça me prendrait du temps à apprendre à m'en servir, et je ne suis pas le seul à utiliser cet ordi ...

Citation:

---

Envoyé par InOCamlWeTrust

Linux, c'est bien !

Je l'adore celle-là...

---

FreeBSD, c'est mieux...

Je préfère faire celle-là...

Ah, si, il y a une version 2003, mais pas de version gratuite :(