2019-03-30 21:58:45 +01:00
|
|
|
from pythonforandroid.recipe import PythonRecipe
|
2017-08-13 03:24:00 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
class JediRecipe(PythonRecipe):
|
|
|
|
|
version = 'v0.9.0'
|
|
|
|
|
url = 'https://github.com/davidhalter/jedi/archive/{version}.tar.gz'
|
|
|
|
|
|
|
|
|
|
patches = ['fix_MergedNamesDict_get.patch']
|
|
|
|
|
# This apparently should be fixed in jedi 0.10 (not released to
|
|
|
|
|
# pypi yet), but it still occurs on Android, I could not reproduce
|
|
|
|
|
# on desktop.
|
|
|
|
|
|
|
|
|
|
call_hostpython_via_targetpython = False
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
recipe = JediRecipe()
|
