Add MicroPython Standard Library Packages (#125)

Author: AJMansfield

micropython/build.sh

@@ -4,9 +4,10 @@ set -ex
 source common.sh
 
 VERSION=$1
+VARIANT=standard
 
 URL=https://github.com/micropython/micropython.git
-REPO=micropython
+REPO=/tmp/micropython
 
 LAST_REVISION="${3:-}"
 
@@ -18,6 +19,7 @@ fi;
 
 FULLNAME="${REVISION}.tar.xz"
 OUTPUT="$2/${FULLNAME}"
+SCRIPT_DIR="$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"
 
 DEST="/opt/compiler-explorer/${REVISION}"
 
@@ -29,16 +31,35 @@ else
     git clone --depth 1 "${URL}" -b "v${VERSION}" "${REPO}"
 fi;
 
+make -C "${REPO}/ports/unix" submodules
+make -C "${REPO}/ports/unix" deplibs
+
+for patch in "${SCRIPT_DIR}"/patches/*.patch; do
+    patch --unified --strip=1 --dir="${REPO}" --input="${patch}" || true
+done
+
 (
     cd "${REPO}"
     set +u
     source tools/ci.sh
-    ci_unix_standard_build
+
+    make ${MAKEOPTS} -C mpy-cross
+    make ${MAKEOPTS} -C ports/unix VARIANT=${VARIANT}
+
+    ci_unix_build_ffi_lib_helper gcc
+)
+
+(
+    cd "${REPO}/lib/micropython-lib/"
+    set +u
+    source tools/ci.sh
+
+    PACKAGE_INDEX_PATH="${DEST}/mip" ci_build_packages_compile_index
 )
 
 mkdir -p "${DEST}" "${DEST}/bin" "${DEST}/tools" "${DEST}/py" "${DEST}/lib"
 cp "${REPO}/mpy-cross/build/mpy-cross" "${DEST}/bin/mpy-cross"
-cp "${REPO}/ports/unix/build-standard/micropython" "${DEST}/bin/micropython"
+cp "${REPO}/ports/unix/build-${VARIANT}/micropython" "${DEST}/bin/micropython"
 cp "${REPO}/tools/mpy-tool.py" "${DEST}/tools/mpy-tool.py"
 cp "${REPO}/py/makeqstrdata.py" "${DEST}/py/makeqstrdata.py"
 

micropython/patches/mip-offline.patch

@@ -0,0 +1,23 @@
+--- a/lib/micropython-lib/micropython/mip/mip/__init__.py
++++ b/lib/micropython-lib/micropython/mip/mip/__init__.py
+@@ -6 +6,19 @@
+-import requests
++class _offline:
++    @classmethod
++    def get(cls, url):
++        return cls(url)
++    def __init__(self, url):
++        import sys
++        path = url.replace(_PACKAGE_INDEX, sys.executable.replace("bin/micropython", "mip"))
++        try:
++            self.raw = open(path, "rb")
++            self.status_code = 200
++        except OSError:
++            self.raw = None
++            self.status_code = 404
++    def json(self):
++        import json
++        return json.load(self.raw)
++    def close(self):
++        return self.raw and self.raw.close()
++requests = _offline