Merge pull request #615 from talex5/lintcstubs

Generate prototypes for C stubs from ml files

Author: talex5

lib_eio/unix/dune

@@ -6,3 +6,16 @@
   (include_dirs include)
   (names fork_action stubs))
  (libraries eio unix threads mtime.clock.os))
+
+(rule
+ (enabled_if %{bin-available:lintcstubs_arity_cmt})
+ (action
+  (with-stdout-to
+   primitives.h.new
+   (run %{bin:lintcstubs_arity_cmt} %{dep:.eio_unix.objs/byte/eio_unix__Fd.cmt} %{dep:.eio_unix.objs/byte/eio_unix__Fork_action.cmt}))))
+
+(rule
+ (enabled_if %{bin-available:lintcstubs_arity_cmt})
+ (alias runtest)
+ (action
+  (diff primitives.h primitives.h.new)))

lib_eio/unix/fork_action.c

@@ -4,6 +4,8 @@
  * release it.
  */
 
+#include "primitives.h"
+
 #include <stdlib.h>
 #include <unistd.h>
 #include <fcntl.h>

lib_eio/unix/primitives.h

@@ -0,0 +1,10 @@
+/* AUTOGENERATED FILE, DO NOT EDIT */
+#define CAML_NAME_SPACE
+#define _GNU_SOURCE
+#include <caml/mlvalues.h>
+CAMLprim value eio_unix_make_string_array(value);
+CAMLprim value eio_unix_fork_execve(value);
+CAMLprim value eio_unix_fork_chdir(value);
+CAMLprim value eio_unix_fork_fchdir(value);
+CAMLprim value eio_unix_fork_dups(value);
+CAMLprim value eio_unix_is_blocking(value);

lib_eio/unix/stubs.c

@@ -1,3 +1,5 @@
+#include "primitives.h"
+
 #include <unistd.h>
 #include <fcntl.h>
 

lib_eio_linux/dune

@@ -12,3 +12,28 @@
   (include_dirs ../lib_eio/unix/include)
   (names eio_stubs))
  (libraries eio eio.utils eio.unix uring logs fmt))
+
+(rule
+ (enabled_if
+   (and
+     %{bin-available:lintcstubs_arity_cmt}
+     (or (= %{system} "linux")          ; Historically, just Linux-x86
+         (= %{system} "linux_eabihf")   ; Historically, Linux-arm32
+         (= %{system} "linux_elf")      ; Historically, Linux-x86_32
+         (= %{system} "elf"))))         ; Historically, Linux-ppc64
+ (action
+  (with-stdout-to
+   primitives.h.new
+   (run %{bin:lintcstubs_arity_cmt} %{dep:.eio_linux.objs/byte/eio_linux__Low_level.cmt} %{dep:.eio_linux.objs/byte/eio_linux__Sched.cmt}))))
+
+(rule
+ (enabled_if
+   (and
+     %{bin-available:lintcstubs_arity_cmt}
+     (or (= %{system} "linux")          ; Historically, just Linux-x86
+         (= %{system} "linux_eabihf")   ; Historically, Linux-arm32
+         (= %{system} "linux_elf")      ; Historically, Linux-x86_32
+         (= %{system} "elf"))))         ; Historically, Linux-ppc64
+ (alias runtest)
+ (action
+  (diff primitives.h primitives.h.new)))

lib_eio_linux/eio_stubs.c

@@ -19,6 +19,8 @@
 // We need caml_convert_signal_number
 #define CAML_INTERNALS
 
+#include "primitives.h"
+
 #include <caml/mlvalues.h>
 #include <caml/memory.h>
 #include <caml/alloc.h>

lib_eio_linux/primitives.h

@@ -0,0 +1,11 @@
+/* AUTOGENERATED FILE, DO NOT EDIT */
+#define CAML_NAME_SPACE
+#define _GNU_SOURCE
+#include <caml/mlvalues.h>
+CAMLprim value caml_eio_eventfd(value);
+CAMLprim value caml_eio_mkdirat(value, value, value);
+CAMLprim value caml_eio_renameat(value, value, value, value);
+CAMLprim value caml_eio_getrandom(value, value, value);
+CAMLprim value caml_eio_getdents(value);
+CAMLprim value caml_eio_clone3(value, value);
+CAMLprim value caml_eio_pidfd_send_signal(value, value);

lib_eio_posix/dune

@@ -13,3 +13,16 @@
  (targets config.ml)
  (enabled_if (= %{os_type} "Unix"))
  (action (run ./include/discover.exe)))
+
+(rule
+ (enabled_if (and (= %{os_type} "Unix") %{bin-available:lintcstubs_arity_cmt}))
+ (action
+  (with-stdout-to
+   primitives.h.new
+   (run %{bin:lintcstubs_arity_cmt} %{dep:.eio_posix.objs/byte/eio_posix__Low_level.cmt}))))
+
+(rule
+ (enabled_if (and (= %{os_type} "Unix") %{bin-available:lintcstubs_arity_cmt}))
+ (alias runtest)
+ (action
+  (diff primitives.h primitives.h.new)))

lib_eio_posix/eio_posix_stubs.c

@@ -1,3 +1,5 @@
+#include "primitives.h"
+
 #define _FILE_OFFSET_BITS 64
 
 #include <sys/types.h>

lib_eio_posix/primitives.h

@@ -0,0 +1,16 @@
+/* AUTOGENERATED FILE, DO NOT EDIT */
+#define CAML_NAME_SPACE
+#define _GNU_SOURCE
+#include <caml/mlvalues.h>
+CAMLprim value caml_eio_posix_send_msg(value, value, value, value, value);
+CAMLprim value caml_eio_posix_recv_msg(value, value, value);
+CAMLprim value caml_eio_posix_getrandom(value, value, value);
+CAMLprim value caml_eio_posix_readv(value, value);
+CAMLprim value caml_eio_posix_writev(value, value);
+CAMLprim value caml_eio_posix_preadv(value, value, value);
+CAMLprim value caml_eio_posix_pwritev(value, value, value);
+CAMLprim value caml_eio_posix_openat(value, value, value, value);
+CAMLprim value caml_eio_posix_mkdirat(value, value, value);
+CAMLprim value caml_eio_posix_unlinkat(value, value, value);
+CAMLprim value caml_eio_posix_renameat(value, value, value, value);
+CAMLprim value caml_eio_posix_spawn(value, value);