Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ 2 lib, 3 stdenv, 4 SDL, 5 autoreconfHook, 6 fetchFromGitHub, 7 libGL, 8 libGLU, 9 libX11, 10 readline, 11 zlib, 12}: 13 14stdenv.mkDerivation (finalAttrs: { 15 pname = "atari800"; 16 version = "5.2.0"; 17 18 src = fetchFromGitHub { 19 owner = "atari800"; 20 repo = "atari800"; 21 rev = "ATARI800_${lib.replaceStrings [ "." ] [ "_" ] finalAttrs.version}"; 22 hash = "sha256-D66YRRTqdoV9TqDFonJ9XNpfP52AicuYgdiW27RCIuQ="; 23 }; 24 25 nativeBuildInputs = [ 26 autoreconfHook 27 ]; 28 29 buildInputs = [ 30 SDL 31 libGL 32 libGLU 33 libX11 34 readline 35 zlib 36 ]; 37 38 configureFlags = [ 39 "--target=default" 40 (lib.enableFeature true "riodevice") 41 (lib.withFeature true "opengl") 42 (lib.withFeature true "readline") 43 (lib.withFeature true "x") 44 (lib.withFeatureAs true "sound" "sdl") 45 (lib.withFeatureAs true "video" "sdl") 46 ]; 47 48 meta = { 49 homepage = "https://atari800.github.io/"; 50 description = "Atari 8-bit emulator"; 51 longDescription = '' 52 Atari800 is the emulator of Atari 8-bit computer systems and 5200 game 53 console for Unix, Linux, Amiga, MS-DOS, Atari TT/Falcon, MS-Windows, MS 54 WinCE, Sega Dreamcast, Android and other systems supported by the SDL 55 library. 56 ''; 57 license = with lib.licenses; [ gpl2Plus ]; 58 maintainers = with lib.maintainers; [ ]; 59 platforms = lib.platforms.linux; 60 }; 61})