diff --git a/configure.in b/configure.in
index e98ef587598339a0405baf03cc58c93a361943e5..5d4736187f77410ba4ffeaefc87290826e22a351 100644
--- a/configure.in
+++ b/configure.in
@@ -347,6 +347,17 @@ else
    AC_MSG_RESULT(found $PPX_IMPORT)
 fi
 
+# ppx_deriving.eq
+############
+
+AC_MSG_CHECKING(for ppx_deriving.eq)
+PPX_DERIVING_EQ=$($OCAMLFIND query ppx_deriving.eq -format %v)
+if test -z "$PPX_DERIVING_EQ"; then
+   AC_MSG_ERROR(Cannot find ppx_deriving.eq via ocamlfind)
+else
+   AC_MSG_RESULT(found $PPX_DERIVING_EQ)
+fi
+
 #################################################
 # Check for other (optional) tools/libraries    #
 #################################################
diff --git a/opam/opam b/opam/opam
index 2def38f8848e74fb5f9a8889e48f45a152d22398..e65da66328e496b98bfae235fafb89dcb8d67162 100644
--- a/opam/opam
+++ b/opam/opam
@@ -123,6 +123,8 @@ depends: [
   "why3" { >= "1.5.0" }
   "yojson" {>= "1.6.0"}
   "zarith" {>= "1.5"}
+  "ppx_deriving"
+  "ppx_import"
 ]
 
 depopts: [
@@ -132,7 +134,6 @@ depopts: [
   "apron"
   "coq"
   "mlgmpidl"
-  "ppx_deriving"
   "ppx_deriving_yojson"
   "zmq"
 ]