| Carmelo Cascone | b752427 | 2017-06-05 16:53:13 -0400 | [diff] [blame] | 1 | all: default.json empty.json ecmp.json wcmp.json |
| 2 | |
| 3 | default.json: default.p4 |
| 4 | p4c-bm2-ss --p4v 14 -o p4c-out/default.json \ |
| 5 | --p4runtime-file p4c-out/default.p4info --p4runtime-format text \ |
| 6 | default.p4 |
| 7 | |
| 8 | empty.json: empty.p4 |
| 9 | p4c-bm2-ss --p4v 14 -o p4c-out/empty.json \ |
| 10 | --p4runtime-file p4c-out/empty.p4info --p4runtime-format text \ |
| 11 | empty.p4 |
| 12 | |
| 13 | ecmp.json: ecmp.p4 |
| 14 | p4c-bmv2 --json p4c-out/ecmp.json \ |
| 15 | ecmp.p4 |
| 16 | |
| 17 | wcmp.json: wcmp.p4 |
| 18 | p4c-bmv2 --json p4c-out/wcmp.json \ |
| 19 | wcmp.p4 |
| 20 | |
| 21 | clean: |
| 22 | rm -rf p4c-out/*.json |
| 23 | rm -rf p4c-out/*.p4info |