add stub makefile for qubes-builder

This commit is contained in:
xaki23 2018-11-30 00:08:26 +01:00
parent 8ed4289b2a
commit 184d320a8f
No known key found for this signature in database
GPG Key ID: C6C39B177E1A717C

8
Makefile.builder Normal file
View File

@ -0,0 +1,8 @@
MIRAGE_KERNEL_NAME = qubes_firewall.xen
#SOURCE_BUILD_DEP := ssh-agent-build-dep
OCAML_VERSION ?= 4.05.0
#ssh-agent-build-dep:
# opam pin -y add angstrom https://github.com/reynir/angstrom.git#no-c-blit
# opam pin -y add ssh-agent https://github.com/reynir/ocaml-ssh-agent.git