|
34 | 34 | (echo ""))))
|
35 | 35 |
|
36 | 36 | (rule
|
37 |
| - (targets |
38 |
| - unix_c_flags.sexp |
39 |
| - unix_c_library_flags.sexp |
40 |
| - lwt_features.h |
41 |
| - lwt_features.ml) |
| 37 | + (targets unix_c_flags.sexp unix_c_library_flags.sexp lwt_features.h |
| 38 | + lwt_features.ml) |
42 | 39 | (deps
|
43 | 40 | (:exe config/discover.exe)
|
44 | 41 | discover_arguments)
|
|
58 | 55 | (install_c_headers lwt_features lwt_config lwt_unix)
|
59 | 56 | (foreign_stubs
|
60 | 57 | (language c)
|
61 |
| - (names |
62 |
| - lwt_unix_stubs |
63 |
| - lwt_libev_stubs |
64 |
| - lwt_process_stubs |
65 |
| - unix_readable |
66 |
| - unix_writable |
67 |
| - unix_madvise |
68 |
| - unix_get_page_size |
69 |
| - windows_get_page_size |
70 |
| - unix_mincore |
71 |
| - unix_read |
72 |
| - unix_pread |
73 |
| - windows_read |
74 |
| - windows_pread |
75 |
| - unix_bytes_read |
76 |
| - windows_bytes_read |
77 |
| - unix_write |
78 |
| - unix_pwrite |
79 |
| - windows_write |
80 |
| - windows_pwrite |
81 |
| - unix_bytes_write |
82 |
| - windows_bytes_write |
83 |
| - unix_readv_writev_utils |
84 |
| - unix_iov_max |
85 |
| - unix_writev |
86 |
| - unix_writev_job |
87 |
| - unix_readv |
88 |
| - unix_readv_job |
89 |
| - unix_send |
90 |
| - unix_bytes_send |
91 |
| - unix_recv |
92 |
| - unix_bytes_recv |
93 |
| - unix_recvfrom |
94 |
| - unix_bytes_recvfrom |
95 |
| - unix_sendto |
96 |
| - unix_sendto_byte |
97 |
| - unix_bytes_sendto |
98 |
| - unix_bytes_sendto_byte |
99 |
| - unix_recv_send_utils |
100 |
| - unix_recv_msg |
101 |
| - unix_send_msg |
102 |
| - unix_send_msg_byte |
103 |
| - unix_get_credentials |
104 |
| - unix_mcast_utils |
105 |
| - unix_mcast_set_loop |
106 |
| - unix_mcast_set_ttl |
107 |
| - unix_mcast_modify_membership |
108 |
| - unix_wait4 |
109 |
| - unix_get_cpu |
110 |
| - unix_get_affinity |
111 |
| - unix_set_affinity |
112 |
| - unix_guess_blocking_job |
113 |
| - unix_wait_mincore_job |
114 |
| - unix_open_job |
115 |
| - unix_read_job |
116 |
| - unix_pread_job |
117 |
| - windows_read_job |
118 |
| - windows_pread_job |
119 |
| - unix_bytes_read_job |
120 |
| - windows_bytes_read_job |
121 |
| - unix_write_job |
122 |
| - windows_write_job |
123 |
| - unix_pwrite_job |
124 |
| - windows_pwrite_job |
125 |
| - unix_bytes_write_job |
126 |
| - windows_bytes_write_job |
127 |
| - unix_stat_job_utils |
128 |
| - unix_stat_job |
129 |
| - unix_stat_64_job |
130 |
| - unix_lstat_job |
131 |
| - unix_lstat_64_job |
132 |
| - unix_fstat_job |
133 |
| - unix_fstat_64_job |
134 |
| - unix_utimes_job |
135 |
| - unix_isatty_job |
136 |
| - unix_opendir_job |
137 |
| - unix_closedir_job |
138 |
| - unix_valid_dir |
139 |
| - unix_invalidate_dir |
140 |
| - unix_rewinddir_job |
141 |
| - unix_readdir_job |
142 |
| - unix_readdir_n_job |
143 |
| - unix_readlink_job |
144 |
| - unix_lockf_job |
145 |
| - unix_getlogin_job |
146 |
| - unix_get_pw_gr_nam_id_job |
147 |
| - unix_get_network_information_utils |
148 |
| - unix_gethostname_job |
149 |
| - unix_gethostbyname_job |
150 |
| - unix_gethostbyaddr_job |
151 |
| - unix_getprotoby_getservby_job |
152 |
| - unix_getaddrinfo_job |
153 |
| - unix_getnameinfo_job |
154 |
| - unix_bind_job |
155 |
| - unix_getcwd_job |
156 |
| - unix_termios_conversion |
157 |
| - unix_tcgetattr_job |
158 |
| - unix_tcsetattr_job |
159 |
| - windows_is_socket |
160 |
| - windows_fsync_job |
161 |
| - windows_system_job |
162 |
| - windows_not_available |
163 |
| - unix_not_available |
164 |
| - unix_access_job |
165 |
| - unix_chdir_job |
166 |
| - unix_chmod_job |
167 |
| - unix_chown_job |
168 |
| - unix_chroot_job |
169 |
| - unix_close_job |
170 |
| - unix_fchmod_job |
171 |
| - unix_fchown_job |
172 |
| - unix_fdatasync_job |
173 |
| - unix_fsync_job |
174 |
| - unix_ftruncate_job |
175 |
| - unix_link_job |
176 |
| - unix_lseek_job |
177 |
| - unix_mkdir_job |
178 |
| - unix_mkfifo_job |
179 |
| - unix_rename_job |
180 |
| - unix_rmdir_job |
181 |
| - unix_symlink_job |
182 |
| - unix_tcdrain_job |
183 |
| - unix_tcflow_job |
184 |
| - unix_tcflush_job |
185 |
| - unix_tcsendbreak_job |
186 |
| - unix_truncate_job |
187 |
| - unix_unlink_job |
188 |
| - unix_somaxconn |
189 |
| - windows_somaxconn |
190 |
| - unix_accept4) |
| 58 | + (names lwt_unix_stubs lwt_libev_stubs lwt_process_stubs unix_readable |
| 59 | + unix_writable unix_madvise unix_get_page_size windows_get_page_size |
| 60 | + unix_mincore unix_read unix_pread windows_read windows_pread |
| 61 | + unix_bytes_read windows_bytes_read unix_write unix_pwrite windows_write |
| 62 | + windows_pwrite unix_bytes_write windows_bytes_write |
| 63 | + unix_readv_writev_utils unix_iov_max unix_writev unix_writev_job |
| 64 | + unix_readv unix_readv_job unix_send unix_bytes_send unix_recv |
| 65 | + unix_bytes_recv unix_recvfrom unix_bytes_recvfrom unix_sendto |
| 66 | + unix_sendto_byte unix_bytes_sendto unix_bytes_sendto_byte |
| 67 | + unix_recv_send_utils unix_recv_msg unix_send_msg unix_send_msg_byte |
| 68 | + unix_get_credentials unix_mcast_utils unix_mcast_set_loop |
| 69 | + unix_mcast_set_ttl unix_mcast_modify_membership unix_wait4 unix_get_cpu |
| 70 | + unix_get_affinity unix_set_affinity unix_guess_blocking_job |
| 71 | + unix_wait_mincore_job unix_open_job unix_read_job unix_pread_job |
| 72 | + windows_read_job windows_pread_job unix_bytes_read_job |
| 73 | + windows_bytes_read_job unix_write_job windows_write_job unix_pwrite_job |
| 74 | + windows_pwrite_job unix_bytes_write_job windows_bytes_write_job |
| 75 | + unix_stat_job_utils unix_stat_job unix_stat_64_job unix_lstat_job |
| 76 | + unix_lstat_64_job unix_fstat_job unix_fstat_64_job unix_utimes_job |
| 77 | + unix_isatty_job unix_opendir_job unix_closedir_job unix_valid_dir |
| 78 | + unix_invalidate_dir unix_rewinddir_job unix_readdir_job |
| 79 | + unix_readdir_n_job unix_readlink_job unix_lockf_job unix_getlogin_job |
| 80 | + unix_get_pw_gr_nam_id_job unix_get_network_information_utils |
| 81 | + unix_gethostname_job unix_gethostbyname_job unix_gethostbyaddr_job |
| 82 | + unix_getprotoby_getservby_job unix_getaddrinfo_job unix_getnameinfo_job |
| 83 | + unix_bind_job unix_getcwd_job unix_termios_conversion unix_tcgetattr_job |
| 84 | + unix_tcsetattr_job windows_is_socket windows_fsync_job windows_system_job |
| 85 | + windows_not_available unix_not_available unix_access_job unix_chdir_job |
| 86 | + unix_chmod_job unix_chown_job unix_chroot_job unix_close_job |
| 87 | + unix_fchmod_job unix_fchown_job unix_fdatasync_job unix_fsync_job |
| 88 | + unix_ftruncate_job unix_link_job unix_lseek_job unix_mkdir_job |
| 89 | + unix_mkfifo_job unix_rename_job unix_rmdir_job unix_symlink_job |
| 90 | + unix_tcdrain_job unix_tcflow_job unix_tcflush_job unix_tcsendbreak_job |
| 91 | + unix_truncate_job unix_unlink_job unix_somaxconn windows_somaxconn |
| 92 | + unix_accept4) |
191 | 93 | (flags
|
192 | 94 | (:include unix_c_flags.sexp)))
|
193 | 95 | (c_library_flags
|
|
0 commit comments