From d41bc9d9eecb7febc7ad48cb7d3a35768b73ee54 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Tue, 1 Jun 2021 15:54:47 +0200
Subject: Add target ELF

---
 cparser/Machine.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'cparser/Machine.ml')

diff --git a/cparser/Machine.ml b/cparser/Machine.ml
index 6c10715f..cc50be1e 100644
--- a/cparser/Machine.ml
+++ b/cparser/Machine.ml
@@ -287,6 +287,8 @@ let kvxmbr =
   { kvxbase with has_non_trapping_loads = true;
 }
 
+let kvxelf = kvxmbr
+
 let aarch64 =
   { i32lpll64 with name = "aarch64";
                    struct_passing_style = SP_ref_callee; (* Wrong *)
-- 
cgit