Merge pull request #39 from hannesm/conf-xen

use conf-xen opam package instead home-grown depexts
mirage · Apr 11, 2022 · d5b8aa4 · d5b8aa4
2 parents 21db839 + d9fd1f8
commit d5b8aa4
Showing 1 changed file with 1 addition and 8 deletions.
diff --git a/xen-evtchn-unix.opam b/xen-evtchn-unix.opam
@@ -15,19 +15,12 @@ depends: [
   "lwt"
   "cmdliner"
   "ounit" {with-test}
+  "conf-xen" {build}
 ]
 build: [
   ["dune" "subst"] {pinned}
   ["dune" "build" "-p" name "-j" jobs]
 ]
-depexts: [
-  ["xen-dev"] {os-distribution = "alpine"}
-  ["libxen-dev"] {os-distribution = "debian"}
-  ["libxen-dev"] {os-distribution = "ubuntu"}
-  ["xen-devel"] {os-distribution = "centos"}
-  ["xen-devel"] {os-distribution = "fedora"}
-  ["xenstore"] {os-distribution = "archlinux"}
-]
 dev-repo: "git+https://github.com/mirage/ocaml-evtchn.git"
 synopsis: "Xen event channel interface for Linux"
 description: """