chore: update yosys to 0.60

- updates yosys to 0.60, specifically to pull in the following:
  - YosysHQ/yosys#5492
  - YosysHQ/yosys#5497
- also update the github snapshot fetcher to support adding `.gitcommit` files much like the Yosys tree downloads for releases

Author: donn

nix/fetch_github_snapshot.nix

@@ -30,6 +30,7 @@
   repo,
   rev,
   hash,
+  add-gitcommit ? false,
 }:
 stdenvNoCC.mkDerivation {
   name = "github-${repo}-${rev}-snapshot";
@@ -45,7 +46,7 @@ stdenvNoCC.mkDerivation {
   phases = [ "installPhase" ];
   installPhase = ''
     python3 ${./supporting/download_github_snapshot.py} \
-      --out-dir $out \
+      ${lib.optionalString add-gitcommit "--add-gitcommit"} --out-dir $out \
       https://github.com/${owner}/${repo} \
       ${rev}
   '';

nix/supporting/download_github_snapshot.py

@@ -130,7 +130,13 @@ def extract_tarball(tarball_path: str, extract_to: str):
             tar.extract(member, path=extract_to, filter="tar")
 
 
-def fetch_tarball_and_submodules(repo_url, commit, base_path=None, filter="."):
+def fetch_tarball_and_submodules(
+    repo_url,
+    commit,
+    base_path=None,
+    filter=".",
+    add_gitcommit=False,
+):
     if base_path is None:
         base_path = urllib.parse.urlsplit(repo_url).path.split("/")[-1]
     key = (repo_url, commit)
@@ -155,6 +161,10 @@ def fetch_tarball_and_submodules(repo_url, commit, base_path=None, filter="."):
     tree_resp.raise_for_status()
     tree_data = tree_resp.json()
 
+    if add_gitcommit:
+        with open(os.path.join(base_path, ".gitcommit"), "w") as f:
+            f.write(tree_data["sha"])
+
     submodules = {
         item["path"]: item["sha"]
         for item in tree_data.get("tree", [])
@@ -215,6 +225,7 @@ def fetch_tarball_and_submodules(repo_url, commit, base_path=None, filter="."):
             commit=sha,
             base_path=sub_path,
             filter=filter,
+            add_gitcommit=add_gitcommit,
         )
 
     with open(
@@ -238,9 +249,15 @@ def fetch_tarball_and_submodules(repo_url, commit, base_path=None, filter="."):
     default=".",
     help="Regex to match submodule paths. Submodules that are not matched will be excluded.",
 )
+@click.option(
+    "--add-gitcommit",
+    default=False,
+    is_flag=True,
+    help="Adds a .gitcommit file containing the commit sha256 of each resolved tree",
+)
 @click.argument("repo_url")
 @click.argument("commit")
-def main(repo_url, commit, out_dir, filter):
+def main(repo_url, commit, out_dir, filter, add_gitcommit):
     """
     Downloads a snapshot of a GitHub repo, i.e. with all GitHub-based submodules
     recursively downloaded.
@@ -254,6 +271,7 @@ def main(repo_url, commit, out_dir, filter):
         commit=commit,
         base_path=out_dir,
         filter=filter,
+        add_gitcommit=add_gitcommit,
     )
 
 

nix/yosys.nix

@@ -39,9 +39,9 @@
   fetchurl,
   fetchGitHubSnapshot,
   bash,
-  version ? "0.59.1",
+  version ? "0.60",
   rev ? null,
-  sha256 ? "sha256-XUQu07i6kBR745OZU/UQTwGbRt/uZHKpBNRrcUP87Bo=",
+  sha256 ? "sha256-JKxNdc3AXE1IaodM5eg0t3PkkGsnIwFpIbN9Gj56G/k=",
   darwin, # To fix codesigning issue for pyosys
   # For environments
   yosys,
@@ -78,6 +78,7 @@ let
           repo = "yosys";
           inherit rev;
           hash = sha256;
+          add-gitcommit = true;
         }
       else
         fetchurl {
@@ -152,14 +153,14 @@ let
     unpackPhase = ''
       runHook preUnpack
       if [ -d ${finalAttrs.src} ]; then
-        cp -r ${finalAttrs.src}/* .
+        cp -r ${finalAttrs.src}/* ${finalAttrs.src}/.* .
         chmod u+w -R .
       else
         tar -xzC . -f ${finalAttrs.src}
       fi
       runHook postUnpack
     '';
-    
+
     configurePhase = ''
       runHook preConfigure
       CC=clang CXX=clang++ make config-clang