@@ -6,304 +6,13 @@ project "mbedtls"
66 " configs" ,
77 " include" ,
88 " library" ,
9- " 3rdparty/everest/include" ,
10- " 3rdparty/everest/include/everest" ,
11- " 3rdparty/everest/include/everest/kremlib" ,
9+ " ../3rdparty/**" ,
1210 }
1311
1412 files {
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" ,
13+ " premake5.lua" ,
14+ " **.h" ,
15+ " **.c"
30716 }
30817
30918 defines {
0 commit comments