Test env to develop FILO filesystem drivers in Ada
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
+ '';
+}