From 7abe92dc0dad9a0531882ed64fcf3fd787dcba7e Mon Sep 17 00:00:00 2001 From: Nicolas Berthier Date: Wed, 6 Jun 2018 14:45:50 +0100 Subject: [PATCH] =?UTF-8?q?Adapt=20to=20new=20interface=20of=20reatk.ctrlN?= =?UTF-8?q?bac=20(=E2=89=A5=200.14)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- compiler/heptagon/ctrln/ctrlNbacAsEpt.ml | 1 + configure.in | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/compiler/heptagon/ctrln/ctrlNbacAsEpt.ml b/compiler/heptagon/ctrln/ctrlNbacAsEpt.ml index e26b40f..5126bd1 100644 --- a/compiler/heptagon/ctrln/ctrlNbacAsEpt.ml +++ b/compiler/heptagon/ctrln/ctrlNbacAsEpt.ml @@ -244,6 +244,7 @@ let translate_expr gd e = %a" print_typ (`Bint (s, w)), flag)) | `Nuop (op, e) -> mk_nuapp ?flag op e | `Nnop (op, e, f, l) -> mk_nnapp ?flag op e f l + | `Ncst _ -> raise (Untranslatable ("Cast operation", flag)) | `Luop _ | `Lbop _ | `Lsop _ -> raise (Untranslatable ("Bitwise operation", flag)) diff --git a/configure.in b/configure.in index 220fae0..30a89b2 100644 --- a/configure.in +++ b/configure.in @@ -71,7 +71,7 @@ AC_CHECK_OCAML_PKG([lablgtk2]) AC_MSG_WARN([Could not find 'lablgtk2'. The simulator will not be built]) fi -dnl version should be >= 0.11 +dnl version should be >= 0.14 AC_CHECK_OCAML_PKG([reatk.ctrlNbac]) if test "${OCAML_PKG_reatk_ctrlNbac}" = "no"; then package_reatk_ctrlNbac="ocaml"; #dummy flag