Git-Mirrors/qubes-mirage-firewall
1
0
Fork 0
mirror of https://github.com/mirage/qubes-mirage-firewall.git synced 2024-10-01 01:05:39 -04:00
Code Issues Packages Projects Releases Wiki Activity

update ocaml version (from 4.05 to 4.07), pin-down mirage version (to 3.4, 3.5 is current)

Browse Source
This commit is contained in:
xaki23 2019-03-06 23:43:49 +01:00
parent 455149249f
commit 04bea6e9ba
No known key found for this signature in database
GPG Key ID: C6C39B177E1A717C
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Makefile.builder
View File

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