[nix] add JEXTRACT_INSTALL_PATH env

Signed-off-by: Avimitin <[email protected]>
chipsalliance · Sep 9, 2024 · ff6792b · ff6792b
1 parent 805d53e
commit ff6792b
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git 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
@@ -76,6 +76,7 @@ let
     ];
 
     env = {
+      JEXTRACT_INSTALL_PATH = jextract-21;
       CIRCT_INSTALL_PATH = circt-full;
       JAVA_TOOL_OPTIONS = "--enable-preview";
     };
-Original file line number
+Diff line change
@@ Expand Up / @@ -76,6 +76,7 @@ let @@
         ];
         env = {
+          JEXTRACT_INSTALL_PATH = jextract-21;
           CIRCT_INSTALL_PATH = circt-full;
           JAVA_TOOL_OPTIONS = "--enable-preview";
         };
@@ Expand Down @@