nextpnr-xilinx: add.

flake.nix

@@ -38,6 +38,10 @@
       url = git+https://github.com/YosysHQ/prjtrellis?rev=e830a28077e1a789d32e75841312120ae624c8d6&submodules=1;
       flake = false;
     };
+    nextpnr-xilinx = {
+      url = git+https://github.com/gatecat/nextpnr-xilinx?submodules=1;
+      flake = false;
+    };
     symbiyosys = {
       url = github:YosysHQ/sby?rev=cf0a761a3a0ba2e38258ff72f93505c85834dd16;
       flake = false;

hdx.nix

@@ -17,6 +17,7 @@ inputs @ {
       enable = true;
       archs = ["generic" "ice40" "ecp5"];
     };
+    nextpnr-xilinx.enable = true;
     symbiyosys = {
       enable = true;
       solvers = ["yices" "z3"];
@@ -85,6 +86,7 @@ inputs @ {
     }
     // optionalAttrs (hdx-config.yosys.enable) {yosys = callPackage ./pkgs/yosys.nix {};}
     // optionalAttrs (hdx-config.nextpnr.enable) ({nextpnr = callPackage ./pkgs/nextpnr.nix {inherit nextpnrArchs;};} // nextpnrArchs)
+    // optionalAttrs (hdx-config.nextpnr-xilinx.enable) {nextpnr-xilinx = callPackage ./pkgs/nextpnr-xilinx.nix {};}
     // optionalAttrs (hdx-config.symbiyosys.enable) (
       {symbiyosys = callPackage ./pkgs/symbiyosys.nix {};}
       // optionalAttrs (elem "z3" hdx-config.symbiyosys.solvers) {z3 = callPackage ./pkgs/z3.nix {};}

pkgs/nextpnr-xilinx.nix

@@ -0,0 +1,29 @@
+{
+  pkgs,
+  lib,
+  stdenv,
+  hdx-config,
+  hdx-inputs,
+  python,
+  boost,
+}: let
+  src = hdx-inputs.nextpnr-xilinx;
+  version = "0.6dev1+g${lib.substring 0 7 src.rev}";
+in
+  stdenv.mkDerivation {
+    pname = "nextpnr-xilinx";
+    inherit version src;
+
+    nativeBuildInputs = [pkgs.cmake];
+
+    buildInputs = builtins.attrValues {
+      inherit
+        python
+        boost
+        ;
+      inherit (pkgs) eigen;
+      inherit (python.pkgs) apycula;
+    };
+
+    cmakeFlags = ["-DARCH=xilinx"];
+  }