From 3b29fd25d814eb0305e93e561fe25fdbf59ebdc3 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 16 Feb 2022 20:56:21 +0100
Subject: [PATCH] add more missing libc files

---
 share/dune | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/share/dune b/share/dune
index 3edaa7a08d7..0b6c3a320c5 100644
--- a/share/dune
+++ b/share/dune
@@ -19,6 +19,9 @@
 (libc/sys/wait.h as libc/sys/wait.h)
 (libc/sys/socket.h as libc/sys/socket.h)
 (libc/sys/select.h as libc/sys/select.h)
+(libc/sys/sendfile.h as libc/sys/sendfile.h)
+(libc/stdatomic.h as libc/stdatomic.h)
+(libc/stdnoreturn.h as libc/stdnoreturn.h)
 (libc/sys/times.h as libc/sys/times.h)
 (libc/sys/types.h as libc/sys/types.h)
 (libc/sys/file.h as libc/sys/file.h)
@@ -32,8 +35,11 @@
 (libc/sys/param.h as libc/sys/param.h)
 (libc/__fc_define_dev_t.h as libc/__fc_define_dev_t.h)
 (libc/glob.h as libc/glob.h)
+(libc/__fc_define_locale_t.h as libc/__fc_define_locale_t.h)
 (libc/__fc_define_id_t.h as libc/__fc_define_id_t.h)
+(libc/__fc_define_max_open_files.h as libc/__fc_define_max_open_files.h)
 (libc/__fc_define_time_t.h as libc/__fc_define_time_t.h)
+(libc/__fc_define_timeval.h as libc/__fc_define_timeval.h)
 (libc/stdint.h as libc/stdint.h)
 (libc/sched.h as libc/sched.h)
 (libc/__fc_define_blksize_t.h as libc/__fc_define_blksize_t.h)
@@ -44,6 +50,9 @@
 (libc/float.h as libc/float.h)
 (libc/poll.h as libc/poll.h)
 (libc/wchar.c as libc/wchar.c)
+(libc/argz.h as libc/argz.h)
+(libc/argz.c as libc/argz.c)
+(libc/stdatomic.c as libc/stdatomic.c)
 (libc/time.c as libc/time.c)
 (libc/grp.h as libc/grp.h)
 (libc/fenv.h as libc/fenv.h)
-- 
GitLab