1BRANCH=freertos
2
3PATCHED=patched
4
5default:
6	git format-patch $(BRANCH)..$(BRANCH)-cbmc-patches
7
8patch:
9	if [ ! -f $(PATCHED) ]; then \
10	  for p in *.patch; do \
11	    (cd ../../..; patch -p1 < CBMC/patches/$${p}) \
12	  done; \
13	  cat > $(PATCHED) < /dev/null; \
14	fi
15
16unpatch:
17	git checkout ../../../lib
18	$(RM) $(PATCHED)
19
20#patching file lib/FreeRTOS-Plus-TCP/include/FreeRTOS_IP_Private.h
21#patching file lib/include/private/list.h
22#patching file lib/FreeRTOS-Plus-TCP/source/FreeRTOS_DHCP.c
23#patching file lib/FreeRTOS-Plus-TCP/source/FreeRTOS_DNS.c
24#patching file lib/FreeRTOS-Plus-TCP/source/FreeRTOS_TCP_WIN.c
25