Git-Mirrors/qubes-mirage-firewall
1
0
Fork 0
mirror of https://github.com/mirage/qubes-mirage-firewall.git synced 2024-07-01 08:31:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #37 from xaki23/master

Browse Source 
add stub makefile for qubes-builder
This commit is contained in:
Thomas Leonard 2018-12-01 13:35:15 +00:00 committed by GitHub
commit b123abb1d3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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