Merge pull request #221219 from wegank/qubes-core-vchan-xen-rename

qubes-core-vchan-xen: xen_4_10 -> xen
This commit is contained in:
Weijia Wang 2023-03-14 23:15:59 +02:00 committed by GitHub
commit 20213a3d92
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,6 +1,6 @@
{ lib, stdenv { lib, stdenv
, fetchFromGitHub , fetchFromGitHub
, xen_4_10 , xen
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
@ -14,7 +14,7 @@ stdenv.mkDerivation rec {
sha256 = "sha256:02l1vs5c2jfw22gxvl2fb66m0d99n8ya1i7rphsb5cxsljvxary0"; sha256 = "sha256:02l1vs5c2jfw22gxvl2fb66m0d99n8ya1i7rphsb5cxsljvxary0";
}; };
buildInputs = [ xen_4_10 ]; buildInputs = [ xen ];
buildPhase = '' buildPhase = ''
make all PREFIX=/ LIBDIR="$out/lib" INCLUDEDIR="$out/include" make all PREFIX=/ LIBDIR="$out/lib" INCLUDEDIR="$out/include"