[machdep] add support in Frama-Clang for x86_64_msvc machdep of Frama-C

6617188a · Virgile Prevosto · 8448b160 · 6617188a
Commit 6617188a authored 3 years ago by Virgile Prevosto
--- 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 =