From eaf85607f4fddf3965a7f737126fe4e8847eaf78 Mon Sep 17 00:00:00 2001
From: Mario Carneiro <di.gama@gmail.com>
Date: Tue, 24 Oct 2023 06:03:51 -0400
Subject: [PATCH] fix: don't pack `._` files on MacOS (#2743)

---
 src/lake/Lake/Build/Actions.lean | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/lake/Lake/Build/Actions.lean b/src/lake/Lake/Build/Actions.lean
index 713a7030a0..38dffd0d29 100644
--- a/src/lake/Lake/Build/Actions.lean
+++ b/src/lake/Lake/Build/Actions.lean
@@ -117,4 +117,6 @@ def tar (name : String) (dir : FilePath) (file : FilePath)
   proc {
     cmd := "tar"
     args := args ++ #["-f", file.toString, "-C", dir.toString, "."]
+    -- don't pack `._` files on MacOS
+    env := if Platform.isOSX then #[("COPYFILE_DISABLE", "true")] else #[]
   }