Indépendant des modules OCaml

Mon problème est que ocamlc et ocamlopt apparaissent à refusant de trouver des bibliothèques tierces installé par apt-get. J'ai d'abord commencé à avoir ce problème quand j'ai essayé d'incorporer des modules tiers dans mes propres programmes OCaml, et rapidement il a écrit un personnel défaut dans la compréhension de OCaml compilation. Bientôt---- cependant, j'ai trouvé moi-même en cours d'exécution dans le même problème lorsque vous essayez de compiler les autres peuples de projets en vertu de leurs propres instructions.

Ici est la plus straight-forward exemple. Les autres utilisent tous ocamlbuild, qui dissimule les choses un peu.

Le programme: http://groups.google.com/group/fa.caml/msg/5aee553df34548e2

La compilation:

$ocamlc -g -dtypes -pp camlp4oof -I +camlp4 dynlink.cma camlp4lib.cma -cc g++ llvm.cma llvm_bitwriter.cma minml.ml -o minml
File "minml.ml", line 43, characters 0-9:
Error:Unbound module Llvm

Même quand je fournir ocamlc avec le obsolute chemins d'accès à la version des fichiers, comme si...

$ ocamlc -g -dtypes -pp camlp4oof -I +camlp4 dynlink.cma camlp4lib.cma -cc g++ /usr/lib/ocaml/llvm-2.7/llvm.cma /usr/lib/ocaml/llvm-2.7/llvm_bitwriter.cma minml.ml -o minml

... en vain.

Ce que je fais mal?

InformationsquelleAutor Eli | 2010-10-03
  1. 17

    Votre commande est en train de faire deux choses: c'est la compilation de minml.ml (en minml.cmo), puis de la liaison de l'objet résultant en minml.

    La compilation d'un module nécessite la interfaces des dépendances. Les interfaces contiennent des informations de typage qui est nécessaire à la fois le type checker et le générateur de code; cette information n'est pas reprise dans la mise en œuvre (.cma ici). Ainsi, pour la phase de compilation, llvm.cmi doit être disponible. Le compilateur cherche dans le chemin d'inclusion, de sorte que vous besoin d'un supplément de -I +llvm-2.7 (qui est court pour -I /usr/lib/ocaml/llvm-2.7).

    L'étape de lien nécessite llvm.cma, qui contient le bytecode de la mise en œuvre du module. Ici, vous pouvez soit utiliser -I ou donner un chemin d'accès complet à laisser ocamlc savoir où trouver le fichier.

    ocamlc -g -dtypes -I +camlp4 -I +llvm-2.7 -pp camlp4oof -c minml.ml
ocamlc -g -cc g++ -I +camlp4 -I +llvm-2.7 dynlink.cma camlp4lib.cma llvm.cma llvm_bitwriter.cma  minml.cmo -o minml

    ou si vous voulez faire les deux étapes en une seule commande:

    ocamlc -g -dtypes -cc g++ -I +camlp4 -I +llvm-2.7 dynlink.cma camlp4lib.cma llvm.cma llvm_bitwriter.cma -pp camlp4oof minml.ml -o minml
    • Aha! Merci pour la réponse si complète.
    • Avez-vous des théories de la façon dont ces autres personnes attendent le programme à compiler sans ces drapeaux? Jon Harrop n'est pas exactement en amateur. Je soupçonne qu'il ya une méthode à cette folie.
    • Dans de Jon cas, il pourrait être la compilation de l'exemple dans le répertoire où il a juste compilé avec la VERSION liaisons, ou il peut avoir installé ces liaisons directement en Ocaml répertoire de la bibliothèque plutôt que dans un sous-répertoire. L'audience de la caml-list message que vous citez voudrais savoir pour ajouter -I que nécessaire. En passant, je ne suis pas sûr de savoir si -cc g++ est réellement nécessaire.
    • petite correction : compilateur a besoin de l'icm fichiers pour les interfaces, mli fichiers sont seulement pour les humains.
    InformationsquelleAutor Gilles 'SO- stop being evil'