diff --git a/tools/pip-micropython b/tools/pip-micropython index 0db699f0c0..ad55d7ef4b 100755 --- a/tools/pip-micropython +++ b/tools/pip-micropython @@ -5,19 +5,34 @@ # complete library snapshot to be deployed on a device for baremetal # ports (if PIP_MICROPY_DEST environment var is set). # +# Currently supported usage: +# +# pip-micropython install [-t/--target ] +# parse command if [ "$1" != "install" ]; then echo "Only install command is supported currently" exit 1 fi shift +# parse options +targetdest='' +if [ "$1" == "-t" -o "$1" == "--target" ]; then + targetdest="$2" + shift + shift +fi + if [ -z "$TMPDIR" ]; then TMPDIR=/tmp fi TMPVENV="$TMPDIR/pip-micropy-venv" -if [ -n "$PIP_MICROPY_DEST" ]; then +if [ -n "$targetdest" ]; then + dest="$targetdest" + echo "Destination snapshot directory: $dest" +elif [ -n "$PIP_MICROPY_DEST" ]; then dest="$PIP_MICROPY_DEST" echo "Destination snapshot directory: $dest" elif [ -n "$MICROPYPATH" ]; then diff --git a/unix/Makefile b/unix/Makefile index e5e8ff64aa..ed79121c6f 100644 --- a/unix/Makefile +++ b/unix/Makefile @@ -106,10 +106,14 @@ test: $(PROG) ../tests/run-tests TARGET = micropython PREFIX = $(DESTDIR)/usr/local BINDIR = $(PREFIX)/bin +PIPSRC = ../tools/pip-micropython +PIPTARGET = pip-micropython install: micropython install -D $(TARGET) $(BINDIR)/$(TARGET) + install -D $(PIPSRC) $(BINDIR)/$(PIPTARGET) # uninstall micropython uninstall: -rm $(BINDIR)/$(TARGET) + -rm $(BINDIR)/$(PIPTARGET)