Merge pull request #120755 from eduardosm/frescobaldi

frescobaldi: 3.1.1 -> 3.1.3
This commit is contained in:
Sandro 2021-04-30 14:01:23 +02:00 committed by GitHub
commit 7a217983de
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,13 +2,13 @@
buildPythonApplication rec { buildPythonApplication rec {
pname = "frescobaldi"; pname = "frescobaldi";
version = "3.1.1"; version = "3.1.3";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "wbsoft"; owner = "wbsoft";
repo = "frescobaldi"; repo = "frescobaldi";
rev = "v${version}"; rev = "v${version}";
sha256 = "07hjlq29npasn2bsb3qrzr1gikyvcc85avx0sxybfih329bvjk03"; sha256 = "1p8f4vn2dpqndw1dylmg7wms6vi69zcfj544c908s4r8rrmbycyf";
}; };
propagatedBuildInputs = with python3Packages; [ propagatedBuildInputs = with python3Packages; [
@ -19,6 +19,12 @@ buildPythonApplication rec {
nativeBuildInputs = [ pyqtwebengine.wrapQtAppsHook ]; nativeBuildInputs = [ pyqtwebengine.wrapQtAppsHook ];
# Needed because source is fetched from git
preBuild = ''
make -C i18n
make -C linux
'';
# no tests in shipped with upstream # no tests in shipped with upstream
doCheck = false; doCheck = false;