2025-09-13 15:56:19 +02:00
|
|
|
(executable
|
|
|
|
|
(name mte)
|
2025-10-03 21:24:02 +02:00
|
|
|
(modules mte)
|
2026-03-12 12:29:50 +01:00
|
|
|
(link_flags :standard -cclib "-z solo5-abi=hvt")
|
|
|
|
|
(libraries mte)
|
|
|
|
|
(foreign_stubs
|
|
|
|
|
(language c)
|
|
|
|
|
(names manifest)))
|
2025-10-03 21:24:02 +02:00
|
|
|
|
|
|
|
|
(library
|
|
|
|
|
(name mte)
|
|
|
|
|
(wrapped false)
|
2025-11-28 09:55:41 +01:00
|
|
|
(modules :standard \ mte b32)
|
2025-09-28 21:27:15 +02:00
|
|
|
(libraries
|
2026-03-12 12:54:24 +01:00
|
|
|
;
|
|
|
|
|
mkernel
|
|
|
|
|
mnet
|
|
|
|
|
mnet-happy-eyeballs
|
|
|
|
|
mnet-dns
|
|
|
|
|
vifu
|
|
|
|
|
gmp
|
|
|
|
|
mirage-crypto
|
|
|
|
|
mirage-crypto-rng
|
|
|
|
|
mirage-crypto-rng-mkernel
|
2026-03-12 19:02:22 +01:00
|
|
|
mirage-mtime.solo5
|
2026-03-12 12:54:24 +01:00
|
|
|
mirage-ptime.solo5
|
2026-03-12 12:59:42 +01:00
|
|
|
mfat
|
2026-03-12 12:54:24 +01:00
|
|
|
;
|
2025-10-16 08:23:40 +02:00
|
|
|
b32
|
2025-10-06 22:26:50 +02:00
|
|
|
;
|
2026-03-12 12:54:24 +01:00
|
|
|
caqti
|
2025-11-11 03:12:12 +01:00
|
|
|
caqti-miou
|
2026-03-12 12:41:55 +01:00
|
|
|
caqti-mnet
|
2025-11-11 03:12:12 +01:00
|
|
|
caqti-driver-pgx
|
2026-03-12 12:54:24 +01:00
|
|
|
pgx
|
|
|
|
|
;
|
2025-10-06 23:56:10 +02:00
|
|
|
bin
|
2026-03-12 12:54:24 +01:00
|
|
|
jsont
|
|
|
|
|
cohttp ; just for header stuff
|
|
|
|
|
duration
|
2026-02-13 09:34:03 +01:00
|
|
|
kdf.hkdf
|
2025-10-17 22:04:35 +02:00
|
|
|
digestif
|
2025-09-28 21:27:15 +02:00
|
|
|
fmt
|
2025-11-29 19:36:35 +01:00
|
|
|
logs
|
2026-03-12 12:54:24 +01:00
|
|
|
logs.fmt))
|
2025-09-28 21:27:15 +02:00
|
|
|
|
2025-11-28 09:55:41 +01:00
|
|
|
(library ; crockford base32
|
|
|
|
|
(name b32)
|
|
|
|
|
(modules b32)
|
|
|
|
|
(libraries base32))
|
|
|
|
|
|
2025-09-13 19:32:30 +02:00
|
|
|
(rule
|
2025-09-23 20:58:34 +02:00
|
|
|
(target assets_crunch.ml)
|
2025-09-13 19:32:30 +02:00
|
|
|
(deps
|
2026-02-10 11:59:51 +01:00
|
|
|
(source_tree ../assets))
|
2025-09-13 19:32:30 +02:00
|
|
|
(action
|
|
|
|
|
(with-stdout-to
|
|
|
|
|
%{null}
|
2026-02-10 11:59:51 +01:00
|
|
|
(run ocaml-crunch -m plain ../assets -o %{target}))))
|
2026-03-12 12:29:50 +01:00
|
|
|
|
|
|
|
|
(rule
|
|
|
|
|
(targets manifest.c)
|
|
|
|
|
(deps manifest.json)
|
|
|
|
|
(enabled_if
|
|
|
|
|
(= %{context_name} "solo5"))
|
|
|
|
|
(action
|
|
|
|
|
(run solo5-elftool gen-manifest manifest.json manifest.c)))
|
|
|
|
|
|
|
|
|
|
(rule
|
|
|
|
|
(targets manifest.c)
|
|
|
|
|
(enabled_if
|
|
|
|
|
(= %{context_name} "default"))
|
|
|
|
|
(action
|
|
|
|
|
(write-file manifest.c "")))
|
