ambroisie/nix-config
ambroisie/nix-config
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

pkgs: remove 'havm'

Browse source 
Now that the CRI packages it.
This commit is contained in:
Bruno BELANYI 2023-04-01 16:20:05 +01:00
parent 7a5842f03a
commit 1221d5b6d6
2 changed files with 0 additions and 36 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
pkgs/default.nix
View file

@ -18,8 +18,6 @@ pkgs.lib.makeScope pkgs.newScope (pkgs: {
ff2mpv-go = pkgs.callPackage ./ff2mpv-go { };
havm = pkgs.callPackage ./havm { };
i3-get-window-criteria = pkgs.callPackage ./i3-get-window-criteria { };
lohr = pkgs.callPackage ./lohr { };

34
pkgs/havm/default.nix
View file

@ -1,34 +0,0 @@
{ lib, fetchurl, ghc, stdenv, which }:
stdenv.mkDerivation rec {
pname = "havm";
version = "0.28";
src = fetchurl {
url = "https://www.lrde.epita.fr/~tiger/download/${pname}-${version}.tar.gz";
sha256 = "sha256-FDi4FZ8rjGqRkFlROtcJsv+mks7MmIXQGV4bZrwkQrA=";
};
nativeBuildInputs = [
ghc
];
checkInputs = [
which
];
doCheck = true;
meta = with lib; {
description = "A simple virtual machine to execute Andrew Appel's HIR/LIR";
longDescription = ''
HAVM is a virtual machine designed to execute simple register based high
level intermediate code. It is based on the intermediate representations
("canonicalized" or not) defined by Andrew Appel in his "Modern Compiler
Implementation".
'';
homepage = "https://www.lrde.epita.fr/wiki/Havm";
license = licenses.gpl2Plus;
platforms = platforms.all;
maintainers = with maintainers; [ ambroisie ];
};
}