diff --git a/py/mkenv.mk b/py/mkenv.mk
index 5540a070f2..b7f8c2aff4 100644
--- a/py/mkenv.mk
+++ b/py/mkenv.mk
@@ -51,6 +51,7 @@ LD = $(CROSS_COMPILE)ld
 OBJCOPY = $(CROSS_COMPILE)objcopy
 SIZE = $(CROSS_COMPILE)size
 STRIP = $(CROSS_COMPILE)strip
+AR = $(CROSS_COMPILE)ar
 ifeq ($(MICROPY_FORCE_32BIT),1)
 CC += -m32
 CXX += -m32
diff --git a/py/mkrules.mk b/py/mkrules.mk
index fe70a0ee37..18bfd98471 100644
--- a/py/mkrules.mk
+++ b/py/mkrules.mk
@@ -87,6 +87,9 @@ ifndef DEBUG
 endif
 	$(Q)$(SIZE) $(PROG)
 
+lib: $(OBJ)
+	$(AR) rcs libmicropython.a $(OBJ)
+
 clean: clean-prog
 clean-prog:
 	$(RM) -f $(PROG)