60 lines
2.6 KiB
Text
60 lines
2.6 KiB
Text
|
+ 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
|