Makefile fix

This commit is contained in:
Ștefan Talpalaru 2019-04-19 12:49:14 +02:00
parent a89b0d677a
commit 859968cdf2
No known key found for this signature in database
GPG Key ID: CBF7934204F1B6F9
1 changed files with 2 additions and 2 deletions

View File

@ -183,12 +183,12 @@ build-nim: | deps
#- initialises and updates the Git submodules
#- deletes the ".nimble" dir to force the execution of the "deps" target
#- deletes "nimbus.nims" which on Windows is a copy instead of a proper symlink
#- deletes and recreates "nimbus.nims" which on Windows is a copy instead of a proper symlink
#- allows parallel building with the '+' prefix
#- rebuilds the Nim compiler after the corresponding submodule is updated
$(NIM_BINARY) update:
git submodule update --init --recursive
rm -rf $(NIMBLE_DIR) nimbus.nims
rm -rf $(NIMBLE_DIR) nimbus.nims && $(MAKE) nimbus.nims
+ [[ -e $(NIM_BINARY) && $(NIM_BINARY) -nt $(NIM_DIR)/lib/system.nim ]] || { $(BUILD_NIM); }
# don't use this target, or you risk updating dependency repos that are not ready to be used in Nimbus