From 7add7793cd08442484a536b1005b8b170b49cdbd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ville=20Skytt=C3=A4?= <ville.skytta@iki.fi>
Date: Mon, 29 May 2017 12:06:04 +0300
Subject: [PATCH] micropython-dev: Set better sys.path

---
 plugins/python-build/bin/python-build | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/plugins/python-build/bin/python-build b/plugins/python-build/bin/python-build
index 9675da72..ae34bb64 100755
--- a/plugins/python-build/bin/python-build
+++ b/plugins/python-build/bin/python-build
@@ -946,9 +946,10 @@ build_package_micropython() {
   fi
   { cd unix
     "$MAKE" $MAKE_OPTS axtls
-    "$MAKE" $MAKE_OPTS
+    "$MAKE" $MAKE_OPTS CFLAGS_EXTRA="-DMICROPY_PY_SYS_PATH_DEFAULT='\"${PREFIX_PATH}/lib/micropython\"'"
     "$MAKE" install $MAKE_INSTALL_OPTS PREFIX="${PREFIX_PATH}"
-    ( cd "${PREFIX_PATH}/bin" && ln -fs micropython python )
+    ln -fs micropython "${PREFIX_PATH}/bin/python"
+    mkdir -p "${PREFIX_PATH}/lib/micropython"
   }>&4 2>&1
 }