Erreur Visual Studio 2013

Question

La ligne supérieure de mon code 'module Title' me donne un double avertissement "Le répertoire de recherche 'C: \ z3-4.3.0-x64 \ bin \' est introuvable". Un pour mon fichier .fs (f #) et un pour un fichier FSC. Je crois que FSC est ou a quelque chose à voir avec le fichier principal du projet.

Bien que je suppose que je pourrais essayer de placer un dossier de bibliothèque z3 dans cet endroit spécifique, je ne veux vraiment pas. Je dois localiser ce projet pour la portabilité. Je ne suis pas sûr si cette chaîne de chemin de fichier est codée en dur ou si elle a été générée en demandant à mon système où des choses comme cela sont censées être installées.

Lorsque je recherche des éléments tels que "Le répertoire de recherche" + "Impossible de trouver" + visuel + studio, je n'obtiens aucun résultat intéressant.

Answer 1

Ce chemin n'est pas codé en dur dans Z3 ou en F #. Il est possible que quelqu'un l'ait ajouté aux paramètres du système, par exemple, la variable PATH, mais cela ne produirait pas cet avertissement. Par le nom du dossier, je conjecturerais que quelqu'un a téléchargé la distribution Z3 (.zip) et l'a décompressé dans C :.

Il ne peut s'agir que de quelque chose qui reste des projets précédents, par exemple, dans les paramètres du projet ou dans les paramètres globaux de Visual Studio. Il semble que F # recherche un module et en même temps, il trouve que le répertoire n'existe pas, ce qui n'est qu'un avertissement car finalement tous les modules peuvent être trouvés ailleurs de toute façon.

En ce qui concerne « FSC », qui est le nom du compilateur F #, tout à fait possible que ce nom apparaît dans certains messages d'erreur, etc.