4 Commits

Author	SHA1	Message	Date
Diego Elio Pettenò	34b4993d63	Add license to some obvious files.	2020-07-06 19:16:25 +01:00
Damien George	f7be5f9bfa	tools/upip: Upgrade upip to 1.2.4. ... Uses new pypi.org URL, and now creates a socket with the address parameters returned by getaddrinfo().	2018-04-23 16:11:27 +10:00
Paul Sokolovsky	f5ae384d4f	bootstrap_upip.sh: Allow to install into a path given by argument.	2015-05-29 22:35:45 +03:00
Paul Sokolovsky	76abb2e623	tools: Add script to install "upip" package manager. ... upip is a simple and light-weight package manager for MicroPython modules, offering subset of pip functionality. upip is part of micropython-lib project: https://github.com/micropython/micropython-lib/tree/master/upip This script bootstraps upip by downloading and unpacking it directly from PyPI repository, with all other packages to be installed with upip itself.	2015-05-07 16:00:40 +03:00