From f131d4c2800632af9f705c05a75ab6b0e04c016a Mon Sep 17 00:00:00 2001 From: kailiu Date: Fri, 24 Jan 2014 11:56:01 -0800 Subject: [PATCH] Add a make target for shared library Summary: Previous we made `make release` also compile shared library. However it takes a long time to complete. To make our development process more efficient. I added a new make target shared_lib. User can of course run `make ` for direct compilation. However the changed under certain condition. Thus we need `make shared_lib` to get rid of the memorization from users' side. Test Plan: make shared_lib Reviewers: igor, sdong, haobo, dhruba Reviewed By: igor CC: leveldb Differential Revision: https://reviews.facebook.net/D15309 --- Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 572e42e9e..4beb74938 100644 --- a/Makefile +++ b/Makefile @@ -135,13 +135,12 @@ endif # PLATFORM_SHARED_EXT all: $(LIBRARY) $(PROGRAMS) .PHONY: blackbox_crash_test check clean coverage crash_test ldb_tests \ - release tags valgrind_check whitebox_crash_test format + release tags valgrind_check whitebox_crash_test format shared_lib # Will also generate shared libraries. release: $(MAKE) clean OPT=-DNDEBUG $(MAKE) all -j32 - OPT=-DNDEBUG $(MAKE) $(SHARED) -j32 coverage: $(MAKE) clean @@ -201,6 +200,8 @@ tags: format: build_tools/format-diff.sh +shared_lib: $(SHARED) + # --------------------------------------------------------------------------- # Unit tests and tools # ---------------------------------------------------------------------------