diff options
Diffstat (limited to 'stub')
-rw-r--r-- | stub/init.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/stub/init.c b/stub/init.c new file mode 100644 index 0000000..20508b8 --- /dev/null +++ b/stub/init.c @@ -0,0 +1,9 @@ +#include <caml/callback.h> + +__attribute__ ((__constructor__)) +void +init(void) +{ + char *caml_argv[1] = { NULL }; + caml_startup(caml_argv); +} |