2017-02-04 07:52:10 +01:00
|
|
|
# Description: A tool for installing and managing Python packages.
|
2017-02-04 07:57:26 +01:00
|
|
|
# URL: https://pypi.python.org/pypi/pip/
|
2017-02-04 07:52:10 +01:00
|
|
|
# Maintainer: Danny Rawlins, crux at romster dot me
|
2018-07-01 23:30:29 +02:00
|
|
|
# Depends on: python3-setuptools
|
2017-02-04 07:52:10 +01:00
|
|
|
|
|
|
|
name=python3-pip
|
2018-04-25 15:19:08 +02:00
|
|
|
version=10.0.1
|
2018-07-01 23:30:29 +02:00
|
|
|
release=2
|
|
|
|
source=(https://files.pythonhosted.org/packages/source/${name:8:1}/${name#*-}/${name#*-}-$version.tar.gz)
|
2017-02-04 07:52:10 +01:00
|
|
|
|
|
|
|
build() {
|
|
|
|
cd ${name#*-}-$version
|
|
|
|
|
2018-07-01 23:30:29 +02:00
|
|
|
/usr/bin/python3 setup.py build
|
2017-03-04 11:40:22 +01:00
|
|
|
|
2018-07-01 23:30:29 +02:00
|
|
|
/usr/bin/python3 setup.py install \
|
|
|
|
--prefix=/usr --root=$PKG --optimize=1
|
2017-02-04 07:52:10 +01:00
|
|
|
|
|
|
|
rm $PKG/usr/bin/pip
|
2018-04-15 12:59:09 +02:00
|
|
|
chmod -R og-w $PKG
|
2017-02-04 07:52:10 +01:00
|
|
|
}
|