nixで古いverilatorを使いたい

はじめに

verilator-5.018だとなんかバグるので、5.016に戻したいんだけどもうnixpkgs-unstableに存在しないので、5.010に戻すことにした.

% nix-channel --add https://nixos.org/channels/nixpkgs-unstable unstable
% nix-channel --add https://nixos.org/channels/nixpkgs-23.05-darwin nixpkgs
% nix-channel --list 
nixpkgs https://nixos.org/channels/nixpkgs-23.05-darwin
unstable https://nixos.org/channels/nixpkgs-unstable
% nix-env -iA nixpkgs.verilator nixpkgs.systemc

ひどい技

% cd ~/.nix-defexpr/channels/nixpkgs/pkgs/applications/science/electronics/verilator/
% chmod 755 .
% curl https://raw.githubusercontent.com/NixOS/nixpkgs/69919a28af1c181dc84523b100a8ed45d4071304/pkgs/applications/science/electronics/verilator/default.nix > default.nix
% chmod 555 .