From 43656be181b8fb6660dca6075c3ba3e3eb2fe7f8 Mon Sep 17 00:00:00 2001
From: xaki23 <tvguho-knxv23-tct.e23f2f1b@hashmail.org>
Date: Fri, 27 Dec 2019 23:19:35 +0100
Subject: [PATCH] pin mirage to 3.5.2 for qubes-builder builds

---
 Makefile.builder | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile.builder b/Makefile.builder
index 8a6355b..23827af 100644
--- a/Makefile.builder
+++ b/Makefile.builder
@@ -1,2 +1,7 @@
 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
+