From 6a3f3a62452670380827f9e39dd28c5092741099 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Wed, 21 Feb 2018 17:45:44 +0100 Subject: Hook for MPPA_K1c (generates Risc-V code for now) --- driver/Configuration.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'driver/Configuration.ml') diff --git a/driver/Configuration.ml b/driver/Configuration.ml index 972fd295..eae3aaab 100644 --- a/driver/Configuration.ml +++ b/driver/Configuration.ml @@ -123,7 +123,7 @@ let get_bool_config key = let arch = match get_config_string "arch" with - | "powerpc"|"arm"|"x86"|"riscV" as a -> a + | "powerpc"|"arm"|"x86"|"riscV"|"mppa_k1c" as a -> a | v -> bad_config "arch" [v] let model = get_config_string "model" let abi = get_config_string "abi" -- cgit