diff --git a/Makefile b/Makefile index 05b783af35c..80bc37375be 100644 --- a/Makefile +++ b/Makefile @@ -386,11 +386,13 @@ endif ############################## # Define build targets ############################## -.PHONY: all test clean docs linecount lint lintclean tools examples $(DIST_ALIASES) \ +.PHONY: all lib test clean docs linecount lint lintclean tools examples $(DIST_ALIASES) \ py mat py$(PROJECT) mat$(PROJECT) proto runtest \ superclean supercleanlist supercleanfiles warn everything -all: $(STATIC_NAME) $(DYNAMIC_NAME) tools examples +all: lib tools examples + +lib: $(STATIC_NAME) $(DYNAMIC_NAME) everything: $(EVERYTHING_TARGETS)