qubes-mirage-firewall/Makefile.builder

mirror of https://github.com/mirage/qubes-mirage-firewall.git synced 2024-10-01 01:05:39 -04: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 18:08:26 -05:00			`MIRAGE_KERNEL_NAME = qubes_firewall.xen`
bump OCAML_VERSION to 4.08.1 2019-08-25 12:12:17 -04:00			`OCAML_VERSION ?= 4.08.1`
pin mirage to 3.5.2 for qubes-builder builds 2019-12-27 17:19:35 -05:00			`SOURCE_BUILD_DEP := firewall-build-dep`

			`firewall-build-dep:`
			`opam pin -y add mirage 3.5.2`