2025-09-13 15:56:19 +02:00
|
|
|
(executable
|
|
|
|
|
(name mte)
|
|
|
|
|
(modules mte)
|
2026-03-11 14:17:52 +01:00
|
|
|
(link_flags :standard -cclib "-z solo5-abi=hvt")
|
|
|
|
|
(libraries mte)
|
|
|
|
|
(foreign_stubs
|
|
|
|
|
(language c)
|
|
|
|
|
(names manifest)))
|
2025-09-13 15:56:19 +02:00
|
|
|
|
|
|
|
|
(library
|
|
|
|
|
(name mte)
|
|
|
|
|
(wrapped false)
|
|
|
|
|
(modules :standard \ mte b32)
|
|
|
|
|
(libraries
|
2026-03-11 14:17:52 +01:00
|
|
|
;
|
|
|
|
|
mkernel
|
|
|
|
|
mnet
|
|
|
|
|
mnet-happy-eyeballs
|
|
|
|
|
mnet-dns
|
|
|
|
|
vifu
|
|
|
|
|
gmp
|
|
|
|
|
mirage-crypto
|
|
|
|
|
mirage-crypto-rng
|
|
|
|
|
mirage-crypto-rng-mkernel
|
|
|
|
|
mirage-mtime.solo5
|
|
|
|
|
mirage-ptime.solo5
|
|
|
|
|
mfat
|
|
|
|
|
;
|
2025-09-13 15:56:19 +02:00
|
|
|
b32
|
|
|
|
|
;
|
|
|
|
|
caqti
|
|
|
|
|
caqti-miou
|
2026-03-11 14:17:52 +01:00
|
|
|
caqti-mnet
|
2025-09-13 15:56:19 +02:00
|
|
|
caqti-driver-pgx
|
2026-03-11 14:17:52 +01:00
|
|
|
pgx
|
|
|
|
|
;
|
2025-09-13 15:56:19 +02:00
|
|
|
bin
|
2026-03-11 14:17:52 +01:00
|
|
|
jsont
|
|
|
|
|
cohttp ; just for header stuff
|
|
|
|
|
duration
|
2026-02-13 09:34:03 +01:00
|
|
|
kdf.hkdf
|
2025-09-13 15:56:19 +02:00
|
|
|
digestif
|
|
|
|
|
fmt
|
|
|
|
|
logs
|
2026-03-11 14:17:52 +01:00
|
|
|
logs.fmt))
|
2025-09-13 15:56:19 +02:00
|
|
|
|
|
|
|
|
(library ; crockford base32
|
|
|
|
|
(name b32)
|
|
|
|
|
(modules b32)
|
|
|
|
|
(libraries base32))
|
|
|
|
|
|
|
|
|
|
(rule
|
|
|
|
|
(target assets_crunch.ml)
|
|
|
|
|
(deps
|
2026-02-10 11:59:51 +01:00
|
|
|
(source_tree ../assets))
|
2025-09-13 15:56:19 +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-11 14:17:52 +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 "")))
|
