2026-03-11 14:17:52 +01:00
|
|
|
vendor_list := \
|
|
|
|
|
mkernel zarith bstr mnet mirage-crypto-rng-mkernel gmp digestif \
|
|
|
|
|
kdf utcp flux h1 httpcats mhttp multipart_form-miou prettym tls \
|
|
|
|
|
x509 vifu cachet mfat caqti \
|
|
|
|
|
base32 cohttp mirage-mtime mirage-ptime
|
|
|
|
|
|
|
|
|
|
secmod_fat=assets/secmod.fat
|
|
|
|
|
tap_device=tap0
|
|
|
|
|
|
|
|
|
|
check-kvm:
|
|
|
|
|
$(if $(wildcard /dev/kvm),,$(error KVM support not enabled))
|
|
|
|
|
|
2026-03-21 16:31:11 +01:00
|
|
|
pins:
|
|
|
|
|
#opam pin --no-action --yes "git+https://github.com/robur-coop/mcrunch.git#682ed63c03e3be5664f96c469a260e1d9e9df011"
|
|
|
|
|
opam pin --no-action --yes "git+https://github.com/mirage/Zarith.git#zarith-1.14"
|
2026-03-26 06:23:42 +01:00
|
|
|
opam pin --no-action --yes "git+https://github.com/robur-coop/vif.git#e8b3053476162d119dee8cefe38511d679d3ad55"
|
2026-03-21 16:31:11 +01:00
|
|
|
opam pin --no-action --yes "git+https://github.com/robur-coop/mfat.git#5b1204d914e853f0139c6d2776511f530b753550"
|
|
|
|
|
opam pin --no-action --yes "git+https://github.com/swrup/mirage-mtime.git#6a6bb4dd25624a3c43e6417dcdf73f3c689946a7"
|
|
|
|
|
opam pin --no-action --yes add caqti "git+https://github.com/swrup/ocaml-caqti.git#186650581efd9d247ced982cdefd74256905e3b0"
|
|
|
|
|
opam pin --no-action --yes add caqti-miou "git+https://github.com/swrup/ocaml-caqti.git#186650581efd9d247ced982cdefd74256905e3b0"
|
|
|
|
|
opam pin --no-action --yes add caqti-mnet "git+https://github.com/swrup/ocaml-caqti.git#186650581efd9d247ced982cdefd74256905e3b0"
|
|
|
|
|
opam pin --no-action --yes add caqti-driver-pgx "git+https://github.com/swrup/ocaml-caqti.git#186650581efd9d247ced982cdefd74256905e3b0"
|
2026-03-26 06:23:42 +01:00
|
|
|
opam pin --no-action --yes "git+https://github.com/robur-coop/mnet.git#7e07437cda26f8efd3da0c4d14d76293d8fcbc78"
|
2026-03-21 16:31:11 +01:00
|
|
|
|
2026-03-11 14:17:52 +01:00
|
|
|
installs:
|
|
|
|
|
# opam install --yes mcrunch
|
2026-03-21 16:31:11 +01:00
|
|
|
opam install --yes dune utop merlin ocp-browser ocamlformat
|
2026-03-11 14:17:52 +01:00
|
|
|
opam install --yes crunch
|
|
|
|
|
opam install --yes sqlite3 # needed for caqti even if not used
|
|
|
|
|
opam install --yes caqti-driver-pgx
|
|
|
|
|
opam install --yes $(vendor_list)
|
|
|
|
|
|
|
|
|
|
.PHONY: vendors
|
|
|
|
|
vendors:
|
|
|
|
|
@mkdir -p vendors
|
|
|
|
|
@for v in $(vendor_list); do \
|
|
|
|
|
[ -d vendors/$$v ] || opam source $$v --dir vendors/$$v ; \
|
|
|
|
|
done
|
|
|
|
|
|
|
|
|
|
.PHONY: clean
|
|
|
|
|
clean:
|
|
|
|
|
rm -rf _build/
|
|
|
|
|
rm -rf vendors/
|
|
|
|
|
|
2026-03-21 16:31:11 +01:00
|
|
|
assets:
|
|
|
|
|
@cp default/assets ./
|
|
|
|
|
|
2026-03-11 14:17:52 +01:00
|
|
|
secmod.fat:
|
|
|
|
|
@mkdir -p assets
|
|
|
|
|
mfat make --sectors=2048 $(secmod_fat)
|
|
|
|
|
|
|
|
|
|
manifest:
|
2026-03-21 16:31:11 +01:00
|
|
|
@dune exec src/mte.exe > src/manifest.json
|
2026-03-11 14:17:52 +01:00
|
|
|
|
|
|
|
|
build:
|
2026-03-21 16:31:11 +01:00
|
|
|
@dune build @all
|
|
|
|
|
@dune build --workspace dune-workspace.solo5 src/mte.exe
|
2026-03-11 14:17:52 +01:00
|
|
|
|
|
|
|
|
run: build
|
2026-03-21 16:31:11 +01:00
|
|
|
@solo5-hvt --block:storage=$(secmod_fat) --net:service=$(tap_device) -- ./_build/solo5/src/mte.exe
|
