p4-utils
p4-utils copied to clipboard
Mininet installation was failing.
https://github.com/nsg-ethz/p4-utils/blob/9990bbf57b23cad0244c8f675b138c7a32882c29/install-tools/install-p4-dev.sh#L516
I just replaced this line with : "git clone https://github.com/mininet/mininet.git mininet"
and it worked for me.
What was the error message? It should work without the .git
part.
The error message was:
Cloning into 'mininet' fatal: repository 'https://github.com/mininet/mininet' not found