Merge pull request #814 from LPCIC/fix-warn

silence warnings about large numbers

Author: gares

etc/shafile.ml

@@ -2,6 +2,7 @@ let mk_ident =
   String.map (function '.' | '/' | '-' -> '_' | c -> c)
 
 let () =
+  Printf.printf "Local Set Warnings \"-abstract-large-number\".\n";
   Sys.argv |> Array.iter (fun file ->
     Printf.printf "Definition %s := 0x%s.\n"
       (mk_ident file) @@ Digest.to_hex @@ Digest.file file)