Add nix flakes support for development

Signed-off-by: Gavin Zhao <gavinz@brown.edu>
githwxi · Jan 12, 2025 · a3642e4 · a3642e4
1 parent 797605d
commit a3642e4
Show file tree

Hide file tree

Showing 6 changed files with 98 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -12,4 +12,6 @@ srcgen/xint/BUILD/*
 srcgen/xint/xinterp
 srcgen/xint/BUILD/*
 
+result
+
 ###### end of [.gitignore] ######
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -0,0 +1,31 @@
+{
+  description = "ATS-Xanadu";
+
+  inputs = {
+    nixpkgs.url = "github:NixOS/nixpkgs/nixpkgs-unstable";
+    flake-utils.url = "github:numtide/flake-utils";
+  };
+
+  outputs = { nixpkgs, flake-utils, self }:
+    flake-utils.lib.eachDefaultSystem (system:
+      let 
+        pkgs = nixpkgs.legacyPackages.${system}; 
+      in
+      {
+        devShells = {
+          default = with pkgs; mkShell {
+            buildInputs = [
+              ats2
+              boehmgc
+              bun
+              nodejs
+            ];
+
+            shellHook = ''
+              export XATSHOME=$PWD
+            '';
+          };
+        };
+      }
+    );
+}
diff --git a/srcgen1/Makefile_patsopt b/srcgen1/Makefile_patsopt
@@ -24,8 +24,10 @@ PATSOPT=$(PATSHOME)/bin/patsopt
 #
 NIXATS2=nix-shell -p ats2 --run
 #
+ifndef IN_NIX_SHELL
 PATSOPT=\
 nix --extra-experimental-features nix-command --extra-experimental-features flakes run github:githwxi/ATS-Postiats\#patsopt --
+endif
 ######
 #
 CFLAGS=

diff --git a/srcgen1/xats2js/srcgen1/Makefile_patsopt b/srcgen1/xats2js/srcgen1/Makefile_patsopt
@@ -23,8 +23,10 @@ PATSOPT=$(PATSHOME)/bin/patsopt
 #
 NIXATS2=nix-shell -p ats2 --run
 #
+ifndef IN_NIX_SHELL
 PATSOPT=\
 nix --extra-experimental-features nix-command --extra-experimental-features flakes run github:githwxi/ATS-Postiats\#patsopt --
+endif
 #
 ######
 #

diff --git a/srcgen1/xats2js/srcgen1/bin/xats2js b/srcgen1/xats2js/srcgen1/bin/xats2js