Merge pull request #335815 from jonhoo/patch-1

faiss: unbreak pythonless build
2024-08-19 08:23:19 -07:00
parent 4a7326c98f 2aaf216245
commit 19df5da510
1 changed files with 1 additions and 2 deletions
@@ -49,8 +49,7 @@ stdenv.mkDerivation {
  outputs = [
    "out"
    "demos"
-    "dist"
-  ];
+  ] ++ lib.optionals pythonSupport [ "dist" ];

  src = fetchFromGitHub {
    owner = "facebookresearch";