[gnome-builder] build: use simple build system type for jedi
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] build: use simple build system type for jedi
- Date: Mon, 23 Jul 2018 19:24:22 +0000 (UTC)
commit 4d904a8a92ee107b273f32d69cc2a6800b896b20
Author: Christian Hergert <chergert redhat com>
Date: Mon Jul 23 12:18:52 2018 -0700
build: use simple build system type for jedi
build-aux/flatpak/org.gnome.Builder.json | 12 +++++-------
1 file changed, 5 insertions(+), 7 deletions(-)
---
diff --git a/build-aux/flatpak/org.gnome.Builder.json b/build-aux/flatpak/org.gnome.Builder.json
index a81401dfb..3006ef0a7 100644
--- a/build-aux/flatpak/org.gnome.Builder.json
+++ b/build-aux/flatpak/org.gnome.Builder.json
@@ -155,17 +155,15 @@
},
{
"name" : "python3-jedi",
- "no-autogen" : true,
+ "buildsystem" : "simple",
+ "build-commands" : [
+ "pip3.5 install --prefix=/app jedi-0.12.1-py2.py3-none-any.whl"
+ ],
"sources" : [
{
- "type" : "archive",
+ "type" : "file",
"url" :
"https://files.pythonhosted.org/packages/3d/68/8bbf0ef969095a13ba0d4c77c1945bd86e9811960d052510551d29a2f23b/jedi-0.12.1-py2.py3-none-any.whl",
"sha256" : "c254b135fb39ad76e78d4d8f92765ebc9bf92cbc76f49e97ade1d5f5121e1f6f"
- },
- {
- "type" : "file",
- "path" : "setuptools-makefile",
- "dest-filename" : "Makefile"
}
]
},
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]