···

       
1
       
-
       
{ stdenv, python3, fetchFromGitHub, makeWrapper, makeDesktopItem }:

     

       
2
       
 
       


     

       
3
       
 
       
stdenv.mkDerivation rec {

     

       
4
       
 
       
  name = "leo-editor-${version}";

     

       
5
       
-
       
  version = "5.6";

     

       
6
       
 
       


     

       
7
       
 
       
  src = fetchFromGitHub {

     

       
8
       
 
       
    owner = "leo-editor";

     

       
9
       
 
       
    repo = "leo-editor";

     

       
10
       
 
       
    rev = version;

     

       
11
       
-
       
    sha256 = "1k6q3gvaf05bi0mzkmmb1p6wrgxwri7ivn38p6f0m0wfd3f70x2j";

     

       
12
       
 
       
  };

     

       
13
       
 
       


     

       
14
       
 
       
  dontBuild = true;

     

       
15
       
 
       


     

       
16
       
-
       
  nativeBuildInputs = [ makeWrapper python3 ];

     

       
17
       
-
       
  propagatedBuildInputs = with python3.pkgs; [ pyqt56 docutils ];

     

       
18
       
 
       


     

       
19
       
 
       
  desktopItem = makeDesktopItem rec {

     

       
20
       
 
       
    name = "leo-editor";

     
···

       
50
       
 
       
    mkdir -p $out/share/leo-editor

     

       
51
       
 
       
    mv * $out/share/leo-editor

     

       
52
       
 
       


     

       
53
       
-
       
    makeWrapper ${python3.interpreter} $out/bin/leo \

     

       
54
       
 
       
      --set PYTHONPATH "$PYTHONPATH:$out/share/leo-editor" \

     

       
55
       
 
       
      --add-flags "-O $out/share/leo-editor/launchLeo.py"

     

       
56
       
 
       
  '';

     

···

       
1
       
+
       
{ stdenv, python3Packages, fetchFromGitHub, makeWrapper, makeDesktopItem }:

     

       
2
       
 
       


     

       
3
       
 
       
stdenv.mkDerivation rec {

     

       
4
       
 
       
  name = "leo-editor-${version}";

     

       
5
       
+
       
  version = "5.5";

     

       
6
       
 
       


     

       
7
       
 
       
  src = fetchFromGitHub {

     

       
8
       
 
       
    owner = "leo-editor";

     

       
9
       
 
       
    repo = "leo-editor";

     

       
10
       
 
       
    rev = version;

     

       
11
       
+
       
    sha256 = "0crzljirzfiy9xn02ydd23clmd8bzdjxkyxdqsvdkgfy9j41b8hr";

     

       
12
       
 
       
  };

     

       
13
       
 
       


     

       
14
       
 
       
  dontBuild = true;

     

       
15
       
 
       


     

       
16
       
+
       
  nativeBuildInputs = [ makeWrapper python3Packages.python ];

     

       
17
       
+
       
  propagatedBuildInputs = with python3Packages; [ pyqt5 ];

     

       
18
       
 
       


     

       
19
       
 
       
  desktopItem = makeDesktopItem rec {

     

       
20
       
 
       
    name = "leo-editor";

     
···

       
50
       
 
       
    mkdir -p $out/share/leo-editor

     

       
51
       
 
       
    mv * $out/share/leo-editor

     

       
52
       
 
       


     

       
53
       
+
       
    makeWrapper ${python3Packages.python.interpreter} $out/bin/leo \

     

       
54
       
 
       
      --set PYTHONPATH "$PYTHONPATH:$out/share/leo-editor" \

     

       
55
       
 
       
      --add-flags "-O $out/share/leo-editor/launchLeo.py"

     

       
56
       
 
       
  '';