Skip to content

Commit 784dc96

Browse files
authored
Rename [emit.mlp] to [emit.ml] on amd64 (ocaml-flambda#3488)
1 parent f3b720a commit 784dc96

File tree

2 files changed

+4
-5
lines changed

2 files changed

+4
-5
lines changed
File renamed without changes.

backend/dune

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -15,13 +15,12 @@
1515
(copy_files# "%{env:ARCH=amd64}/*.ml{,i}")
1616

1717
(rule
18+
(enabled_if (= %{env:ARCH=amd64} "arm64"))
1819
(targets emit.ml)
1920
(mode fallback)
20-
(deps amd64/emit.mlp
21-
arm64/emit.mlp)
21+
(deps arm64/emit.mlp)
2222
(action
2323
(progn
24-
(with-stdout-to contains-input-name
25-
(bash "echo %{env:ARCH=amd64}/emit.mlp"))
24+
(copy# arm64/emit.mlp contains-input-name)
2625
(with-stdout-to %{targets}
27-
(bash "%{dep:../tools/cvt_emit.exe} < `cat contains-input-name`")))))
26+
(bash "cat contains-input-name | %{dep:../tools/cvt_emit.exe} ")))))

0 commit comments

Comments
 (0)