IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

Caml Discussion :

[Recherche]La bibliothèque Numerix de Michel Quercia (pour Windows XP)


Sujet :

Caml

  1. #1
    Membre émérite
    Avatar de SpiceGuid
    Homme Profil pro
    Inscrit en
    Juin 2007
    Messages
    1 704
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Loire (Rhône Alpes)

    Informations forums :
    Inscription : Juin 2007
    Messages : 1 704
    Points : 2 990
    Points
    2 990
    Par défaut [Recherche]La bibliothèque Numerix de Michel Quercia (pour Windows XP)
    Numerix 0.22, la bibliothèque de référence pour le calcul multi-précision:

    http://pauillac.inria.fr/~quercia/

    Plus précisément je recherche les fichiers précompilés numerix.cma et numerix.cmxa pour Windows XP, et comme je ne dois pas être le seul autant les mettre en pièce jointes (si c'est légal, mais je ne vois pas bien en quoi cela ne le serait pas).
    Du même auteur: mon projet, le dernier article publié, le blog dvp et le jeu vidéo.
    Avant de poser une question je lis les règles du forum.

  2. #2
    Membre éprouvé
    Avatar de InOCamlWeTrust
    Profil pro
    Inscrit en
    Septembre 2006
    Messages
    1 036
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations forums :
    Inscription : Septembre 2006
    Messages : 1 036
    Points : 1 284
    Points
    1 284
    Par défaut
    Pourquoi tu ne fais pas comme dit le monsieur dans sa page Web ?
    When Colt produced the first practical repeating handgun, it gave rise to the saying God created men, but Colt made them equal.

  3. #3
    Membre émérite
    Avatar de SpiceGuid
    Homme Profil pro
    Inscrit en
    Juin 2007
    Messages
    1 704
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Loire (Rhône Alpes)

    Informations forums :
    Inscription : Juin 2007
    Messages : 1 704
    Points : 2 990
    Points
    2 990
    Par défaut
    J'ai déjà ma biblio perso pour les grands entiers (voir le fil "Page code source, mettez vos sources ici"), je voudrais seulement voir à partir de quel seuil la bibliothèque Numerix me met une vraie raclée, donc à la base je n'ai même pas besoin de cette bibliothèque, c'est juste de la curiosité.

    Réponse courte: j'ai trop la flemme.
    Du même auteur: mon projet, le dernier article publié, le blog dvp et le jeu vidéo.
    Avant de poser une question je lis les règles du forum.

  4. #4
    Membre éprouvé
    Avatar de InOCamlWeTrust
    Profil pro
    Inscrit en
    Septembre 2006
    Messages
    1 036
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations forums :
    Inscription : Septembre 2006
    Messages : 1 036
    Points : 1 284
    Points
    1 284
    Par défaut
    Moi je parlais d'utiliser un truc comme Mingw ou Cygwin... car recoder ce genre de choses soi-même, c'est débile, à moins de le faire pour apprendre.
    When Colt produced the first practical repeating handgun, it gave rise to the saying God created men, but Colt made them equal.

  5. #5
    Membre émérite
    Avatar de SpiceGuid
    Homme Profil pro
    Inscrit en
    Juin 2007
    Messages
    1 704
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Loire (Rhône Alpes)

    Informations forums :
    Inscription : Juin 2007
    Messages : 1 704
    Points : 2 990
    Points
    2 990
    Par défaut
    J'ai déjà essayé avec MinGW, j'ai tout de suite été arrêté car il faut soit l'interpréteur bash soit l'interpréteur csh et mon installation MinGW n'a ni l'un ni l'autre.
    Donc il faudrait que j'installe Msys ou Gygwin, d'autre part il est également conseillé d'installer GMP.
    Et comme en plus j'y connais rien en unix-like, je vais être bloqué au premier message d'erreur, même si c'est le plus bête du monde

    Et dire qu'il me suffirait d'un fichier make.bat pour être en terrain connu sans rien télécharger
    Du même auteur: mon projet, le dernier article publié, le blog dvp et le jeu vidéo.
    Avant de poser une question je lis les règles du forum.

  6. #6
    Membre éprouvé
    Avatar de InOCamlWeTrust
    Profil pro
    Inscrit en
    Septembre 2006
    Messages
    1 036
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations forums :
    Inscription : Septembre 2006
    Messages : 1 036
    Points : 1 284
    Points
    1 284
    Par défaut
    Citation Envoyé par SpiceGuid
    J'ai déjà essayé avec MinGW, j'ai tout de suite été arrêté car il faut soit l'interpréteur bash soit l'interpréteur csh et mon installation MinGW n'a ni l'un ni l'autre.
    Je ne connais pas bien Mingw (car étant Unixien, je ne me promène que très rarement en terres inconnues !), mais ça m'étonnerait que ce genre de choses ne soit livrée sans même un vulgaire sh...

    Si tu essayes, on pourra toujours te donner un coup de main, et pas seulement avec la librairie en elle-même... ça pourrait être une première expérience si tu ne connais pas le milieu, et que tu gardes la librairie ou non, ce sera toujours quelque chose de positif en soi.

    Citation Envoyé par SpiceGuid
    Et comme en plus j'y connais rien en unix-like, je vais être bloqué au premier message d'erreur, même si c'est le plus bête du monde
    Il y a quelques années encore, il était possible de faire de l'informatique et de la programmation sans n'avoir jamais touché un Unix ou sans même n'en avoir jamais entendu parler... Aujourd'hui, avec l'avènement de Linux et des logiciels libres, ainsi que sa diffusion massive, il devient impossible, je pense, pour un programmeur évoluer sans connaissances de base sur ce genre de systèmes.

    De plus, Linux est de très loin le meilleur choix pour programmer en Objective Caml (et en tout autre langage ne se terminant pas par un '#'...), étant donné que tout y est accessible très facilement.

    Citation Envoyé par SpiceGuid
    Et dire qu'il me suffirait d'un fichier make.bat pour être en terrain connu sans rien télécharger
    Un quoi ?
    When Colt produced the first practical repeating handgun, it gave rise to the saying God created men, but Colt made them equal.

  7. #7
    Membre émérite
    Avatar de SpiceGuid
    Homme Profil pro
    Inscrit en
    Juin 2007
    Messages
    1 704
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Loire (Rhône Alpes)

    Informations forums :
    Inscription : Juin 2007
    Messages : 1 704
    Points : 2 990
    Points
    2 990
    Par défaut
    mais ça m'étonnerait que ce genre de choses ne soit livrée sans même un vulgaire sh
    Peut être mais l'installateur avait de trop nombreuses options, résultat: je n'ai coché que le minimum pour produire du code ocaml natif (GCC + assembleur).
    Et on ne va pas tous transformer Windows XP en émulateur de Linux pour produire deux petits fichiers.

    Alors toute ma gratitude ira aux bonnes âmes qui font (ou ont fait) la démarche et qui voudraient bien partager avec nous le fruit de leurs efforts.
    Du même auteur: mon projet, le dernier article publié, le blog dvp et le jeu vidéo.
    Avant de poser une question je lis les règles du forum.

Discussions similaires

  1. Réponses: 1
    Dernier message: 12/07/2009, 13h29
  2. Recherche de Bibliothèque.Pour un projet
    Par craps78 dans le forum Bibliothèques
    Réponses: 2
    Dernier message: 10/01/2007, 14h16
  3. Recherche librairie sys\shm.h pour windows
    Par olabo dans le forum VC++ .NET
    Réponses: 1
    Dernier message: 14/11/2006, 09h05
  4. Réponses: 5
    Dernier message: 19/03/2006, 18h29
  5. [Appli] Recherche d'un type d'objet précis pour interface
    Par superpatate dans le forum Interfaces Graphiques en Java
    Réponses: 3
    Dernier message: 05/08/2005, 12h02

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo