diff --git a/default.nix b/default.nix
new file mode 100644
index 0000000..6cb0bac
--- /dev/null
+++ b/default.nix
@@ -0,0 +1,40 @@
+with import <nixpkgs> { };
+
+stdenv.mkDerivation rec {
+  pname = "spark_fs_drivers";
+  version = "0.0.0";
+
+  src = ./.;
+
+  nativeBuildInputs = [
+    gnat
+    gprbuild
+    spark2014
+    z3
+  ];
+
+  gprFile = "default.gpr";
+
+  dontConfigure = true;
+
+  buildPhase = ''
+    runHook preBuild
+
+    gprbuild -P ${gprFile}
+    gnatprove -P ${gprFile} --prover=z3
+
+    runHook postBuild
+  '';
+
+  installPhase = ''
+    runHook preInstall
+
+    mkdir -p $out/bin
+    gprinstall --prefix=$out ${gprFile} \
+      --no-project \
+      --no-manifest \
+      --mode=usage
+    
+    runHook postInstall
+  '';
+}