callbacks from C to Caml

callbacks from C to Caml

[Florent Monnier]

Hi,

I'm trying to compile the simple exemple given here:
http://caml.inria.fr/pub/docs/manual-ocaml/manual032.html#htoc235
with the compilation instructions given there:
http://caml.inria.fr/pub/docs/manual-ocaml/manual032.html#htoc238
which are:
ocamlopt -output-obj -o camlcode.o unix.cmxa other .cmx and .cmxa files
cc -o myprog C objects and libraries \
        camlcode.o -L/usr/local/lib/ocaml -lunix -lasmrun

I have copy-past the OCaml code in test.ml and the C code in main.c
I use a standard GNU/Linux box [Mandriva 2006], with gcc 4.0.1
and OCaml 3.09.0

First I got errors like this:
undefined reference to `sqrt'
so I added -lm to gcc

Then those kind of errors:
undefined reference to `dlopen'
adding -ldl seems to be the solution.

Then new errors like this:
error: caml/mlvalues.h: No such file or directory
it seems that adding this fixes: -I'/usr/local/lib/ocaml'


Then the compilation is made with this:

% ocamlopt -c  test.ml
% ocamlopt -output-obj -o camlcode.o  unix.cmxa  test.cmx
% gcc main.c  -o myprog.opt  camlcode.o \
        -I'/usr/local/lib/ocaml' \
        -L/usr/local/lib/ocaml \
        -lunix -lasmrun  -lm -ldl

Now the compilation is made without any error messages, but:

% ./myprog.opt
Segmentation Error

What is wrong?
Where is the error?
What should I change/correct?


-- 
Thanks in advance
________________
% cat test.ml

let f n =
  print_string "f is applied to ";
  print_int n;
  print_newline();

let _ =
  Callback.register "test function" f;


% cat main.c
#include <stdio.h>
#include <stdlib.h>
#include <caml/mlvalues.h>
#include <caml/callback.h>

void call_caml_f(int arg)
{
    static value * closure_f = NULL;
    if (closure_f == NULL) {
        /* First time around, look up by name */
        closure_f = caml_named_value("test function");
    }
    caml_callback(*closure_f, Val_int(arg));
}

int main(void)
{
    call_caml_f(2);
    call_caml_f(5);

    return 0;
}

Re: [Caml-list] callbacks from C to Caml

[Michael Wohlwend]

On Tuesday 31 January 2006 12:09, Florent Monnier wrote:
> int main(void)
> {
>     call_caml_f(2);
>     call_caml_f(5);
>
>     return 0;
> }


isn't there a caml_startup(argv) missing?

cheers
 Michael

Re: [Caml-list] callbacks from C to Caml

[Florent Monnier]

> > int main(void)
> > {
> >     call_caml_f(2);
> >     call_caml_f(5);
> >
> >     return 0;
> > }
>
> isn't there a caml_startup(argv) missing?

Yes indeed!

Now there is no segfault anymore, but
nothing happens!

print_int should print something, but there is nothing at all!?..

What could be wrong?


-- 

Re: [Caml-list] callbacks from C to Caml

[Michael Wohlwend]

On Tuesday 31 January 2006 12:47, Florent Monnier wrote:
> > > int main(void)
> > > {
> > >     call_caml_f(2);
> > >     call_caml_f(5);
> > >
> > >     return 0;
> > > }
> >
> > isn't there a caml_startup(argv) missing?
>
> Yes indeed!
>
> Now there is no segfault anymore, but
> nothing happens!
>
> print_int should print something, but there is nothing at all!?..
> What could be wrong?

Maybe there is some "flushing" missing? (allthough print_newline should flush 
the output...)

I used printf with "%!" at the end of the formatstring (for flushing) which 
worked.

 Michael