diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-08-30 00:59:17 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-08-30 00:59:17 +0300 |
| commit | 1f61fe07a2bca5374fdb402a41785a81b193f5ed (patch) | |
| tree | 1a62f578383c72afbd4709d1a0d962632c4eda14 | |
| parent | bae62d9abe3db0f60f681f79b684ec7e5fb25fda (diff) | |
py/mkrules.mk: Allow to override name of libmicropython.a
Or alternatively, refer to an exact library file, not just phony target
"lib".
| -rw-r--r-- | py/mkrules.mk | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/py/mkrules.mk b/py/mkrules.mk index 3cf0e3058..a3a408dc8 100644 --- a/py/mkrules.mk +++ b/py/mkrules.mk @@ -123,8 +123,9 @@ clean-prog: .PHONY: clean-prog endif -lib: $(OBJ) - $(AR) rcs libmicropython.a $^ +LIBMICROPYTHON = libmicropython.a +lib $(LIBMICROPYTHON): $(OBJ) + $(AR) rcs $(LIBMICROPYTHON) $^ clean: $(RM) -rf $(BUILD) $(CLEAN_EXTRA) |