diff --git a/derivations/decker/default.nix b/derivations/decker/default.nix index 65a31e39..7ba6bb6c 100644 --- a/derivations/decker/default.nix +++ b/derivations/decker/default.nix @@ -2,52 +2,63 @@ lib, stdenv, fetchurl, + fetchFromGitHub, autoPatchelfHook, zlib, bzip2, ncurses, gmp -}: -stdenv.mkDerivation rec { - pname = "decker"; - version = "0.13.4"; - - src = fetchurl { - url = "https://github.com/decker-edu/decker/releases/download/v0.13.4/${pname}-v${version}-Linux-X64"; - sha256 = "sha256-LZ0j2X0zCP9XsWglc488nL25w3VmWh/TYxK1x6K6yOI="; +}: let + resources = fetchFromGitHub { + owner = "decker-edu"; + repo = "decker"; + rev = "f3a2c918514d59ca611490901926bd078823b93d"; + sha256 = "sha256-0gTg9TJ06YCF0lJx9+nVa50+GhmPsvgKIeM8DQr7G9I="; }; +in + stdenv.mkDerivation rec { + pname = "decker"; + version = "0.13.4"; - nativeBuildInputs = [ - autoPatchelfHook - ]; + src = fetchurl { + url = "https://github.com/decker-edu/decker/releases/download/v0.13.4/${pname}-v${version}-Linux-X64"; + sha256 = "sha256-LZ0j2X0zCP9XsWglc488nL25w3VmWh/TYxK1x6K6yOI="; + }; - unpackCmd = '' - mkdir -p root - cp $curSrc root/decker - ''; + nativeBuildInputs = [ + autoPatchelfHook + ]; - dontBuild = true; + unpackCmd = '' + mkdir -p root + cp $curSrc root/decker + ''; - buildInputs = [ - stdenv.cc.cc.lib - zlib - bzip2 - ncurses - gmp - ]; + dontBuild = true; - installPhase = '' - runHook preInstall - mkdir -p $out/bin - cp decker $out/bin/decker - chmod +x $out/bin/decker - runHook postInstall - ''; + buildInputs = [ + stdenv.cc.cc.lib + zlib + bzip2 + ncurses + gmp + ]; - meta = with lib; { - description = "A tool to create interactive web-based presentations."; - homepage = "https://decker.cs.tu-dortmund.de"; - license = licenses.gpl3Only; - platforms = ["x86_64-linux"]; - }; -} + installPhase = '' + runHook preInstall + + mkdir -p $out/bin + cp decker $out/bin/decker + cp -r ${resources}/resource $out/bin/resource + chmod +x $out/bin/decker + + runHook postInstall + ''; + + meta = with lib; { + description = "A tool to create interactive web-based presentations."; + homepage = "https://github.com/decker-edu/decker"; + license = licenses.gpl3Only; + platforms = ["x86_64-linux"]; + }; + } diff --git a/home/christoph/default.nix b/home/christoph/default.nix index a69bddd6..d0dd24ef 100644 --- a/home/christoph/default.nix +++ b/home/christoph/default.nix @@ -328,6 +328,7 @@ rec { d2 # generate diagrams from code plantuml gnuplot # generate function plots + pdf2svg # TODO: Latex module with individual packages texlive.combined.scheme-full # tikzit