about summary refs log tree commit diff homepage
path: root/scripts/build/p-metasmt-linux-ubuntu.inc
AgeCommit message (Collapse)Author
2020-02-13Update ubuntu build dependencies for KLEEMartin Nowack
Build dependencies for different components were tied to a specific Ubuntu version (16.04). Although, they are the same for newer versions as well. By renaming `p-component-linux-ubuntu-16.04.inc` to `p-component-linux-ubuntu.inc`, the script can be used for newer Ubuntu versions as well. Do some minor cleaning up.