File: Makefile

package info (click to toggle)
aws-crt-python 0.20.4%2Bdfsg-1~bpo12%2B1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm-backports
  • size: 72,656 kB
  • sloc: ansic: 381,805; python: 23,008; makefile: 6,251; sh: 4,536; cpp: 699; ruby: 208; java: 77; perl: 73; javascript: 46; xml: 11
file content (31 lines) | stat: -rw-r--r-- 1,460 bytes parent folder | download | duplicates (2)
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_default_with_options /f:s_destroy /p:"-DUSE_EFD=0"
	$(VCC) $(VCC_ARGS) new_destroy.c /f:aws_event_loop_new_default_with_options /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