diff options
| author | Vincent Laporte | 2019-06-06 16:03:41 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-06-06 16:03:41 +0000 |
| commit | f841689a74a0456ecec63659ef5e7f568fb60ba0 (patch) | |
| tree | 59e9defb7e77fbb385499820c487a23fcfe56f48 /Makefile.build | |
| parent | c5798a8e041abf0b021c0820f7e6a5436729827e (diff) | |
| parent | 1df461d41634d1d1dc330f0aca99921d3fced1fd (diff) | |
Merge PR #9972: [build] Select uint63 using `ocamlc -config` variables.
Ack-by: SkySkimmer
Ack-by: Zimmi48
Ack-by: ejgallego
Reviewed-by: gares
Reviewed-by: maximedenes
Reviewed-by: vbgl
Diffstat (limited to 'Makefile.build')
| -rw-r--r-- | Makefile.build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build index 147668187f..c76c14f2de 100644 --- a/Makefile.build +++ b/Makefile.build @@ -365,7 +365,7 @@ $(COQPP): $(COQPPCMO) coqpp/coqpp_main.ml ########################################################################### # Specific rules for Uint63 ########################################################################### -kernel/uint63.ml: kernel/write_uint63.ml kernel/uint63_x86.ml kernel/uint63_amd64.ml +kernel/uint63.ml: kernel/write_uint63.ml kernel/uint63_i386_31.ml kernel/uint63_amd64_63.ml $(SHOW)'WRITE $@' $(HIDE)(cd kernel && ocaml unix.cma $(shell basename $<)) |