diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-04-12 10:34:57 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-04-12 10:34:57 +0200 |
commit | a5f8f3bf36a4caab86746322608f16c32dca624c (patch) | |
tree | 519f30f39bde5d7500721b32b7427d7a9386816e /pkgs/os-specific | |
parent | c82653299cd95d38ec101b8ed7dea3e38e815e6a (diff) | |
parent | a100859273fba3d8678ba7fd9f38e98749f466f1 (diff) |
Merge pull request #301820 from ehmry/solo5
solo5: 0.8.0 -> 0.8.1
Diffstat (limited to 'pkgs/os-specific')
-rw-r--r-- | pkgs/os-specific/solo5/default.nix | 78 |
1 files changed, 0 insertions, 78 deletions
diff --git a/pkgs/os-specific/solo5/default.nix b/pkgs/os-specific/solo5/default.nix deleted file mode 100644 index f235902a91cd6..0000000000000 --- a/pkgs/os-specific/solo5/default.nix +++ /dev/null @@ -1,78 +0,0 @@ -{ lib, stdenv, fetchurl, dosfstools, libseccomp, makeWrapper, mtools, parted -, pkg-config, qemu, syslinux, util-linux }: - -let - version = "0.8.0"; - # list of all theoretically available targets - targets = [ - "genode" - "hvt" - "muen" - "spt" - "virtio" - "xen" - ]; -in stdenv.mkDerivation { - pname = "solo5"; - inherit version; - - nativeBuildInputs = [ makeWrapper pkg-config ]; - buildInputs = lib.optional (stdenv.hostPlatform.isLinux) libseccomp; - - src = fetchurl { - url = "https://github.com/Solo5/solo5/releases/download/v${version}/solo5-v${version}.tar.gz"; - sha256 = "sha256-t80VOZ8Tr1Dq+mJfRPVLGqYprCaqegcQtDqdoHaSXW0="; - }; - - hardeningEnable = [ "pie" ]; - - configurePhase = '' - runHook preConfigure - sh configure.sh --prefix=/ - runHook postConfigure - ''; - - enableParallelBuilding = true; - - separateDebugInfo = true; - # debugging requires information for both the unikernel and the tender - - installPhase = '' - runHook preInstall - export DESTDIR=$out - export PREFIX=$out - make install - - substituteInPlace $out/bin/solo5-virtio-mkimage \ - --replace "/usr/lib/syslinux" "${syslinux}/share/syslinux" \ - --replace "/usr/share/syslinux" "${syslinux}/share/syslinux" \ - --replace "cp " "cp --no-preserve=mode " - - wrapProgram $out/bin/solo5-virtio-mkimage \ - --prefix PATH : ${lib.makeBinPath [ dosfstools mtools parted syslinux ]} - - runHook postInstall - ''; - - doCheck = stdenv.hostPlatform.isLinux; - nativeCheckInputs = [ util-linux qemu ]; - checkPhase = '' - runHook preCheck - patchShebangs tests - ./tests/bats-core/bats ./tests/tests.bats - runHook postCheck - ''; - - meta = with lib; { - description = "Sandboxed execution environment"; - homepage = "https://github.com/solo5/solo5"; - license = licenses.isc; - maintainers = [ maintainers.ehmry ]; - platforms = builtins.map ({arch, os}: "${arch}-${os}") - (cartesianProductOfSets { - arch = [ "aarch64" "x86_64" ]; - os = [ "freebsd" "genode" "linux" "openbsd" ]; - }); - }; - -} |