0545e9dc6d
commit d1edce71135cc6d98c0a4b5729774542b676e769 Author: sophgo-forum-service <forum_service@sophgo.com> Date: Fri Mar 15 16:07:33 2024 +0800 [fix] recommend using ssh method to clone repo. [fix] fix sensor driver repo branch name.
25 lines
611 B
Makefile
25 lines
611 B
Makefile
BRANCH=freertos
|
|
|
|
PATCHED=patched
|
|
|
|
default:
|
|
git format-patch $(BRANCH)..$(BRANCH)-cbmc-patches
|
|
|
|
patch:
|
|
if [ ! -f $(PATCHED) ]; then \
|
|
for p in *.patch; do \
|
|
(cd ../../..; patch -p1 < CBMC/patches/$${p}) \
|
|
done; \
|
|
cat > $(PATCHED) < /dev/null; \
|
|
fi
|
|
|
|
unpatch:
|
|
git checkout ../../../lib
|
|
$(RM) $(PATCHED)
|
|
|
|
#patching file lib/FreeRTOS-Plus-TCP/include/FreeRTOS_IP_Private.h
|
|
#patching file lib/include/private/list.h
|
|
#patching file lib/FreeRTOS-Plus-TCP/source/FreeRTOS_DHCP.c
|
|
#patching file lib/FreeRTOS-Plus-TCP/source/FreeRTOS_DNS.c
|
|
#patching file lib/FreeRTOS-Plus-TCP/source/FreeRTOS_TCP_WIN.c
|