python3-jedi:ver bump

This commit is contained in:
blue-devil
2020-08-31 00:11:14 +02:00
parent 1d92a7f5ab
commit fc95cb7c2d
2 changed files with 17 additions and 7 deletions
@@ -4,10 +4,10 @@
# Licensed under the GNU General Public License, version 3.
# See the file http://www.gnu.org/licenses/gpl.txt
from pisi.actionsapi import pythonmodules
from pisi.actionsapi import shelltools
from pisi.actionsapi import pisitools
from pisi.actionsapi import get
from pisi.actionsapi import pisitools
from pisi.actionsapi import shelltools
from pisi.actionsapi import pythonmodules
WorkDir="jedi-%s" % get.srcVERSION()
@@ -17,6 +17,8 @@ def setup():
# and copy the header files to the corresponding path
for files in ["../typeshed-jedi_v0.16.0/*"]:
shelltools.copy("%s" % files,"jedi/third_party/typeshed")
for files in ["../django-stubs-1.5.0/*"]:
shelltools.copy("%s" % files,"jedi/third_party/django-stubs")
def build():
pythonmodules.compile(pyVer="3")