swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Browse source
This commit is contained in:
swrup 2026-03-11 19:39:43 +01:00
parent 351e1d0c0c
commit 379256b0ae
2 changed files with 25 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.gitignore vendored
View file

@ -3,3 +3,4 @@ _taler_exchange_sql
assets assets
secrets secrets
!secrets/.keep !secrets/.keep
vendors

36
GNUmakefile
View file

@ -1,28 +1,38 @@
install_list := solo5 ocaml-solo5 mkernel mnet vendor_list := \
pin_list := "git+https://github.com/mirage/Zarith.git#zarith-1.14" mkernel miou zarith bstr mnet mirage-crypto-rng-mkernel gmp digestif \
vendor_list := mkernel miou zarith kdf utcp flux h1 httpcats mhttp multipart_form-miou prettym tls \
x509 vifu cachet mfat mirage-mtime caqti caqti-miou caqti-mnet caqti-driver-pgx
secmod_fat=secrets/secmod.fat secmod_fat=secrets/secmod.fat
tap_device=tap-mte tap_device=tap-mte
check-kvm: check-kvm:
$(if $(wildcard /dev/kvm),,$(error KVM support not enabled)) $(if $(wildcard /dev/kvm),,$(error KVM support not enabled))
# todo: just opam install . --deps-only?
installs: installs:
@for v in $(install_list); do \ opam install --yes dune utop merlin ocp-browser ocamlformat
opam install $v opam install --yes mcrunch
done opam install --yes sqlite3 # needed for caqti even if not used
opam install --yes caqti-driver-pgx
opam install --yes $(vendor_list)
pins: pins:
@for v in $(pin_list); do \ opam pin --no-action --yes "git+https://github.com/mirage/Zarith.git#zarith-1.14"
opam pin $v opam pin --no-action --yes "git+https://github.com/swrup/mirage-mtime.git#6a6bb4dd25624a3c43e6417dcdf73f3c689946a7"
done opam pin --no-action --yes "git+https://github.com/robur-coop/vif.git#8c6ac3fb97cb9a31bf6ad8ec63c942336dcfd03e"
opam pin --no-action --yes add caqti "git+https://github.com/swrup/ocaml-caqti.git#7838c29ffa9095d32b95affee26b22ef2ad302fd"
opam pin --no-action --yes add caqti-miou "git+https://github.com/swrup/ocaml-caqti.git#7838c29ffa9095d32b95affee26b22ef2ad302fd"
opam pin --no-action --yes add caqti-mnet "git+https://github.com/swrup/ocaml-caqti.git#7838c29ffa9095d32b95affee26b22ef2ad302fd"
opam pin --no-action --yes add caqti-driver-pgx "git+https://github.com/swrup/ocaml-caqti.git#7838c29ffa9095d32b95affee26b22ef2ad302fd"
opam pin --no-action --yes "git+https://github.com/swrup/mfat.git#40afdb419df56d4932928a61906e012a3c534549"
.PHONY: vendors
vendors: vendors:
mkdir -p vendors @mkdir -p vendors
@for v in $(vendor_list); do \ @for v in $(vendor_list); do \
[ ! -d vendors/$v ] && opam source $v --dir vendors/$v [ -d vendors/$$v ] || opam source $$v --dir vendors/$$v ; \
done done
.PHONY: clean .PHONY: clean
@ -30,7 +40,9 @@ clean:
rm -rf _build/ rm -rf _build/
rm -rf vendors/ rm -rf vendors/
# todo: don't erase already existing
secmod-storage: secmod-storage:
@mkdir -p secrets
mfat make --sectors=2048 $(secmod_fat) mfat make --sectors=2048 $(secmod_fat)
assets: assets: