nixpkgs/pkgs/applications/editors/gnome-builder/default.nix

89 lines
2.0 KiB
Nix
Raw Normal View History

2018-07-29 06:48:43 +03:00
{ stdenv, fetchurl, gnome3, gobjectIntrospection, meson, ninja, pkgconfig
, appstream-glib, desktop-file-utils, python3, python3Packages, wrapGAppsHook
, flatpak, gspell, gtk3, gtksourceview3, json-glib, jsonrpc-glib, libdazzle
, libxml2, ostree, pcre , sysprof, template-glib, vala, webkitgtk
2018-07-29 06:48:43 +03:00
}:
let
version = "3.28.4";
pname = "gnome-builder";
in stdenv.mkDerivation {
name = "${pname}-${version}";
src = fetchurl {
url = "mirror://gnome/sources/${pname}/${gnome3.versionBranch version}/${pname}-${version}.tar.xz";
sha256 = "0ibb74jlyrl5f6rj1b74196zfg2qaf870lxgi76qzpkgwq0iya05";
};
nativeBuildInputs = [
2018-07-29 06:48:43 +03:00
python3Packages.wrapPython
wrapGAppsHook
gobjectIntrospection
meson
ninja
pkgconfig
appstream-glib
desktop-file-utils
];
2018-07-29 06:48:43 +03:00
buildInputs = [
flatpak
2018-07-29 06:48:43 +03:00
gnome3.devhelp
gnome3.libgit2-glib
gnome3.libpeas
gnome3.vte
gspell
gtk3
gtksourceview3
json-glib
jsonrpc-glib
libdazzle
libxml2
ostree
2018-07-29 06:48:43 +03:00
pcre
python3
2018-07-29 06:48:43 +03:00
sysprof
template-glib
vala
webkitgtk
];
prePatch = ''
patchShebangs build-aux/meson/post_install.py
2018-07-29 06:48:43 +03:00
'';
patches = [
./python-libprefix.patch
./flatpak-deps.patch
2018-07-29 06:48:43 +03:00
];
mesonFlags = [
"-Dpython_libprefix=${python3.libPrefix}"
"-Dwith_clang=false"
];
pythonPath = with python3Packages; requiredPythonModules [ pygobject3 ];
preFixup = ''
buildPythonPath "$out $pythonPath"
gappsWrapperArgs+=(
--prefix PYTHONPATH : "$program_PYTHONPATH"
)
# Ensure that all plugins get their interpreter paths fixed up.
find $out/lib -name \*.py -type f -print0 | while read -d "" f; do
chmod a+x "$f"
done
'';
passthru.updateScript = gnome3.updateScript { packageName = pname; };
meta = with stdenv.lib; {
description = "An IDE for writing GNOME-based software";
homepage = https://wiki.gnome.org/Apps/Builder;
license = licenses.gpl3Plus;
maintainers = gnome3.maintainers;
2018-07-29 06:48:43 +03:00
platforms = platforms.linux;
};
}