I am having some trouble with Vivado where it is saying that there is a previously defined package and I believe it is causing failure in synthesis due to the order that these packages are being compiled. I have the file that is being reported as being defined twice added to the project as a verilog header that is labeled for global inclusion.
I have attempted to change the import statements to include statements and there is now a mix because I am unsure which is the correct way and what both of them are doing. Before I added the include statements the project was failing to synthesize because it couldn't find the package at all.