Git-Mirrors/qubes-mirage-firewall
1
0
Fork 0
mirror of https://github.com/mirage/qubes-mirage-firewall.git synced 2024-12-29 00:56:13 -05:00
Code Issues Packages Projects Releases Wiki Activity

support mirage-3.7 via qubes-builder

Browse Source
This commit is contained in:
xaki23 2020-01-13 20:48:46 +01:00
parent 8e714c7712
commit e68962ac48
No known key found for this signature in database
GPG Key ID: C6C39B177E1A717C
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 SOURCE_BUILD_DEP := firewall-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