Merge branch 'pip-micropy' of github.com:pfalcon/micropython into pfalcon-pip-micropy

tools/pip-micropython

+#!/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