From 1df461d41634d1d1dc330f0aca99921d3fced1fd Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 20 Apr 2019 15:18:18 +0200
Subject: [build] Select uint63 using `ocamlc -config` variables.

This seems more robust and avoids having another implementation of
`cp`.
---
 kernel/write_uint63.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kernel/write_uint63.ml')

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 ()
-- 
cgit v1.2.3