source:
CIVL/examples/omp/DataRaceBench/micro-benchmarks/Makefile@
e5cec5ae
| Last change on this file since e5cec5ae was 143b174, checked in by , 9 years ago | |
|---|---|
|
|
| File size: 303 bytes | |
| Line | |
|---|---|
| 1 | CIVL=civl |
| 2 | OPTIONS=-input_omp_thread_max=2 |
| 3 | VERIFY=$(CIVL) verify $(OPTIONS) |
| 4 | |
| 5 | .IGNORE=polybench.c |
| 6 | |
| 7 | all: $(patsubst %.c, check_%, $(wildcard *.c)) |
| 8 | |
| 9 | check_%: %.c |
| 10 | echo Check data race for $< |
| 11 | $(VERIFY) $< 2>&1 ## redirect err to wherever stdout going |
| 12 | |
| 13 | clean: |
| 14 | rm -rf *~ CIVLREP *OUT.txt ProverOutput.txt |
Note:
See TracBrowser
for help on using the repository browser.
