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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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:
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
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
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
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
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
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
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
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
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
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
27 matches
Mail list logo