···12121313 inherit version;
1414 defaultVersion = with versions; switch coq.coq-version [
1515- { case = range "8.13" "8.15"; out = "0.6"; }
1515+ { case = range "8.13" "8.16"; out = "0.6"; }
1616 { case = range "8.11" "8.12"; out = "0.4"; }
1717 ] null;
1818
···2323 # to still support the old standalone toolchains builds.
2424 if [ -d $out/libexec/android-sdk/ndk ] && [ ! -d $out/libexec/android-sdk/ndk-bundle ]; then
2525 ln -sf $out/libexec/android-sdk/ndk/${package.revision} $out/libexec/android-sdk/ndk-bundle
2626- else
2626+ elif [ ! -d $out/libexec/android-sdk/ndk-bundle ]; then
2727 echo "The ndk-bundle layout has changed. The nix expressions have to be updated!"
2828 exit 1
2929 fi
···1010, pytestCheckHook
1111}:
12121313+let
1414+ linePatch = ''
1515+ import os
1616+ os.environ['PATH'] = os.environ['PATH'] + ':${ninja}/bin'
1717+ '';
1818+in
1319buildPythonPackage rec {
1420 pname = "deepwave";
1515- version = "0.0.11";
2121+ version = "0.0.12";
1622 format = "pyproject";
17231824 src = fetchFromGitHub {
1925 owner = "ar4";
2026 repo = pname;
2127 rev = "v${version}";
2222- sha256 = "sha256-d4EahmzHACHaeKoNZy63OKwWZdlHbUydrbr4fD43X8s=";
2828+ sha256 = "sha256-WWu0LyHlOwWMVPUy+LAszKF3VlgcqlcMlDi4oon4Dl8=";
2329 };
24302531 # unable to find ninja although it is available, most likely because it looks for its pip version
2632 postPatch = ''
2733 substituteInPlace setup.cfg --replace "ninja" ""
3434+3535+ # Adding ninja to the path forcibly
3636+ mv src/deepwave/__init__.py tmp
3737+ echo "${linePatch}" > src/deepwave/__init__.py
3838+ cat tmp >> src/deepwave/__init__.py
3939+ rm tmp
2840 '';
29413042 # The source files are compiled at runtime and cached at the
3143 # $HOME/.cache folder, so for the check phase it is needed to
3244 # have a temporary home. This is also the reason ninja is not
3345 # needed at the nativeBuildInputs, since it will only be used
3434- # at runtime. The user will have to add it to its nix-shell
3535- # along with deepwave
4646+ # at runtime.
3647 preBuild = ''
3748 export HOME=$(mktemp -d)
3849 '';
···4051 propagatedBuildInputs = [ pytorch pybind11 ];
41524253 checkInputs = [
4343- ninja
4454 which
4555 scipy
4656 pytest-xdist