diff options
Diffstat (limited to 'nixpkgs/pkgs/development/compilers/dev86/default.nix')
| -rw-r--r-- | nixpkgs/pkgs/development/compilers/dev86/default.nix | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/compilers/dev86/default.nix b/nixpkgs/pkgs/development/compilers/dev86/default.nix new file mode 100644 index 000000000000..514075651e15 --- /dev/null +++ b/nixpkgs/pkgs/development/compilers/dev86/default.nix @@ -0,0 +1,21 @@ +{ stdenv, fetchurl }: + +stdenv.mkDerivation rec { + name = "dev86-${version}"; + version = "0.16.21"; + + src = fetchurl { + url = "http://v3.sk/~lkundrak/dev86/Dev86src-${version}.tar.gz"; + sha256 = "154dyr2ph4n0kwi8yx0n78j128kw29rk9r9f7s2gddzrdl712jr3"; + }; + + hardeningDisable = [ "format" ]; + + makeFlags = "PREFIX=$(out)"; + + meta = { + description = "Linux 8086 development environment"; + homepage = http://v3.sk/~lkundrak/dev86/; + platforms = stdenv.lib.platforms.linux; + }; +} |