split modules in library/executable

This commit is contained in:
swrup 2026-03-20 23:08:55 +01:00 committed by Swrup
parent 87f06339c8
commit 176c7cfa2b
4 changed files with 67 additions and 27 deletions

View file

@ -1,17 +1,23 @@
(executable
(name mte)
(modules mte)
(modules
fat
global
headers
respond
pg_type
pg
mte
mte_terms
mte_info
mte_management
secmod_eddsa
secmod_rsa
keys
log_reporter)
(link_flags :standard -cclib "-z solo5-abi=hvt")
(libraries mte)
(foreign_stubs
(language c)
(names manifest)))
(library
(name mte)
(wrapped false)
(modules :standard \ mte b32)
(libraries
mte
;
mkernel
mnet
@ -26,23 +32,53 @@
mirage-ptime.solo5
mfat
;
b32
;
caqti
caqti-miou
caqti-mnet
caqti-driver-pgx
pgx
;
bin
jsont
cohttp ; just for header stuff
duration
kdf.hkdf
digestif
)
(foreign_stubs
(language c)
(names manifest)))
(library
(name mte)
(wrapped false)
(modules
syntax
amount
libtool_version
time
assets_crunch
assets
hash
eddsa
rsa
signkey
denomination
config_parser
config
taler_signatures
signatures
api)
(libraries
b32
;
fmt
logs
logs.fmt))
logs.fmt
bin
caqti
jsont
jsont.bytesrw
digestif
kdf.hkdf
mirage-crypto-ec
mirage-crypto-pk
fpath
cohttp))
(library ; crockford base32
(name b32)