qubes-mirage-firewall/Makefile.builder

MIRAGE_KERNEL_NAME = dist/qubes-firewall.xen
OCAML_VERSION ?= 4.14.0
SOURCE_BUILD_DEP := firewall-build-dep

firewall-build-dep:
	opam install -y mirage
fix kernel name 2022-04-04 10:23:54 -04:00			`MIRAGE_KERNEL_NAME = dist/qubes-firewall.xen`
update qubes-builder script for mirage 4.0 2022-04-04 10:09:16 -04:00			`OCAML_VERSION ?= 4.14.0`
pin mirage to 3.5.2 for qubes-builder builds 2019-12-27 23:19:35 +01:00			`SOURCE_BUILD_DEP := firewall-build-dep`

			`firewall-build-dep:`
fix opam option 2022-04-04 10:10:43 -04:00			`opam install -y mirage`
pin mirage to 3.5.2 for qubes-builder builds 2019-12-27 23:19:35 +01:00