| 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 |
| Carmelo Cascone | fc3776d | 2017-08-21 23:17:22 +0200 | [diff] [blame] | 14 | p4c-bm2-ss --p4v 14 -o p4c-out/ecmp.json \ |
| 15 | --p4runtime-file p4c-out/ecmp.p4info --p4runtime-format text \ |
| Carmelo Cascone | b752427 | 2017-06-05 16:53:13 -0400 | [diff] [blame] | 16 | ecmp.p4 |
| 17 | |
| 18 | wcmp.json: wcmp.p4 |
| Carmelo Cascone | fc3776d | 2017-08-21 23:17:22 +0200 | [diff] [blame] | 19 | p4c-bm2-ss --p4v 14 -o p4c-out/wcmp.json \ |
| 20 | --p4runtime-file p4c-out/ecmp.p4info --p4runtime-format text \ |
| Carmelo Cascone | b752427 | 2017-06-05 16:53:13 -0400 | [diff] [blame] | 21 | wcmp.p4 |
| 22 | |
| 23 | clean: |
| 24 | rm -rf p4c-out/*.json |
| 25 | rm -rf p4c-out/*.p4info |