From 6a3f3a62452670380827f9e39dd28c5092741099 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Wed, 21 Feb 2018 17:45:44 +0100
Subject: Hook for MPPA_K1c (generates Risc-V code for now)

---
 cparser/Machine.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'cparser/Machine.mli')

diff --git a/cparser/Machine.mli b/cparser/Machine.mli
index 53c13b52..32f9a4de 100644
--- a/cparser/Machine.mli
+++ b/cparser/Machine.mli
@@ -82,6 +82,7 @@ val arm_littleendian : t
 val arm_bigendian : t
 val rv32 : t
 val rv64 : t
+val mppa_k1c : t
 
 val gcc_extensions : t -> t
 val compcert_interpreter : t -> t
-- 
cgit