From 6617188ae5d19ff26e7f7a50d2ab7a8f484594de Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 7 Feb 2022 19:38:35 +0100
Subject: [PATCH] [machdep] add support in Frama-Clang for x86_64_msvc machdep
of Frama-C
---
frama_Clang_register.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/frama_Clang_register.ml b/frama_Clang_register.ml
index b277f812..fc85953c 100644
--- a/frama_Clang_register.ml
+++ b/frama_Clang_register.ml
@@ -31,6 +31,7 @@ let targets =
"x86_64", "x86_64-unknown-linux-gnu";
"gcc_x86_64", "x86_64-unknown-linux-gnu";
"ppc_32", "powerpc-unknown-linux-gnu";
+ "msvc_x86_64", "x86_64-unknown-w64-msvc"
]
let target_of_machdep s =
--
GitLab