From 90fe4a707d3c25f4d187198c0c4cbdaf54025979 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Wed, 11 May 2022 09:51:01 +0200
Subject: [PATCH] Update dependencies for ppx_import and ppx_deriving.eq
---
configure.in | 11 +++++++++++
opam/opam | 3 ++-
2 files changed, 13 insertions(+), 1 deletion(-)
diff --git a/configure.in b/configure.in
index e98ef587598..5d4736187f7 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 2def38f8848..e65da66328e 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"
]
--
GitLab