The submission deadline (June 23, Monday) for ML Workshop 2008 is
approaching. Note the extension of the scope of the workshop this
year (see below). Please feel free to contact the program chair
([EMAIL PROTECTED]) if you have any question.
Eijiro
**
script) and godi_console.exe, and depending on the Cygwin version
> one or the other is called, and for some versions invocation fails
> completely.
>
> Just delete the shell scripts (in the bin and sbin directories, when
> there is also an .exe), and it should work.
>
> I'
On Sun, 15 Jun 2008 21:31:37 -0700, Michael Vanier wrote:
>
> Do you know if there is any performance cost to using e.g. U.f
> instead of Unix.f? I wouldn't think so.
The generated assembly code (ocamlopt -S) is not exactly the same but
my take is that the speed difference, if any, is negligible
CALL FOR PAPERS
(Extended Deadline)
2008 Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice
30th-31st July 2008
University of Birmingham
In conjunction with Conferences on Intelligent Computer Mathematics
http://events.cs.bham.ac.uk/cicm08/workshops/arw/
*** 2-side E
> I posted a patch which should fix the issue that ocamlopt generates
> binaries with executable stacks:
>
> http://caml.inria.fr/mantis/view.php?id=4564
>
> However this patch affects every assembly target, far more than I
> could possibly test. Could people using OCaml on non-Linux platforms
>
and depending on the Cygwin version
one or the other is called, and for some versions invocation fails
completely.
Just delete the shell scripts (in the bin and sbin directories, when
there is also an .exe), and it should work.
I've released a new version of rocketboost that fixes this:
htt
Gerd Stolpmann wrote:
That's great. Thanks for doing that. I'll see how to integrate flexdll -
is it needed before ocaml is built, or can it be installed later? (That
looks like a bootstrap problem.)
Yes, it is currently assumed that a binary version of flexdll is
available when ocaml is built
Am Montag, den 16.06.2008, 08:39 +0200 schrieb Alain Frisch:
> Gerd Stolpmann wrote:
> > The big news is that GODI now supports the MinGW port of OCaml for
> > Windows (besides the Cygwin port). This means that it is now possible to
> > create native Windows applications with GODI.
>
> That's rea
Renald Buter a écrit :
[...]
Could this be made file-specific (I will not have to use oUnit in the
final result)? Probably some combination of myocamlbuild.ml and _tags?
Or are multiple targets a problem for ocamlbuild?
Sure. I recommend you to read:
http://brion.inria.fr/gallium/index.php/U
Stéphane Glondu wrote:
> Renald Buter a écrit :
>> [...]
>> To build this, I have to enter:
>>
>> ocamlbuild -cflags -I,+oUnit -lflags -I,+oUnit -libs unix,oUnit
>> test_setup.native
>>
>> Now, is there any way of simplifying this? I've tried looking into the
>> tags for the _tags file, but got
Renald Buter a écrit :
[...]
To build this, I have to enter:
ocamlbuild -cflags -I,+oUnit -lflags -I,+oUnit -libs unix,oUnit
test_setup.native
Now, is there any way of simplifying this? I've tried looking into the
tags for the _tags file, but got confused...
You can make a plugin which s
Hello,
I'm not sure if this is the right forum to ask this question, but I'll
post it anyway :)
Hello list,
I have a simple test setup that I'd like to build with ocamlbuild:
open OUnit
let test_failure _ = assert_failure "failed"
let test_suite = "Setup" >::: [
"failure" >:: tes
12 matches
Mail list logo
