Merge pull request #44 from xaki23/master

update ocaml version (4.05 to 4.07), pin-down mirage version (3.5 to 3.4)
This commit is contained in:
Thomas Leonard 2019-03-23 17:00:18 +00:00 committed by GitHub
commit f1a946af4e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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