+ date
Die Jul 23 12:33:35 CEST 2019
+ cd /home/nico/projects/P4-NetFPGA/contrib-projects/sume-sdnet-switch/projects/minip4
+ make
make -C src/ clean
make[1]: Entering directory '/home/nico/projects/P4-NetFPGA/contrib-projects/sume-sdnet-switch/projects/minip4/src'
rm -f *.sdnet *.tbl .sdnet_switch_info.dat
make[1]: Leaving directory '/home/nico/projects/P4-NetFPGA/contrib-projects/sume-sdnet-switch/projects/minip4/src'
make -C testdata/ clean
make[1]: Entering directory '/home/nico/projects/P4-NetFPGA/contrib-projects/sume-sdnet-switch/projects/minip4/testdata'
rm -f *.pcap *.txt *.pyc *.axi config_writes.* *_reg_defines.py
make[1]: Leaving directory '/home/nico/projects/P4-NetFPGA/contrib-projects/sume-sdnet-switch/projects/minip4/testdata'
rm -rf nf_sume_sdnet_ip/
rm -f 
rm -f sw/config_tables.c
make -C src/
make[1]: Entering directory '/home/nico/projects/P4-NetFPGA/contrib-projects/sume-sdnet-switch/projects/minip4/src'
p4c-sdnet -o minip4.sdnet --sdnet_info .sdnet_switch_info.dat minip4_solution.p4
headers.p4(86): error: Structure header ethernet_t does not have a field dstAddr
header ethernet_t {
       ^^^^^^^^^^
minip4_solution.p4(78)
        EthAddr_t temp = hdr.ethernet.dstAddr;
                                      ^^^^^^^
headers.p4(86): error: Structure header ethernet_t does not have a field dstAddr
header ethernet_t {
       ^^^^^^^^^^
minip4_solution.p4(79)
        hdr.ethernet.dstAddr = hdr.ethernet.srcAddr;
                     ^^^^^^^
headers.p4(86): error: Structure header ethernet_t does not have a field srcAddr
header ethernet_t {
       ^^^^^^^^^^
minip4_solution.p4(79)
        hdr.ethernet.dstAddr = hdr.ethernet.srcAddr;
                                            ^^^^^^^
headers.p4(86): error: Structure header ethernet_t does not have a field srcAddr
header ethernet_t {
       ^^^^^^^^^^
minip4_solution.p4(80)
        hdr.ethernet.srcAddr = temp;
                     ^^^^^^^
headers.p4(86): error: Structure header ethernet_t does not have a field dstAddr
header ethernet_t {
       ^^^^^^^^^^
minip4_solution.p4(103)
        EthAddr_t temp = hdr.ethernet.dstAddr;
                                      ^^^^^^^
headers.p4(86): error: Structure header ethernet_t does not have a field dstAddr
header ethernet_t {
       ^^^^^^^^^^
minip4_solution.p4(108)
            hdr.ethernet.dstAddr: exact;
                         ^^^^^^^
Makefile:34: recipe for target 'all' failed
make[1]: *** [all] Error 1
make[1]: Leaving directory '/home/nico/projects/P4-NetFPGA/contrib-projects/sume-sdnet-switch/projects/minip4/src'
Makefile:31: recipe for target 'frontend' failed
make: *** [frontend] Error 2
