diff --git a/default.nix b/default.nix index e610266..8def385 100644 --- a/default.nix +++ b/default.nix @@ -2,9 +2,15 @@ pkgs.callPackage ./derivation.nix { extraCmakeFlags = [ - "-DGINKGO_CUDA=OFF" + "-DGINKGO_BUILD_SHARED_LIBS=OFF" + "-DGINKGO_BUILD_TESTING=OFF" + "-DGINKGO_BUILD_TESTS=OFF" + "-DGINKGO_BUILD_MPI=OFF" + "-DGINKGO_BUILD_REFERENCE=ON" + "-DGINKGO_BUILD_CUDA=OFF" "-DGINKGO_BUILD_BENCHMARKS=OFF" "-DGINKGO_BUILD_EXAMPLES=OFF" "-DGINKGO_BUILD_HWLOC=OFF" + "-DGINKGO_BUILD_DOC=OFF" ]; } diff --git a/docs.nix b/docs.nix new file mode 100644 index 0000000..78f13d3 --- /dev/null +++ b/docs.nix @@ -0,0 +1,16 @@ +{ pkgs ? import {} }: + +pkgs.callPackage ./derivation.nix { + extraCmakeFlags = [ + "-DGINKGO_BUILD_SHARED_LIBS=OFF" + "-DGINKGO_BUILD_TESTING=OFF" + "-DGINKGO_BUILD_TESTS=OFF" + "-DGINKGO_BUILD_MPI=OFF" + "-DGINKGO_BUILD_REFERENCE=OFF" + "-DGINKGO_BUILD_CUDA=OFF" + "-DGINKGO_BUILD_BENCHMARKS=OFF" + "-DGINKGO_BUILD_EXAMPLES=OFF" + "-DGINKGO_BUILD_HWLOC=OFF" + "-DGINKGO_BUILD_DOC=ON" + ]; +}