tools: Add pip-micropython to install packages in MicroPython-friendly way.

pull/414/head
Paul Sokolovsky 2014-04-02 02:00:30 +03:00
rodzic 4881566874
commit 802d505756
1 zmienionych plików z 61 dodań i 0 usunięć

Wyświetl plik

@ -0,0 +1,61 @@
#!/bin/sh
#
# This tool can be used to install a new package into MicroPython
# library location (for unix port, default behavior), or produce
# complete library snapshot to be deployed on a device for baremetal
# ports (if PIP_MICROPY_DEST environment var is set).
#
if [ -n "$PIP_MICROPY_DEST" ]; then
dest="$PIP_MICROPY_DEST"
echo "Destination snapshot directory: $dest"
elif [ -n "$MICROPYPATH" ]; then
libdest=$(echo "$MICROPYPATH" | awk -F: ' {print $1}')
echo "Destination library directory: $libdest"
else
echo "Warning: MICROPYPATH is not set, assuming default value"
libdest=~/.micropython/lib
echo "Destination library directory: $libdest"
fi
# Due to bugs in pip, installation should happen with active virtualenv
# The issue (at least with pip 1.0 which is still what's shipped with many
# distros) is that even if --ignore-installed is used, package is not
# installed if it's already installed for main python distribution.
if [ ! -d /tmp/pip-micropy-venv ]; then
virtualenv --no-site-packages /tmp/pip-micropy-venv
fi
. /tmp/pip-micropy-venv/bin/activate
# We need to specify --record to override this switch as passed by pip
# pip will try to parse this file (at the location in specifies), and try to
# access files as specified in it. But paths there will be relative to --root
# we pass, so it won't find files and crash. However, if it won't find the
# file, it will just issue a warning and continue.
if [ -n "$dest" ]; then
pip install "$@" \
--install-option="--install-base=." \
--install-option="--install-purelib=lib" \
--install-option="--install-platlib=lib" \
--install-option="--install-scripts=." \
--install-option="--install-headers=headers" \
--install-option="--install-data=lib" \
--install-option="--record=/tmp/setuptools-record.txt" \
--install-option="--no-compile" \
--install-option="--root=$dest"
else
# Here we assume that base dir is lib dir, and install scripts a level
# higher. For default value of ~/micropython/lib/ , this should give
# reasonable behavior, though better would make it overridable (or
# go bold and use ~/bin ?)
pip install "$@" \
--install-option="--install-base=." \
--install-option="--install-purelib=." \
--install-option="--install-platlib=." \
--install-option="--install-scripts=.." \
--install-option="--install-headers=../headers" \
--install-option="--install-data=." \
--install-option="--record=/tmp/setuptools-record.txt" \
--install-option="--no-compile" \
--install-option="--root=$libdest"
fi