From 945e1e3c0e601f711ab83f65333f4c2b9e713c99 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 22 Apr 2013 16:28:44 +0000
Subject: driver: removed option -flonglong test/c: added SHA3 cfrontend:
 support casts between long long and pointers, and comparisons between them.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2213 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 driver/Clflags.ml | 1 -
 driver/Driver.ml  | 6 ++----
 2 files changed, 2 insertions(+), 5 deletions(-)

(limited to 'driver')

diff --git a/driver/Clflags.ml b/driver/Clflags.ml
index 619be1e..ea8e884 100644
--- a/driver/Clflags.ml
+++ b/driver/Clflags.ml
@@ -15,7 +15,6 @@
 let prepro_options = ref ([]: string list)
 let linker_options = ref ([]: string list)
 let assembler_options = ref ([]: string list)
-let option_flonglong = ref true
 let option_flongdouble = ref false
 let option_fstruct_return = ref false
 let option_fbitfields = ref false
diff --git a/driver/Driver.ml b/driver/Driver.ml
index eb0e004..e029aa2 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -379,7 +379,6 @@ Preprocessing options:
   -Wp,<opt>      Pass option <opt> to the preprocessor
 Language support options (use -fno-<opt> to turn off -f<opt>) :
   -fbitfields    Emulate bit fields in structs [off]
-  -flonglong     Partial emulation of 'long long' types [on]
   -flongdouble   Treat 'long double' as 'double' [off]
   -fstruct-return  Emulate returning structs and unions by value [off]
   -fvararg-calls Emulate calls to variable-argument functions [on]
@@ -416,7 +415,7 @@ Linking options:
   -L<dir>        Add <dir> to search path for libraries
   -Wl,<opt>      Pass option <opt> to the linker
 General options:
-  -stdlib <dir>  Set the path of the Compcert run-time library [MacOS X only]
+  -stdlib <dir>  Set the path of the Compcert run-time library
   -v             Print external commands before invoking them
 Interpreter mode:
   -interp        Execute given .c files using the reference interpreter
@@ -427,7 +426,7 @@ Interpreter mode:
 "
 
 let language_support_options = [
-  option_fbitfields; option_flonglong; option_flongdouble;
+  option_fbitfields; option_flongdouble;
   option_fstruct_return; option_fvararg_calls; option_fpacked_structs;
   option_finline_asm
 ]
@@ -497,7 +496,6 @@ let cmdline_actions =
   "-fnone$", Self (fun _ ->
               List.iter (fun r -> r := false) language_support_options);
   ]
-  @ f_opt "longlong" option_flonglong
   @ f_opt "longdouble" option_flongdouble
   @ f_opt "struct-return" option_fstruct_return
   @ f_opt "bitfields" option_fbitfields
-- 
cgit v1.2.3