1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
VCC?=vcc
VCC_ARGS+=/sm
GIT?=git
NO_CHANGE_EXPECTED_HASH=754ba168f
NO_CHANGE_FILE=source/linux/epoll_event_loop.c
# The VCC proofs in this directory are based on a snapshot of
# epoll_event_loop.c. This target fails if the source file has changed, in
# which case the proof results may no longer be valid.
.phony: .no_change
.no_change:
cd ../.. && $(GIT) diff --quiet $(NO_CHANGE_EXPECTED_HASH) $(NO_CHANGE_FILE)
.phony: .proofs
.proofs:
$(VCC) $(VCC_ARGS) preamble.h
$(VCC) $(VCC_ARGS) subscribe.c /f:s_subscribe_to_io_events
$(VCC) $(VCC_ARGS) unsubscribe.c /f:s_unsubscribe_from_io_events
$(VCC) $(VCC_ARGS) schedule.c /f:s_schedule_task_common /f:s_schedule_task_now /f:s_schedule_task_future
$(VCC) $(VCC_ARGS) cancel_task.c /f:s_cancel_task
$(VCC) $(VCC_ARGS) is_on_callers_thread.c /f:s_is_on_callers_thread
$(VCC) $(VCC_ARGS) process_task_pre_queue.c /f:s_process_task_pre_queue
$(VCC) $(VCC_ARGS) lifecycle.c /f:s_stop_task /f:s_stop /f:s_wait_for_stop_completion /f:s_run
$(VCC) $(VCC_ARGS) main_loop.c /f:s_on_tasks_to_schedule /f:s_main_loop
$(VCC) $(VCC_ARGS) new_destroy.c /f:aws_event_loop_new_default
$(VCC) $(VCC_ARGS) new_destroy.c /f:aws_event_loop_new_with_epoll /f:s_destroy /p:"-DUSE_EFD=0"
$(VCC) $(VCC_ARGS) new_destroy.c /f:aws_event_loop_new_with_epoll /f:s_destroy /p:"-DUSE_EFD=1"
$(VCC) $(VCC_ARGS) client.c /f:test_new_destroy /f:test_subscribe_unsubscribe
.phony: all
all: .no_change .proofs
|
