Skip to content

Commit

Permalink
Rename [emit.mlp] to [emit.ml] on amd64 (#3488)
Browse files Browse the repository at this point in the history
  • Loading branch information
gretay-js authored Jan 21, 2025
1 parent f3b720a commit 784dc96
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 5 deletions.
File renamed without changes.
9 changes: 4 additions & 5 deletions backend/dune
Original file line number Diff line number Diff line change
Expand Up @@ -15,13 +15,12 @@
(copy_files# "%{env:ARCH=amd64}/*.ml{,i}")

(rule
(enabled_if (= %{env:ARCH=amd64} "arm64"))
(targets emit.ml)
(mode fallback)
(deps amd64/emit.mlp
arm64/emit.mlp)
(deps arm64/emit.mlp)
(action
(progn
(with-stdout-to contains-input-name
(bash "echo %{env:ARCH=amd64}/emit.mlp"))
(copy# arm64/emit.mlp contains-input-name)
(with-stdout-to %{targets}
(bash "%{dep:../tools/cvt_emit.exe} < `cat contains-input-name`")))))
(bash "cat contains-input-name | %{dep:../tools/cvt_emit.exe} ")))))

0 comments on commit 784dc96

Please sign in to comment.