From b02ae64e91d932ba7769dfb8e389a021c6290b2c Mon Sep 17 00:00:00 2001
From: "Kye W. Shi" <kwshi@hmc.edu>
Date: Tue, 15 Oct 2019 10:45:45 -0700
Subject: [PATCH] add shell.nix for building/running on NixOS

---
 shell.nix | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 shell.nix

diff --git a/shell.nix b/shell.nix
new file mode 100644
index 0000000000..458964dc7f
--- /dev/null
+++ b/shell.nix
@@ -0,0 +1,20 @@
+{ pkgs ? import <nixpkgs> {} }:
+(pkgs.buildFHSUserEnv {
+  name = "factor";
+  targetPkgs = pkgs: (with pkgs; [
+    # for running factor
+    gtk2-x11
+    glib
+    gdk_pixbuf
+    gnome2.pango
+    cairo
+    gnome2.gtkglext
+
+    # for building factor
+    clang
+    git
+    curl
+    binutils
+  ]);
+  runScript = "bash";
+}).env