2017-02-04 01:38:30 +01:00
|
|
|
# Description: A tool for installing and managing Python packages.
|
2017-02-04 07:57:45 +01:00
|
|
|
# URL: https://pypi.python.org/pypi/pip/
|
2017-02-04 01:38:30 +01:00
|
|
|
# Maintainer: Danny Rawlins, crux at romster dot me
|
2018-07-01 23:02:42 +02:00
|
|
|
# Depends on: python-setuptools
|
2017-02-03 15:20:44 +01:00
|
|
|
|
2017-02-05 05:36:53 +01:00
|
|
|
name=python-pip
|
2018-10-27 16:07:49 +02:00
|
|
|
version=18.1
|
2018-08-07 17:24:13 +02:00
|
|
|
release=1
|
2018-07-01 23:02:42 +02:00
|
|
|
source=(https://files.pythonhosted.org/packages/source/${name:7:1}/${name#*-}/${name#*-}-$version.tar.gz)
|
2017-02-03 15:20:44 +01:00
|
|
|
|
|
|
|
build() {
|
2017-02-05 05:36:53 +01:00
|
|
|
cd ${name#*-}-$version
|
2017-02-03 15:21:50 +01:00
|
|
|
|
2018-07-01 23:02:42 +02:00
|
|
|
/usr/bin/python setup.py build
|
2017-03-04 11:40:02 +01:00
|
|
|
|
2018-07-01 23:02:42 +02:00
|
|
|
/usr/bin/python setup.py install \
|
|
|
|
--prefix=/usr --root=$PKG --optimize=1
|
2017-02-03 15:20:44 +01:00
|
|
|
}
|