@@ -6,13 +6,304 @@ project "mbedtls"
6
6
" configs" ,
7
7
" include" ,
8
8
" library" ,
9
- " ../3rdparty/**" ,
9
+ " 3rdparty/everest/include" ,
10
+ " 3rdparty/everest/include/everest" ,
11
+ " 3rdparty/everest/include/everest/kremlib" ,
10
12
}
11
13
12
14
files {
13
- " premake5.lua" ,
14
- " **.h" ,
15
- " **.c"
15
+ " 3rdparty/everest/include/everest/everest.h" ,
16
+ " 3rdparty/everest/include/everest/Hacl_Curve25519.h" ,
17
+ " 3rdparty/everest/include/everest/kremlib.h" ,
18
+ " 3rdparty/everest/include/everest/x25519.h" ,
19
+ " 3rdparty/everest/include/everest/kremlib/FStar_UInt128.h" ,
20
+ " 3rdparty/everest/include/everest/kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.h" ,
21
+ " 3rdparty/everest/include/everest/kremlin/c_endianness.h" ,
22
+ " 3rdparty/everest/include/everest/kremlin/internal/builtin.h" ,
23
+ " 3rdparty/everest/include/everest/kremlin/internal/callconv.h" ,
24
+ " 3rdparty/everest/include/everest/kremlin/internal/compat.h" ,
25
+ " 3rdparty/everest/include/everest/kremlin/internal/debug.h" ,
26
+ " 3rdparty/everest/include/everest/kremlin/internal/target.h" ,
27
+ " 3rdparty/everest/include/everest/kremlin/internal/types.h" ,
28
+ " 3rdparty/everest/include/everest/kremlin/internal/wasmsupport.h" ,
29
+ " 3rdparty/everest/library/everest.c" ,
30
+ " 3rdparty/everest/library/Hacl_Curve25519_joined.c" ,
31
+ " 3rdparty/everest/library/x25519.c" ,
32
+ " 3rdparty/everest/library/kremlib/FStar_UInt128_extracted.c" ,
33
+ " 3rdparty/everest/library/kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c" ,
34
+ " 3rdparty/everest/library/legacy/Hacl_Curve25519.c" ,
35
+ " 3rdparty/p256-m/p256-m/p256-m.c" ,
36
+ " 3rdparty/p256-m/p256-m/p256-m.h" ,
37
+ " 3rdparty/p256-m/p256-m_driver_entrypoints.c" ,
38
+ " 3rdparty/p256-m/p256-m_driver_entrypoints.h" ,
39
+ " configs/config-ccm-psk-dtls1_2.h" ,
40
+ " configs/config-ccm-psk-tls1_2.h" ,
41
+ " configs/config-ccm-aes-sha256.h" ,
42
+ " configs/config-no-entropy.h" ,
43
+ " configs/config-suite-b.h" ,
44
+ " configs/config-symmetric-only.h" ,
45
+ " configs/config-tfm.h" ,
46
+ " include/mbedtls/aes.h" ,
47
+ " include/mbedtls/aria.h" ,
48
+ " include/mbedtls/asn1.h" ,
49
+ " include/mbedtls/asn1write.h" ,
50
+ " include/mbedtls/base64.h" ,
51
+ " include/mbedtls/bignum.h" ,
52
+ " include/mbedtls/block_cipher.h" ,
53
+ " include/mbedtls/build_info.h" ,
54
+ " include/mbedtls/camellia.h" ,
55
+ " include/mbedtls/ccm.h" ,
56
+ " include/mbedtls/chacha20.h" ,
57
+ " include/mbedtls/chachapoly.h" ,
58
+ " include/mbedtls/check_config.h" ,
59
+ " include/mbedtls/cipher.h" ,
60
+ " include/mbedtls/cmac.h" ,
61
+ " include/mbedtls/compat-2.x.h" ,
62
+ " include/mbedtls/config_psa.h" ,
63
+ " include/mbedtls/config_adjust_legacy_crypto.h" ,
64
+ " include/mbedtls/config_adjust_legacy_from_psa.h" ,
65
+ " include/mbedtls/config_adjust_psa_from_legacy.h" ,
66
+ " include/mbedtls/config_adjust_psa_superset_legacy.h" ,
67
+ " include/mbedtls/config_adjust_ssl.h" ,
68
+ " include/mbedtls/config_adjust_x509.h" ,
69
+ " include/mbedtls/constant_time.h" ,
70
+ " include/mbedtls/ctr_drbg.h" ,
71
+ " include/mbedtls/debug.h" ,
72
+ " include/mbedtls/des.h" ,
73
+ " include/mbedtls/dhm.h" ,
74
+ " include/mbedtls/ecdh.h" ,
75
+ " include/mbedtls/ecdsa.h" ,
76
+ " include/mbedtls/ecjpake.h" ,
77
+ " include/mbedtls/ecp.h" ,
78
+ " include/mbedtls/entropy.h" ,
79
+ " include/mbedtls/error.h" ,
80
+ " include/mbedtls/gcm.h" ,
81
+ " include/mbedtls/hkdf.h" ,
82
+ " include/mbedtls/hmac_drbg.h" ,
83
+ " include/mbedtls/lms.h" ,
84
+ " include/mbedtls/mbedtls_config.h" ,
85
+ " include/mbedtls/md.h" ,
86
+ " include/mbedtls/md5.h" ,
87
+ " include/mbedtls/memory_buffer_alloc.h" ,
88
+ " include/mbedtls/net_sockets.h" ,
89
+ " include/mbedtls/nist_kw.h" ,
90
+ " include/mbedtls/oid.h" ,
91
+ " include/mbedtls/pem.h" ,
92
+ " include/mbedtls/pk.h" ,
93
+ " include/mbedtls/pkcs12.h" ,
94
+ " include/mbedtls/pkcs7.h" ,
95
+ " include/mbedtls/pkcs5.h" ,
96
+ " include/mbedtls/platform.h" ,
97
+ " include/mbedtls/platform_time.h" ,
98
+ " include/mbedtls/platform_util.h" ,
99
+ " include/mbedtls/poly1305.h" ,
100
+ " include/mbedtls/private_access.h" ,
101
+ " include/mbedtls/psa_util.h" ,
102
+ " include/mbedtls/ripemd160.h" ,
103
+ " include/mbedtls/rsa.h" ,
104
+ " include/mbedtls/sha1.h" ,
105
+ " include/mbedtls/sha3.h" ,
106
+ " include/mbedtls/sha256.h" ,
107
+ " include/mbedtls/sha512.h" ,
108
+ " include/mbedtls/ssl.h" ,
109
+ " include/mbedtls/ssl_cache.h" ,
110
+ " include/mbedtls/ssl_ciphersuites.h" ,
111
+ " include/mbedtls/ssl_cookie.h" ,
112
+ " include/mbedtls/ssl_ticket.h" ,
113
+ " include/mbedtls/threading.h" ,
114
+ " include/mbedtls/timing.h" ,
115
+ " include/mbedtls/version.h" ,
116
+ " include/mbedtls/x509.h" ,
117
+ " include/mbedtls/x509_crl.h" ,
118
+ " include/mbedtls/x509_crt.h" ,
119
+ " include/mbedtls/x509_csr.h" ,
120
+ " include/psa/build_info.h" ,
121
+ " include/psa/crypto.h" ,
122
+ " include/psa/crypto_adjust_auto_enabled.h" ,
123
+ " include/psa/crypto_adjust_config_key_pair_types.h" ,
124
+ " include/psa/crypto_adjust_config_synonyms.h" ,
125
+ " include/psa/crypto_builtin_key_derivation.h" ,
126
+ " include/psa/crypto_driver_contexts_key_derivation.h" ,
127
+ " include/psa/crypto_builtin_composites.h" ,
128
+ " include/psa/crypto_builtin_primitives.h" ,
129
+ " include/psa/crypto_compat.h" ,
130
+ " include/psa/crypto_config.h" ,
131
+ " include/psa/crypto_driver_common.h" ,
132
+ " include/psa/crypto_driver_contexts_composites.h" ,
133
+ " include/psa/crypto_driver_contexts_primitives.h" ,
134
+ " include/psa/crypto_extra.h" ,
135
+ " include/psa/crypto_legacy.h" ,
136
+ " include/psa/crypto_platform.h" ,
137
+ " include/psa/crypto_se_driver.h" ,
138
+ " include/psa/crypto_sizes.h" ,
139
+ " include/psa/crypto_struct.h" ,
140
+ " include/psa/crypto_types.h" ,
141
+ " include/psa/crypto_values.h" ,
142
+ " library/aes.c" ,
143
+ " library/aesce.c" ,
144
+ " library/aesce.h" ,
145
+ " library/aesni.c" ,
146
+ " library/aesni.h" ,
147
+ " library/alignment.h" ,
148
+ " library/aria.c" ,
149
+ " library/asn1parse.c" ,
150
+ " library/asn1write.c" ,
151
+ " library/base64.c" ,
152
+ " library/base64_internal.h" ,
153
+ " library/bignum.c" ,
154
+ " library/bignum_core.c" ,
155
+ " library/bignum_core.h" ,
156
+ " library/bignum_mod.c" ,
157
+ " library/bignum_mod.h" ,
158
+ " library/bignum_mod_raw.c" ,
159
+ " library/bignum_mod_raw.h" ,
160
+ " library/bignum_mod_raw_invasive.h" ,
161
+ " library/block_cipher.c" ,
162
+ " library/block_cipher_internal.h" ,
163
+ " library/camellia.c" ,
164
+ " library/ccm.c" ,
165
+ " library/chacha20.c" ,
166
+ " library/chachapoly.c" ,
167
+ " library/check_crypto_config.h" ,
168
+ " library/cipher.c" ,
169
+ " library/cipher_wrap.c" ,
170
+ " library/cipher_wrap.h" ,
171
+ " library/cmac.c" ,
172
+ " library/common.h" ,
173
+ " library/constant_time.c" ,
174
+ " library/constant_time_impl.h" ,
175
+ " library/constant_time_internal.h" ,
176
+ " library/ctr.h" ,
177
+ " library/ctr_drbg.c" ,
178
+ " library/debug.c" ,
179
+ " library/debug_internal.h" ,
180
+ " library/des.c" ,
181
+ " library/dhm.c" ,
182
+ " library/ecdh.c" ,
183
+ " library/ecdsa.c" ,
184
+ " library/ecjpake.c" ,
185
+ " library/ecp.c" ,
186
+ " library/ecp_curves_new.c" ,
187
+ " library/ecp_internal_alt.h" ,
188
+ " library/ecp_curves.c" ,
189
+ " library/ecp_invasive.h" ,
190
+ " library/entropy.c" ,
191
+ " library/entropy_poll.c" ,
192
+ " library/entropy_poll.h" ,
193
+ " library/error.c" ,
194
+ " library/gcm.c" ,
195
+ " library/hkdf.c" ,
196
+ " library/hmac_drbg.c" ,
197
+ " library/lmots.c" ,
198
+ " library/lmots.h" ,
199
+ " library/lms.c" ,
200
+ " library/md.c" ,
201
+ " library/md_psa.h" ,
202
+ " library/md_wrap.h" ,
203
+ " library/md5.c" ,
204
+ " library/memory_buffer_alloc.c" ,
205
+ " library/mps_common.h" ,
206
+ " library/mps_error.h" ,
207
+ " library/mps_reader.c" ,
208
+ " library/mps_reader.h" ,
209
+ " library/mps_trace.c" ,
210
+ " library/mps_trace.h" ,
211
+ " library/net_sockets.c" ,
212
+ " library/nist_kw.c" ,
213
+ " library/oid.c" ,
214
+ " library/padlock.c" ,
215
+ " library/padlock.h" ,
216
+ " library/pem.c" ,
217
+ " library/pk.c" ,
218
+ " library/pkcs12.c" ,
219
+ " library/pkcs7.c" ,
220
+ " library/pkcs5.c" ,
221
+ " library/pkparse.c" ,
222
+ " library/pkwrite.c" ,
223
+ " library/pkwrite.h" ,
224
+ " library/pk_wrap.c" ,
225
+ " library/pk_ecc.c" ,
226
+ " library/pk_ecc.h" ,
227
+ " library/pk_internal.h" ,
228
+ " library/platform.c" ,
229
+ " library/platform_util.c" ,
230
+ " library/poly1305.c" ,
231
+ " library/psa_crypto.c" ,
232
+ " library/psa_crypto_aead.c" ,
233
+ " library/psa_crypto_aead.h" ,
234
+ " library/psa_crypto_cipher.c" ,
235
+ " library/psa_crypto_cipher.h" ,
236
+ " library/psa_crypto_client.c" ,
237
+ " library/psa_crypto_core.h" ,
238
+ " library/psa_crypto_core_common.h" ,
239
+ " library/psa_crypto_driver_wrappers.h" ,
240
+ " library/psa_crypto_driver_wrappers_no_static.c" ,
241
+ " library/psa_crypto_driver_wrappers_no_static.h" ,
242
+ " library/psa_crypto_ecp.c" ,
243
+ " library/psa_crypto_ecp.h" ,
244
+ " library/psa_crypto_ffdh.c" ,
245
+ " library/psa_crypto_ffdh.h" ,
246
+ " library/psa_crypto_hash.c" ,
247
+ " library/psa_crypto_hash.h" ,
248
+ " library/psa_crypto_invasive.h" ,
249
+ " library/psa_crypto_its.h" ,
250
+ " library/psa_crypto_mac.c" ,
251
+ " library/psa_crypto_mac.h" ,
252
+ " library/psa_crypto_pake.c" ,
253
+ " library/psa_crypto_pake.h" ,
254
+ " library/psa_crypto_random_impl.h" ,
255
+ " library/psa_crypto_rsa.c" ,
256
+ " library/psa_crypto_rsa.h" ,
257
+ " library/psa_crypto_se.c" ,
258
+ " library/psa_crypto_se.h" ,
259
+ " library/psa_crypto_slot_management.c" ,
260
+ " library/psa_crypto_slot_management.h" ,
261
+ " library/psa_crypto_storage.c" ,
262
+ " library/psa_crypto_storage.h" ,
263
+ " library/psa_its_file.c" ,
264
+ " library/psa_util.c" ,
265
+ " library/psa_util_internal.h" ,
266
+ " library/ripemd160.c" ,
267
+ " library/rsa.c" ,
268
+ " library/rsa_alt_helpers.c" ,
269
+ " library/rsa_alt_helpers.h" ,
270
+ " library/rsa_internal.h" ,
271
+ " library/sha1.c" ,
272
+ " library/sha3.c" ,
273
+ " library/sha256.c" ,
274
+ " library/sha512.c" ,
275
+ " library/ssl_cache.c" ,
276
+ " library/ssl_ciphersuites.c" ,
277
+ " library/ssl_ciphersuites_internal.h" ,
278
+ " library/ssl_client.c" ,
279
+ " library/ssl_client.h" ,
280
+ " library/ssl_cookie.c" ,
281
+ " library/ssl_debug_helpers.h" ,
282
+ " library/ssl_debug_helpers_generated.c" ,
283
+ " library/ssl_misc.h" ,
284
+ " library/ssl_msg.c" ,
285
+ " library/ssl_tls.c" ,
286
+ " library/ssl_tls12_client.c" ,
287
+ " library/ssl_tls12_server.c" ,
288
+ " library/ssl_tls13_client.c" ,
289
+ " library/ssl_tls13_generic.c" ,
290
+ " library/ssl_tls13_invasive.h" ,
291
+ " library/ssl_tls13_keys.c" ,
292
+ " library/ssl_tls13_keys.h" ,
293
+ " library/ssl_tls13_server.c" ,
294
+ " library/threading.c" ,
295
+ " library/timing.c" ,
296
+ " library/version.c" ,
297
+ " library/version_features.c" ,
298
+ " library/x509.c" ,
299
+ " library/x509write.c" ,
300
+ " library/x509_internal.h" ,
301
+ " library/x509write_crt.c" ,
302
+ " library/x509write_csr.c" ,
303
+ " library/x509_create.c" ,
304
+ " library/x509_crl.c" ,
305
+ " library/x509_crt.c" ,
306
+ " library/x509_csr.c" ,
16
307
}
17
308
18
309
defines {
0 commit comments