From fd1fb13016e8fcec63f775cfe34f2e2246266089 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ville=20Skytt=C3=A4?= <ville.skytta@iki.fi>
Date: Sun, 28 May 2017 14:04:42 +0300
Subject: [PATCH] Add micropython-dev

---
 plugins/python-build/bin/python-build              | 14 ++++++++++++++
 .../share/python-build/micropython-dev             |  2 ++
 2 files changed, 16 insertions(+)
 create mode 100644 plugins/python-build/share/python-build/micropython-dev

diff --git a/plugins/python-build/bin/python-build b/plugins/python-build/bin/python-build
index 6217d483..9675da72 100755
--- a/plugins/python-build/bin/python-build
+++ b/plugins/python-build/bin/python-build
@@ -938,6 +938,20 @@ build_package_ironpython_builder() {
   ( cd "Stage/Release/IronPython-"* && build_package_ironpython )
 }
 
+build_package_micropython() {
+  if [ "${MAKEOPTS+defined}" ]; then
+    MAKE_OPTS="$MAKEOPTS"
+  elif [ -z "${MAKE_OPTS+defined}" ]; then
+    MAKE_OPTS="-j $(num_cpu_cores)"
+  fi
+  { cd unix
+    "$MAKE" $MAKE_OPTS axtls
+    "$MAKE" $MAKE_OPTS
+    "$MAKE" install $MAKE_INSTALL_OPTS PREFIX="${PREFIX_PATH}"
+    ( cd "${PREFIX_PATH}/bin" && ln -fs micropython python )
+  }>&4 2>&1
+}
+
 pypy_architecture() {
   case "$(uname -s)" in
   "Darwin" ) echo "osx64" ;;
diff --git a/plugins/python-build/share/python-build/micropython-dev b/plugins/python-build/share/python-build/micropython-dev
new file mode 100644
index 00000000..6b08129e
--- /dev/null
+++ b/plugins/python-build/share/python-build/micropython-dev
@@ -0,0 +1,2 @@
+#require_gcc
+install_git micropython-dev https://github.com/micropython/micropython master micropython