mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-10-16 09:47:44 -04:00
d95624c5d6
* move CBMC proofs to FreeRTOS+ directory * Failing proofs corrected * ParseDNSReply proof added back * removed queue_init.h from -Plus/Test Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
24 lines
611 B
Makefile
24 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
|