Handle -march properly

Signed-off-by: Kakadu <Kakadu@pm.me>
This commit is contained in:
Kakadu 2024-09-05 14:50:27 +03:00
parent 55d595600d
commit 3f7f51b2f0
10 changed files with 51 additions and 14 deletions

View file

@ -80,7 +80,7 @@ class options args =
raise
(Commandline_error "Path expected after '-I' specifier")
| Some path -> self#add_include_path path)
| "-march=amd64" -> march := `AMD64
| "-march=x86_64" | "-march=amd64" -> march := `AMD64
| "-march=x86" -> march := `X86_32
| "-s" -> self#set_mode `SM
| "-b" -> self#set_mode `BC