diff options
| author | Emilio Jesus Gallego Arias | 2019-04-20 15:18:18 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-05-21 20:25:20 +0200 |
| commit | 1df461d41634d1d1dc330f0aca99921d3fced1fd (patch) | |
| tree | ab3283af9033ea1e8ab24b34bef1ade3ee77f948 /kernel/write_uint63.ml | |
| parent | e9a5fe993ba36e22316ac9f6ef0564f38a3eb4f9 (diff) | |
[build] Select uint63 using `ocamlc -config` variables.
This seems more robust and avoids having another implementation of
`cp`.
Diffstat (limited to 'kernel/write_uint63.ml')
| -rw-r--r-- | kernel/write_uint63.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kernel/write_uint63.ml b/kernel/write_uint63.ml index beb59ce205..42bb5dfbb1 100644 --- a/kernel/write_uint63.ml +++ b/kernel/write_uint63.ml @@ -31,8 +31,8 @@ let ml_file_copy input output = let write_uint63 () = ml_file_copy - (if max_int = 1073741823 (* 32-bits *) then "uint63_x86.ml" - else (* 64 bits *) "uint63_amd64.ml") + (if max_int = 1073741823 (* 32-bits *) then "uint63_i386_31.ml" + else (* 64 bits *) "uint63_amd64_63.ml") "uint63.ml" let () = write_uint63 () |