[machdep] install all machdep .c aux files together with probing script

share/dune

@@ -370,9 +370,21 @@
   (machdeps/make_machdep/alignof_str.c as lib/make_machdep/alignof_str.c)
   (machdeps/make_machdep/char_is_unsigned.c as lib/make_machdep/char_is_unsigned.c)
   (machdeps/make_machdep/const_string_literals.c as lib/make_machdep/const_string_literals.c)
+  (machdeps/make_machdep/errno.c as lib/make_machdep/errno.c)
   (machdeps/make_machdep/has__builtin_va_list.c as lib/make_machdep/has__builtin_va_list.c)
+  (machdeps/make_machdep/int_fast16_t.c as lib/make_machdep/int_fast16_t.c)
+  (machdeps/make_machdep/int_fast32_t.c as lib/make_machdep/int_fast32_t.c)
+  (machdeps/make_machdep/int_fast64_t.c as lib/make_machdep/int_fast64_t.c)
+  (machdeps/make_machdep/int_fast8_t.c as lib/make_machdep/int_fast8_t.c)
+  (machdeps/make_machdep/intptr_t.c as lib/make_machdep/intptr_t.c)
+  (machdeps/make_machdep/limits_macros.c as lib/make_machdep/limits_macros.c)
   (machdeps/make_machdep/little_endian.c as lib/make_machdep/little_endian.c)
+  (machdeps/make_machdep/make_machdep_common.h as lib/make_machdep/make_machdep_common.h)
+  (machdeps/make_machdep/nsig.c as lib/make_machdep/nsig.c)
+  (machdeps/make_machdep/posix_version.c as lib/make_machdep/posix_version.c)
   (machdeps/make_machdep/ptrdiff_t.c as lib/make_machdep/ptrdiff_t.c)
+  (machdeps/make_machdep/sanity_check.c as lib/make_machdep/sanity_check.c)
+  (machdeps/make_machdep/sig_atomic_t.c as lib/make_machdep/sig_atomic_t.c)
   (machdeps/make_machdep/sizeof_double.c as lib/make_machdep/sizeof_double.c)
   (machdeps/make_machdep/sizeof_float.c as lib/make_machdep/sizeof_float.c)
   (machdeps/make_machdep/sizeof_fun.c as lib/make_machdep/sizeof_fun.c)
@@ -384,6 +396,17 @@
   (machdeps/make_machdep/sizeof_short.c as lib/make_machdep/sizeof_short.c)
   (machdeps/make_machdep/sizeof_void.c as lib/make_machdep/sizeof_void.c)
   (machdeps/make_machdep/size_t.c as lib/make_machdep/size_t.c)
+  (machdeps/make_machdep/ssize_t.c as lib/make_machdep/ssize_t.c)
+  (machdeps/make_machdep/stdio_macros.c as lib/make_machdep/stdio_macros.c)
+  (machdeps/make_machdep/stdlib_macros.c as lib/make_machdep/stdlib_macros.c)
+  (machdeps/make_machdep/time_t.c as lib/make_machdep/time_t.c)
+  (machdeps/make_machdep/uint_fast16_t.c as lib/make_machdep/uint_fast16_t.c)
+  (machdeps/make_machdep/uint_fast32_t.c as lib/make_machdep/uint_fast32_t.c)
+  (machdeps/make_machdep/uint_fast64_t.c as lib/make_machdep/uint_fast64_t.c)
+  (machdeps/make_machdep/uint_fast8_t.c as lib/make_machdep/uint_fast8_t.c)
+  (machdeps/make_machdep/uintptr_t.c as lib/make_machdep/uintptr_t.c)
   (machdeps/make_machdep/wchar_t.c as lib/make_machdep/wchar_t.c)
-  (machdeps/make_machdep/make_machdep_common.h as lib/make_machdep/make_machdep_common.h)
+  (machdeps/make_machdep/weof.c as lib/make_machdep/weof.c)
+  (machdeps/make_machdep/wint_t.c as lib/make_machdep/wint_t.c)
+  (machdeps/make_machdep/wordsize.c as lib/make_machdep/wordsize.c)
 ))