Updated verific build instructions
authorClifford Wolf <clifford@clifford.at>
Tue, 2 Feb 2016 18:50:17 +0000 (19:50 +0100)
committerClifford Wolf <clifford@clifford.at>
Tue, 2 Feb 2016 18:50:17 +0000 (19:50 +0100)
commit4a3e1ded1e2dfd3d9a836aaed793978ddff6161b
tree6fef1fffed971be33d2a77255a038e552b920633
parent801c0224576168c776ff2b6422c1909d8cd045dc
Updated verific build instructions
frontends/verific/build_amd64.txt