Add 'infra/website/' from commit '275bec94f9f9e221bfddeb06ca7d5b87068eb7a0'

git-subtree-dir: infra/website
git-subtree-mainline: c4625b175f8200f643fd6e11010932ea44c78433
git-subtree-split: 275bec94f9f9e221bfddeb06ca7d5b87068eb7a0

1 files changed, 26 insertions, 0 deletions

diff --git a/infra/website/default.nix b/infra/website/default.nix
new file mode 100644
index 000000000000..dd9bb7c1daa6
--- /dev/null
+++ b/infra/website/default.nix
@@ -0,0 +1,26 @@
+with import <nixpkgs> {};
+
+stdenv.mkDerivation {
+  name = "website";
+  src = ./.;
+
+  buildInputs = with pkgs; [
+    python3
+  ] ++ (with pkgs.python3Packages; [
+    pelican
+    markdown
+    webassets
+  ]);
+
+  buildPhase = ''
+    runHook preBuild
+    make html
+    runHook postBuild
+  '';
+
+  installPhase = ''
+    runHook preInstall
+    mv output $out
+    runHook postInstall
+  '';
+}