Update dependencies for ppx_import and ppx_deriving.eq

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    #
 #################################################

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"
 ]