From 3755ab251dc9864b1fcfbcce8f541e3d2a1ad7e2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Geoffrey=20=E2=80=9CFrogeye=E2=80=9D=20Preud=27homme?=
 <geoffrey@frogeye.fr>
Date: Thu, 4 Jan 2024 22:11:11 +0100
Subject: [PATCH] Make fpga installable on aarch64

... when was the last time I had to do FPGA stuff though?
---
 hm/dev.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/hm/dev.nix b/hm/dev.nix
index 648d7a7..8d64a90 100644
--- a/hm/dev.nix
+++ b/hm/dev.nix
@@ -49,7 +49,9 @@
     # FPGA
   ] ++ lib.optionals config.frogeye.dev.fpga [
     verilog
-    # ghdl # TODO Not on aarch64
+
+  ] ++ lib.optionals (config.frogeye.dev.fpga && pkgs.stdenv.isx86_64) [
+    ghdl
 
     # FPGA (graphical)
   ] ++ lib.optionals (config.frogeye.desktop.xorg && config.frogeye.dev.fpga) [