[Caml-list] Compiling a 32 bits version of OCaml with godi and OS X.6 ? (pcre problem)
Hello, I'm trying to build a 32 bits version of ocaml, so I added this to my godi.conf OCAML_CONF_ARGS=-cc gcc -m32 -as as -arch i386 -aspp gcc -m32 -c The problem is that PCRE is built by default in 64 bits. Is there a similar environment variable that I can change to specify the target architecture? Thanks, Alan ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] Creating an lwt toplevel
Hello, I am trying to experiment with some code that uses lwt, and I would like to do it in a toplevel. Unfortunately I seem to be missing a step. Here is what I tried: # #load unix.cma;; # #load /Users/schmitta/godi/lib/ocaml/pkg-lib/lwt/lwt.cma;; # open Lwt;; Error: Unbound module Lwt I then tried: $ ocamlfind ocamlmktop -o lwtcaml -package lwt unix.cma lwt.cma $ ./lwtcaml Objective Caml version 3.11.1 # open Lwt;; Error: Unbound module Lwt I feel like I'm missing something obvious, but cannot see what it is right now. Thanks for any suggestion, Alan ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Why don't you use batteries?
On Sat, Sep 5, 2009 at 10:47 AM, David Rajchenbach-Teller david.tel...@ens-lyon.org wrote: Yes, we need to work on the uninstallation in GODI. Do you have any suggestion to get me out of this state? (I can go and manually erase something, but I don't know what.) Alan ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Why don't you use batteries?
On Sun, Sep 6, 2009 at 12:15 PM, David Rajchenbach-Teller david.tel...@ens-lyon.org wrote: I'd say ocamlfind remove batteries ocamlfind remove batteries_threads ocamlfind remove batteries_nothreads Thanks, it worked. (I had to specify -destdir but ocamlfind was kind enough to tell me to do it.) Alan ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Why don't you use batteries?
On Thu, Sep 3, 2009 at 3:05 PM, Edgar Friendly thelema...@gmail.com wrote: 4) It's too hard to install (dependencies, godi failures) I installed it once (using godi), but when I tried to migrate to a newer version of ocaml, compilation fails. (It tells me it's already installed, but it seems that godi believes it's not.) I have not taken the time to look under the hood to find out what is wrong. Alan ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] building Batteries Included under OS X?
On 20 mai 09, at 11:25, Wolfgang Lux wrote: The FreeBSD man page for cp (available online at: http://www.freebsd.org/cgi/man.cgi?query=cpapropos=0sektion=0manpath=FreeBSD+7.2-RELEASEformat=html) says that -a is the same as -RpP. And this should indeed work for any POSIX compatible system (not only Mac OS X). Using this and setting LOCALPACKAGES in godi with this patch let me successfully build batteries. Thanks a lot! Alan PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] building Batteries Included under OS X?
Hello, I'm trying to build Batteries Included and failing under OS X. The problem is that it's using cp -a, which is an option that is not present. (I'm building with godi, but looking at the source on git.ocamlcore.org, I see that the -a is already in Makefile.in there.) By the way, is this a good place to report these kinds of bugs? Thanks, Alan PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] building Batteries Included under OS X?
On 19 mai 09, at 15:03, Stefano Zacchiroli wrote: On Tue, May 19, 2009 at 02:46:23PM +0200, Alan Schmitt wrote: By the way, is this a good place to report these kinds of bugs? Yes, the project tracker on the ocamlcore forge (which hosts the project). You can find it at http://forge.ocamlcore.org/tracker/?group_id=17 , it is linked from the batteries project homepage. Oops, I see that it's bugs 198 and 213 there. Sorry for not having looked before. Alan PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] building Batteries Included under OS X?
On 19 mai 09, at 17:32, Nathan Gray wrote: On Tue, May 19, 2009 at 6:03 AM, Stefano Zacchiroli z...@upsilon.cc wrote: On Tue, May 19, 2009 at 02:46:23PM +0200, Alan Schmitt wrote: By the way, is this a good place to report these kinds of bugs? Yes, the project tracker on the ocamlcore forge (which hosts the project). You can find it at http://forge.ocamlcore.org/tracker/?group_id=17 , it is linked from the batteries project homepage. Patches would be appreciated ;-), especially because we not necessarily know which alternative tools are available on Mac OS X to do the equivalent of cp -a. cp -R or cp -Rp if you need to preserve permissions and other such metadata. Another solution is rsync -a, but it may be overkill... Alan PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] problem building godi-bin-prot on OS X
On 16 mai 09, at 17:54, Markus Mottl wrote: On Sat, May 16, 2009 at 02:55, Alan Schmitt alan.schm...@polytechnique.org wrote: I'm having syntax errors when building bin-prot under godi on OS X (it seems needed to build batteries-included). Searching a bit brought some messages from october 2008 saying that a patch would come out to fix this: http://groups.google.com/group/fa.caml/browse_thread/thread/862b90fb07f58773/5817e0840deeaffd?lnk=gstq=godi+bin+prot#5817e0840deeaffd Has the fix been released, or should I try to change things manually? The Jane Street Core library is still under heavy review but getting closer to a release. I cannot tell how long this will take since I'm not directly involved in the release process for this library itself, but I guess one might already start holding one's breath... I see, thanks. It's not urgent, so I guess that I can wait until the library is released. Alan PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] problem building godi-bin-prot on OS X
Hello, I'm having syntax errors when building bin-prot under godi on OS X (it seems needed to build batteries-included). Searching a bit brought some messages from october 2008 saying that a patch would come out to fix this: http://groups.google.com/group/fa.caml/browse_thread/thread/862b90fb07f58773/5817e0840deeaffd?lnk=gstq=godi+bin+prot#5817e0840deeaffd Has the fix been released, or should I try to change things manually? Thanks, Alan PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] ocamlfind question on cygwin
Hello, I'm trying to debug some installation issue on godi/mingw, and it seems to be a problem with ocamlfind using a cygwin console. When I try: $ ocamlfind install lwt -destdir /home/Administrateur/godi/lib/ocaml/ pkg-lib META ocamlfind: Bad configuration: Cannot mkdir /home/Administrateur/godi/ lib/ocaml/pkg-lib\lwt because a path component does not exist or is not a directory The problem seems to be the '\'. But trying (by putting an additional '/' at the end of destdir): $ ocamlfind install lwt -destdir /home/Administrateur/godi/lib/ocaml/ pkg-lib/ META ocamlfind: Bad configuration: Cannot mkdir /home/Administrateur/godi/ lib/ocaml/pkg-lib/lwt because a path component does not exist or is not a directory It's even stranger: the path looks correct, and the parent directory exists: $ ls /home/Administrateur/godi/lib/ocaml/pkg-lib/ bigarray findlib nethttpd netsys rpc-auth-dh str camlp4godi-script nethttpd-for-netcgi1 num rpc-generator stublibs cgi netcgi1 nethttpd-for-netcgi2 num-top shell threads cryptgps netcgi2 netplex pcre smtp unix dynlink netcgi2-plex netshmpop ssl equeuenetclient netstring rpc stdlib Is there something that I am missing here? Thanks, Alan PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] Re: Compiling 3.11 with Godi/mingw
On 8 avr. 09, at 16:10, Alan Schmitt wrote: Hello, I'm trying to compile 3.11 on mingw using Godi, and I get the following error when compiling pcre during bootstrap_stage2: === Building for godi-pcre-5.16.4godi1 make[7]: Entering directory `/home/Administrateur/godi/build/godi/ godi-pcre/work/pcre-ocaml-5.16.4' make[7]: *** No rule to make target `pcre.mli', needed by `pcre.cmi'. Stop. The problem seems to be fairly simple: all the files are in the libs subdirectory, but the Makefile seems to assume they are local. Unfortunately I don't know how to fix it. Anyone has managed to install 3.11 on Windows/mingw with godi? I haven't been able to solve this yet. Thanks, Alan PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] Compiling 3.11 with Godi/mingw
Hello, I'm trying to compile 3.11 on mingw using Godi, and I get the following error when compiling pcre during bootstrap_stage2: === Building for godi-pcre-5.16.4godi1 make[7]: Entering directory `/home/Administrateur/godi/build/godi/godi- pcre/work/pcre-ocaml-5.16.4' make[7]: *** No rule to make target `pcre.mli', needed by `pcre.cmi'. Stop. The problem seems to be fairly simple: all the files are in the libs subdirectory, but the Makefile seems to assume they are local. Unfortunately I don't know how to fix it. Alan PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Compiling ocaml-ssl under windows (mingw)
On 20 mars 09, at 16:25, Jerome Vouillon wrote: Hi Alan, On Fri, Mar 20, 2009 at 03:38:22PM +0100, Alan Schmitt wrote: I am trying to use lwt under windows (using mingw), and I cannot get it to compile, because I cannot compile the required ocaml-ssl. I believe you can compile Lwt without the ocaml-ssl library by just removing file src/lwt_ssl.mllib OK. I wanted to install it through godi, but I guess it will be simpler to compile it directly. (The ideal would be a configuration option to have ssl as optional.) In file src/lwt_unix.ml, you should also change the line: let windows_hack = Sys.os_type Unix into let windows_hack = false This was a hack to make Unison work properly under Windows even though select did not support pipes. As the implementation of select has been improved in Ocaml 3.11, it should no longer be necessary. Very interesting, I was not aware of this. Thanks, Alan PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Problem during Godi bootstrap_stage2 (Windows mingw)
On 19 mars 09, at 08:47, Alain Frisch wrote: Alan Schmitt wrote: I had to reinstall my environment to develop OCaml applications under Windows (using mingw), and I'm having some problem during bootstrap_stage2. Here are the last few lines before the problem occurs: I think the problem comes from a recent update in Cygwin. Now, gcc is a (Cygwin) symbolic link to gcc3.exe. Cygwin applications (like bash or make) are able to follow symlinks, but not native Win32 applications (like ocamlrun). A solution is to copy gcc3.exe to gcc.exe in a directory which is put in front of the PATH. Same for cpp. That was it, thanks a lot. Alan PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] options to write a cross-platform interacting program in OCaml
Hello, I am looking at what options there are to rewrite camlgrenouille, a small client for www.grenouille.com that I wrote a while ago, to make it more modular (to allow an external UI to the core program) and cross-platform (Unix and Windows). In a nutshell, this program periodically runs some tests. Right now its interaction with the outside is fairly limited: the only thing one can do is ask it to quit (by doing a ctrl-c which is caught so as to clean up before actually quitting). I would like to be able to send it more complex commands, which would be driven by a UI separate from the program. The simplest approach seems to be using a socket and a select call (with a timeout corresponding to the delay until the next test), but I was wondering if there were other options based on threads. For instance, could I use lwt under Windows? Thanks for any suggestion, Alan PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] [ANN] OCaml Meeting 2009 -- dinner, schedule for talks
On 30 janv. 09, at 14:46, Sylvain Le Gall wrote: We need to know how many people are coming to the dinner on Monday to book the restaurant. I'm pretty sure Sylvain meant Tuesday. Alan PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] JFLA 2009: clôture des inscriptio ns le 14 janvier
Appel a participation JFLA'2009 (http://jfla.inria.fr/) Journées Francophones des Langages Applicatifs Organisées par l'INRIA 31 janvier au 3 février 2009 Le programme des 20èmes JFLA est maintenant établi; vous trouverez auprès du site des journées http://jfla.inria.fr/2009/ tout renseignement nécessaire à votre inscription. Attention: la date limite pour les inscriptions est le 14 janvier. Alan Schmitt 31 janvier 2009 • 15h - 15h30 Accueil - Présentation • 15h30 - 17h Cours par Gérard Huet: Automates, transducteurs et machines d'Eilenberg applicatives dans la boîte à outils Zen. Applications au traitement de la langue. • 17h - 17h30 Pause-café • 17h30 - 19h Cours par Assia Mahboubi: Présentation de SSReflect • 19h00 Dîner 1er février 2009 • 9h - 10h30 Cours par Gérard Huet: Automates, transducteurs et machines d'Eilenberg applicatives dans la boîte à outils Zen. Applications au traitement de la langue. • 10h30 - 11h Pause-café • 11h30 - 12h30 Cours par Assia Mahboubi: Présentation de SSReflect • 12h30 - 14h Déjeuner • 14h00 - 18h Excursion: une balade à pied • 19h00 Dîner 2 février 2009 • 9h00 - 10h00 Conférence invitée Ocsigen : approche fonctionnelle typée de la programmation Web. Vincent Balat (Université Paris 7). • 10h - 10h30 Pause-café • 10h30 - 11h Qui sème la fonction, récolte le tuyau typé. Didier Parigot et Bernard Paul Serpette. • 11h - 11h30 Foncteurs impératifs et composés: la notion de projets dans Frama-C. Julien Signoles. • 11h30 - 12h00 Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs : évaluation asynchrone et ramasse- miettes parallèle. Luca Saiu. • 12h00 - 14h Déjeuner • 14h00 - 14h30 Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. Vlad Rusu et Manuel Clavel . • 14h30 - 15h Un modèle de l'assistant à la preuve: PAF!. Séverine Maingaud. • 15h00 - 15h30 Extraction certifiée dans Coq-en-Coq. Stéphane Glondu. • 15h30 - 16h Pause café • 16h - 16h30 Abstraction d'horloges dans les systèmes synchrones flot de données. Louis Mandel et Florence Plateau. • 16h30 - 17h30 Vingt années de JFLA. Pierre Weis. • 17h30 - 18h30 Démonstrations • 19h00 Dîner 3 février 2009 • 9h00 - 10h00 Conférence invitée Faut-il avoir peur de sa carte SIM ? Bruno Barras (Trusted Labs). • 10h - 10h30 Pause-café • 10h30 - 11h00 Fouille au code OCaml par analyse de dépendances. Maxence Guesdon. • 11h00 - 11h30 Faire bonne figure avec Mlpost. R. Bardou, J. Kanig, J.-C. Filliâtre et S. Lescuyer. • 11h30 - 12h00 Bilan et clôture des Journées • 12h00 - 13h30 Déjeuner Pour tout renseignement, contacter -- INRIA Grenoble Rhône-Alpes Bureau des Cours-Colloques 655 avenue de l'Europe - Montbonnot 38334 Saint Ismier Cedex - France Tel : + 33 (0)4 76 61 52 23 - Fax : + 33 (0)4 76 61 52 06 email : colloq...@inrialpes.fr http://jfla.inria.fr/2009/ PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] JFLA 2009: appel à participation
Appel a participation JFLA'2009 (http://jfla.inria.fr/) Journées Francophones des Langages Applicatifs Organisées par l'INRIA 31 janvier au 3 février 2009 Le programme des 20èmes JFLA est maintenant établi; vous trouverez auprès du site des journées http://jfla.inria.fr/2009/ tout renseignement nécessaire à votre inscription. Alan Schmitt 31 janvier 2009 • 15h - 15h30 Accueil - Présentation • 15h30 - 17h Cours par Gérard Huet: Automates, transducteurs et machines d'Eilenberg applicatives dans la boîte à outils Zen. Applications au traitement de la langue. • 17h - 17h30 Pause-café • 17h30 - 19h Cours par Assia Mahboubi: Présentation de SSReflect • 19h00 Dîner 1er février 2009 • 9h - 10h30 Cours par Gérard Huet: Automates, transducteurs et machines d'Eilenberg applicatives dans la boîte à outils Zen. Applications au traitement de la langue. • 10h30 - 11h Pause-café • 11h30 - 12h30 Cours par Assia Mahboubi: Présentation de SSReflect • 12h30 - 14h Déjeuner • 14h00 - 18h Excursion: une balade à pied • 19h00 Dîner 2 février 2009 • 9h00 - 10h00 Conférence invitée Ocsigen : approche fonctionnelle typée de la programmation Web. Vincent Balat (Université Paris 7). • 10h - 10h30 Pause-café • 10h30 - 11h Qui sème la fonction, récolte le tuyau typé. Didier Parigot et Bernard Paul Serpette. • 11h - 11h30 Foncteurs impératifs et composés: la notion de projets dans Frama-C. Julien Signoles. • 11h30 - 12h00 Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs : évaluation asynchrone et ramasse- miettes parallèle. Luca Saiu. • 12h00 - 14h Déjeuner • 14h00 - 14h30 Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. Vlad Rusu et Manuel Clavel . • 14h30 - 15h Un modèle de l'assistant à la preuve: PAF!. Séverine Maingaud. • 15h00 - 15h30 Extraction certifiée dans Coq-en-Coq. Stéphane Glondu. • 15h30 - 16h Pause café • 16h - 16h30 Abstraction d'horloges dans les systèmes synchrones flot de données. Louis Mandel et Florence Plateau. • 16h30 - 17h30 Vingt années de JFLA. Pierre Weis. • 17h30 - 18h30 Démonstrations • 19h00 Dîner 3 février 2009 • 9h00 - 10h00 Conférence invitée Modélisation en Coq de l'état d'une JavaCard. Bruno Barras (Trusted Labs). • 10h - 10h30 Pause-café • 10h30 - 11h00 Fouille au code OCaml par analyse de dépendances. Maxence Guesdon. • 11h00 - 11h30 Faire bonne figure avec Mlpost. R. Bardou, J. Kanig, J.-C. Filliâtre et S. Lescuyer. • 11h30 - 12h00 Bilan et clôture des Journées • 12h00 - 13h30 Déjeuner Pour tout renseignement, contacter -- INRIA Grenoble Rhône-Alpes Bureau des Cours-Colloques 655 avenue de l'Europe - Montbonnot 38334 Saint Ismier Cedex - France Tel : + 33 (0)4 76 61 52 23 - Fax : + 33 (0)4 76 61 52 06 email : colloq...@inrialpes.fr http://jfla.inria.fr/2009/ PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Computing with big numbers?
On 4 déc. 08, at 17:06, Florian Hars wrote: Alan Schmitt schrieb: But I don't think this applies here, as the hashes I'm looking at are the one used by Unison to identify file contents. Then it is *especially* relevant, as it is quite trivial to generate several files with different content and the same MD5 hash, all you need is a Playstation 3: http://www.win.tue.nl/hashclash/Nostradamus/ Thanks for the link, but I wasn't considering a malicious attack: if someone were able to modify my files, I would not worry about Unison not detecting (thus not propagating) a malicious change. Alan PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] Computing with big numbers?
Hello, In preparation for a talk I'm going to give, I wanted to estimate how good 128 bits MD5 hashes were: how many hashes must be taken before the probability for a collision become non negligible? (I'm assuming equi-probability of every hash.) The brute force approach is simply to enumerate the non-collision probability for k different hashes, and compute until it becomes lower than 1. This probability is (writing N for 2 ^ 128): N * (N-1) * (N - 2) * ... * (N - k) --- N^k I tried computing this using the bignum library that comes with OCaml, and it slows down to a crawl very fast (for k ~ 1000). So I tried to be more subtle and approximate the result (using Stirling's approximation of factorials), but OCaml's floats are not precise enough to yield anything significant. (I'm trying to compute the log of the approximation of N! / (N^k * (N-k)!), which is N (ln N) - N - (k (ln N) + (N - k)(ln (N - k)) - (N - k)).) Is there a library with better floating point precision than the OCaml one? Thanks, Alan PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] JFLA 2009: dernier appel aux communications
(This message is intentionally written in French) * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * DERNIER APPEL AUX COMMUNICATIONS DERNIER APPEL AUX COMMUNICATIONS JFLA'2009 (http://jfla.inria.fr/) Journées Francophones des Langages Applicatifs Organisées par l'INRIA 31 janvier au 3 février 2009 JFLA'2009 est la vingtième conférence francophone organisée autour des langages applicatifs et des techniques de certification basées sur la démonstration. Ces nouvelles journées se tiendront du 31 janvier au 3 février 2009. Elles auront lieu à la montagne, à Saint-Quentin sur Isère, au pied du Vercors, à proximité de Grenoble. Toujours centrée sur l'approche fonctionnelle de la programmation, la conférence porte également sur les techniques et outils complémentaires qui élèvent le niveau de qualité des logiciels (systèmes d'aide à la preuve, réécriture, tests, démonstration automatique, vérification). Les JFLA réunissent concepteurs et utilisateurs dans un cadre agréable qui facilite la communication; ces journées ont pour ambition de couvrir le domaine des langages applicatifs au sens large, en y incluant les apports d'outils d'autres domaines qui permettent la construction de systèmes logiciels plus sûrs. L'enseignement de l'approche fonctionnelle du développement logiciel (spécification, sémantiques, programmation, compilation, certification) est également un sujet qui concerne au plus haut point les JFLA. C'est pourquoi des contributions sur les thèmes suivants sont particulièrement recherchées (liste non exclusive) : - Langages applicatifs : sémantique, compilation, optimisation, mesures, tests, extensions par d'autres paradigmes de programmation. - Spécification, prototypage, développements formels d'algorithmes. - Utilisation industrielle des langages applicatifs. - Assistants de preuve : implémentation, nouvelles tactiques, développements présentant un intérêt technique ou méthodologique. - Enseignement dans ses aspects liés à l'approche fonctionnelle du développement. Les JFLA cherchent avant tout des articles de recherche originaux qui apportent une réelle nouveauté. Toutefois, un article traitant d'un sujet qui intéresse plusieurs disciplines sera examiné avec soin, même s'il a préalablement été présenté à une autre communauté sans rapport avec celle des JFLA. Un article ayant été traduit en français à partir d'une publication récente en anglais sera examiné, à condition que la traduction apporte un élément nouveau. Les articles soumis aux JFLA sont relus par au moins 2 personnes s'ils sont acceptés, 3 personnes s'ils sont rejetés. Les critiques des relecteurs sont toujours bienveillantes et la plupart du temps encourageantes et constructives, même en cas de rejet. Il n'y a donc pas de raison de ne pas soumettre aux JFLA ! Orateurs invités Vincent Balat (Université Paris 7): « Ocsigen : approche fonctionnelle typée de la programmation Web. » Eduardo Giménez (Trusted Logic): « (Non communiqué) » Cours - Gérard Huet (INRIA Paris-Rocquecourt): « Automates, transducteurs et machines d'Eilenberg applicatives dans la boîte à outils Zen. Applications au traitement de la langue. » Assia Mahboubi (LIX, INRIA Saclay - Île-de-France): « Présentation de SSRefelect » Comité de programme --- Alan Schmitt, Président (LIG, INRIA Grenoble - Rhône-Alpes) Micaela Mayero, Vice-Présidente (LIPN, Université Paris 13) Boutheina Chetali (Gemalto) Sylvain Conchon (LRI, Université Paris-Sud) David Delahaye (CEDRIC, CNAM) Hugo Herbelin (LIX, INRIA Saclay - Île-de-France) Didier Le Botlan (LAAS-CNRS, INSA de Toulouse) Jean-Vincent Loddo (LIPN, Université Paris 13) Alexandre Miquel (PPS, Université Paris 7) Davide Sangiorgi (Université de Bologne) Soumission -- Date limite de soumission : 15 octobre 2008 Les soumissions doivent être soit rédigées en français, soit présentées en français. Elles sont limitées à 15 pages A4. Le style latex est imposé et se trouve sur le site WEB des journées à l'adresse suivante : http://jfla.inria.fr/2009/actes.sty La soumission est uniquement électronique, selon la méthode détaillée dans http://jfla.inria.fr/2009/instructions.fr.html Les soumissions sont à envoyer au président du comité de programme, avec pour titre de votre message ``SOUMISSION JFLA 2009'', à l'adresse suivante : [EMAIL PROTECTED] Les intentions de soumission envoyées le plus tôt possible à l'adresse ci-dessus seront les bienvenues. Dates importantes - 15 octobre 2008 : Date limite de soumission 21 novembre 2008 : Notification aux auteurs 10 décembre 2008 : Remise des articles définitifs 14 janvier 2009 : Date
Re: [Caml-list] thousands of CPU cores
On 21 sept. 08, at 23:41, Jon Harrop wrote: The good news is that the parallel GC is coming along nicely and this will be a solved problem before long... :-) I'd love to hear more about this. Could you develop? Alan PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Re: Building a universal binary on OS X?
On 24 mai 08, at 09:31, Michel Schinz wrote: My goal is to be able to compile the OS GUI version of Unison on a single machine. Right now, using my intel-based notebook, I'm able to compile a version that runs both on 10.4 and 10.5, but only on intel. [...] I think I remember an old message addressing this, but I have not been able to find it. You might be referring to this message: http://thread.gmane.org/gmane.comp.lang.caml.general/38930 The cute trick consists in building a PPC version of OCaml on a PPC machine, and then copying it over to your Intel machine. It will run fine (albeit slowly) under Rosetta, and generate PPC executables. Ah, thank you, this seems to be it. Just one small additional question about this: where should I put the supporting libraries (the ocaml directory with libunix.a for instance), and how can I make sure the ppc version of ocamlopt find these libraries, and not the i386 ones? Thanks again, Alan PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Re: Building a universal binary on OS X?
On 26 mai 08, at 06:43, Nathaniel Gray wrote: See also: http://caml.inria.fr/mantis/bug_view_advanced_page.php?bug_id=4303 Thanks. Unfortunately Xavier Leroy said there What you will never have, however, is a single OCaml compiler executable that can generate code for several target architectures.. Which is exactly what I was dreaming of :( Alan PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Building a universal binary on OS X?
On 19 mai 08, at 15:07, Alan Schmitt wrote: Hello, Is this (http://alan.petitepomme.net/cwn/2007.09.18.html#1) the recommended way to build a universal binary on OS X? (To summarize: use a PPC version of ocamlopt and use lipo to glue the binaries together.) I've realized I may not have given enough details as to what I want to do here, so here they are. My goal is to be able to compile the OS GUI version of Unison on a single machine. Right now, using my intel-based notebook, I'm able to compile a version that runs both on 10.4 and 10.5, but only on intel. (By the way, compiling ocaml to manage this was not obvious. Here is how to do it using godi, thanks to Gerd Stolpmann: - net the following in godi.conf OCAML_CONF_ARGS=-cc gcc -mmacosx-version-min=10.4 - rebuild godi-ocaml-src and godi-ocaml Then I can specify in Xcode that I'm targetting 10.4 as my minimum version, and I don't get any error when linking against the ocaml libraries.) The next step is to be able to build Universal Binaries versions of the ocaml libraries, so that I can tell Xcode to target both architectures. This implies that ocaml should be able to cross-compile to PPC, which I don't know if it can do. I think I remember an old message addressing this, but I have not been able to find it. If anyone could point me to the right direction, it would be very helpful. Thanks, Alan PGP.sig Description: This is a digitally signed message part ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs