qubes-mirage-firewall/Makefile.builder

MIRAGE_KERNEL_NAME = qubes_firewall.xen
OCAML_VERSION ?= 4.14.0
SOURCE_BUILD_DEP := firewall-build-dep

firewall-build-dep:
	opam install -y mirage
add stub makefile for qubes-builder 2018-11-29 23:08:26 +00:00			`MIRAGE_KERNEL_NAME = qubes_firewall.xen`
update qubes-builder script for mirage 4.0 2022-04-04 14:09:16 +00:00			`OCAML_VERSION ?= 4.14.0`
pin mirage to 3.5.2 for qubes-builder builds 2019-12-27 22:19:35 +00:00			`SOURCE_BUILD_DEP := firewall-build-dep`

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