Git-Mirrors/qubes-mirage-firewall
1
0
Fork 0
mirror of https://github.com/mirage/qubes-mirage-firewall.git synced 2025-01-15 17:17:08 -05:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #91 from xaki23/mirage-3.7-qb

Browse Source 
support mirage-3.7 via qubes-builder
This commit is contained in:
Thomas Leonard 2020-01-14 14:50:22 +00:00 committed by GitHub
commit 0ced0ee901
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Makefile.builder
View File

@ -3,5 +3,6 @@ OCAML_VERSION ?= 4.08.1
SOURCE_BUILD_DEP := firewall-build-dep
firewall-build-dep:
opam pin -y add mirage 3.5.2
opam install -y depext
opam depext -i -y mirage.3.7.4 lwt.4.5.0