Merge pull request #133 from djs55/remove-dep

Remove unnecessary dependency on ppx_deriving
mirage · Nov 5, 2017 · e6086d0 · e6086d0
2 parents b7cdf99 + 46179ef
commit e6086d0
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 4 deletions.
diff --git a/protocol-9p-tool.opam b/protocol-9p-tool.opam
@@ -13,8 +13,8 @@ build: [
 ]
 depends: [
   "jbuilder" {build & >= "1.0+beta10"}
-  "protocol-9p" {= "0.11.2"}
-  "protocol-9p-unix" {= "0.11.2"}
+  "protocol-9p"
+  "protocol-9p-unix"
   "base-bytes"
   "rresult"
   "logs" {>= "0.5.0"}

diff --git a/protocol-9p-unix.opam b/protocol-9p-unix.opam
@@ -33,7 +33,6 @@ depends: [
   "logs" {>= "0.5.0"}
   "win-error"
   "io-page-unix" {>= "2.0.0"}
-  "ppx_deriving" {build}
   "ppx_sexp_conv" {build}
   "ppx_tools" {build}
   "alcotest" {test & >= "0.4.0"}

diff --git a/protocol-9p.opam b/protocol-9p.opam
@@ -28,7 +28,6 @@ depends: [
   "fmt"
   "logs" {>= "0.5.0"}
   "win-error"
-  "ppx_deriving" {build}
   "ppx_sexp_conv" {build}
   "ppx_tools" {build}
   "alcotest" {test & >= "0.4.0"}