From ff6792b24a35c2676bfb8ab079755af2ca340f89 Mon Sep 17 00:00:00 2001
From: Avimitin <dev@avimit.in>
Date: Mon, 9 Sep 2024 11:12:55 +0800
Subject: [PATCH] [nix] add JEXTRACT_INSTALL_PATH env

Signed-off-by: Avimitin <dev@avimit.in>
---
 nix/t1/mill-modules.nix | 5 ++++-
 nix/t1/omreader.nix     | 1 +
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/nix/t1/mill-modules.nix b/nix/t1/mill-modules.nix
index b7f95811d..a569d0366 100644
--- a/nix/t1/mill-modules.nix
+++ b/nix/t1/mill-modules.nix
@@ -73,7 +73,10 @@ let
       dependencies.setupHook
     ];
 
-    env.CIRCT_INSTALL_PATH = circt-full;
+    env = {
+      CIRCT_INSTALL_PATH = circt-full;
+      JEXTRACT_INSTALL_PATH = jextract-21;
+    };
 
     outputs = [ "out" "configgen" "elaborator" "t1package" ];
 
diff --git a/nix/t1/omreader.nix b/nix/t1/omreader.nix
index b51457f92..ba4ef3bfb 100644
--- a/nix/t1/omreader.nix
+++ b/nix/t1/omreader.nix
@@ -76,6 +76,7 @@ let
     ];
 
     env = {
+      JEXTRACT_INSTALL_PATH = jextract-21;
       CIRCT_INSTALL_PATH = circt-full;
       JAVA_TOOL_OPTIONS = "--enable-preview";
     };