From 6b5a5366c6875d483beaa44994c7f68e938946f3 Mon Sep 17 00:00:00 2001 From: Thomas Leonard Date: Mon, 12 Feb 2024 17:37:14 +0000 Subject: [PATCH] Enable lintcstubs for Eio_unix.Private too --- lib_eio/unix/dune | 5 ++++- lib_eio/unix/primitives.h | 1 + 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/lib_eio/unix/dune b/lib_eio/unix/dune index 32f8e0f2b..7d779efb0 100644 --- a/lib_eio/unix/dune +++ b/lib_eio/unix/dune @@ -12,7 +12,10 @@ (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})))) + (run %{bin:lintcstubs_arity_cmt} + %{dep:.eio_unix.objs/byte/eio_unix__Fd.cmt} + %{dep:.eio_unix.objs/byte/eio_unix__Private.cmt} + %{dep:.eio_unix.objs/byte/eio_unix__Fork_action.cmt})))) (rule (enabled_if %{bin-available:lintcstubs_arity_cmt}) diff --git a/lib_eio/unix/primitives.h b/lib_eio/unix/primitives.h index 27a6d5bf4..9313f98cb 100644 --- a/lib_eio/unix/primitives.h +++ b/lib_eio/unix/primitives.h @@ -7,4 +7,5 @@ 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_readlinkat(value, value, value); CAMLprim value eio_unix_is_blocking(value);