qubes-mirage-firewall/Makefile.builder

mirror of https://github.com/mirage/qubes-mirage-firewall.git synced 2024-07-05 18:41:15 +00:00
MIRAGE_KERNEL_NAME = qubes_firewall.xen
OCAML_VERSION ?= 4.08.1
SOURCE_BUILD_DEP := firewall-build-dep

firewall-build-dep:
	opam pin -y add mirage 3.5.2
add stub makefile for qubes-builder 2018-11-29 23:08:26 +00:00			`MIRAGE_KERNEL_NAME = qubes_firewall.xen`
bump OCAML_VERSION to 4.08.1 2019-08-25 16:12:17 +00:00			`OCAML_VERSION ?= 4.08.1`
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:`
			`opam pin -y add mirage 3.5.2`