Commit c0dd6c74 authored by Michele Alberti's avatar Michele Alberti
Browse files

Merge branch 'feature/msvc' into 'stable/chromium'

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

See merge request frama-c/frama-clang!165
parents 8448b160 6617188a
......@@ -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 =
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment