diff options
| author | Enrico Tassi | 2019-08-28 15:52:12 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2019-08-28 15:52:12 +0200 |
| commit | 1ab00ddd8fa6ca5428c7f6ff56de0562bcb4ca1f (patch) | |
| tree | 05c9be9f496fccb6cc6433eee23a7ffed5cb3321 /kernel/dune | |
| parent | 396f814900fb6b93439477d482e40b69ef339426 (diff) | |
| parent | 0ee40cbbf7df4c25a89920c4781c0bf23728c0cd (diff) | |
Merge PR #10488: Simplify picking between uint63_63.ml and uint63_31.ml + makefile fixes
Reviewed-by: ejgallego
Reviewed-by: vbgl
Diffstat (limited to 'kernel/dune')
| -rw-r--r-- | kernel/dune | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kernel/dune b/kernel/dune index 4038bf5638..5f7502ef6b 100644 --- a/kernel/dune +++ b/kernel/dune @@ -3,7 +3,7 @@ (synopsis "The Coq Kernel") (public_name coq.kernel) (wrapped false) - (modules (:standard \ genOpcodeFiles uint63_i386_31 uint63_amd64_63 write_uint63)) + (modules (:standard \ genOpcodeFiles uint63_31 uint63_63)) (libraries lib byterun dynlink)) (executable @@ -16,7 +16,7 @@ (rule (targets uint63.ml) - (deps (:gen-file uint63_%{ocaml-config:architecture}_%{ocaml-config:int_size}.ml)) + (deps (:gen-file uint63_%{ocaml-config:int_size}.ml)) (action (copy# %{gen-file} %{targets}))) (documentation |