fix(dotherside): partially successful build
Andrea has encountered a case where the `CMakeCache.txt` file was created, but the `Makefile` was not, how exactly is not clear. With this change the `cmake` command will run again if the `Makefile` does not exist in the `vendor/DOtherSide/build` folder. Signed-off-by: Jakub Sokołowski <jakub@status.im>
This commit is contained in:
parent
1410b03dd3
commit
3f461c692b
5
Makefile
5
Makefile
|
@ -388,10 +388,11 @@ endif
|
|||
DOTHERSIDE_SOURCE_PATH := vendor/DOtherSide
|
||||
DOTHERSIDE_BUILD_PATH := vendor/DOtherSide/build
|
||||
DOTHERSIDE_CMAKE_CACHE := $(DOTHERSIDE_BUILD_PATH)/CMakeCache.txt
|
||||
DOTHERSIDE_MAKEFILE := $(DOTHERSIDE_BUILD_PATH)/Makefile
|
||||
DOTHERSIDE_LIBDIR := $(shell pwd)/$(shell dirname "$(DOTHERSIDE_LIBFILE)")
|
||||
export DOTHERSIDE_LIBDIR
|
||||
|
||||
$(DOTHERSIDE_CMAKE_CACHE): | deps
|
||||
$(DOTHERSIDE_CMAKE_CACHE) $(DOTHERSIDE_MAKEFILE): | deps
|
||||
echo -e "\033[92mConfiguring:\033[39m DOtherSide"
|
||||
cmake \
|
||||
-DCMAKE_BUILD_TYPE=$(COMMON_CMAKE_BUILD_TYPE) \
|
||||
|
@ -404,7 +405,7 @@ $(DOTHERSIDE_CMAKE_CACHE): | deps
|
|||
-Wno-dev \
|
||||
$(HANDLE_OUTPUT)
|
||||
|
||||
dotherside-configure: | $(DOTHERSIDE_CMAKE_CACHE)
|
||||
dotherside-configure: | $(DOTHERSIDE_CMAKE_CACHE) $(DOTHERSIDE_MAKEFILE)
|
||||
|
||||
dotherside-build: | dotherside-configure
|
||||
echo -e "\033[92mBuilding:\033[39m DOtherSide"
|
||||
|
|
Loading…
Reference in New Issue