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 ++
 cparser/Machine.mli | 1 +
 2 files changed, 3 insertions(+)

(limited to 'cparser')

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 *)
diff --git a/cparser/Machine.mli b/cparser/Machine.mli
index bdbec976..9e6063ba 100644
--- a/cparser/Machine.mli
+++ b/cparser/Machine.mli
@@ -91,6 +91,7 @@ val rv32 : t
 val rv64 : t
 val kvxmbr : t
 val kvxcos : t
+val kvxelf : t
 val aarch64 : t
 val aarch64_apple : t
 
-- 
cgit