diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-05-17 08:19:52 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-05-17 08:19:52 +0200 |
commit | 61512b6f4115fce5326b78914b675be278c6845f (patch) | |
tree | 57c8933bbe35e8bf18065f9382c033bf9731e154 /frontends/verific/build_amd64.txt | |
parent | c2f30e0de41d93ef7e6468ba7041c51c971c6a0c (diff) |
Verific build fixes
Diffstat (limited to 'frontends/verific/build_amd64.txt')
-rw-r--r-- | frontends/verific/build_amd64.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/verific/build_amd64.txt b/frontends/verific/build_amd64.txt index 9bb6e320..0a220475 100644 --- a/frontends/verific/build_amd64.txt +++ b/frontends/verific/build_amd64.txt @@ -21,7 +21,7 @@ VERIFIC_DIR = /usr/local/src/verific_lib_eval 2.) Install the necessary multilib packages Hint: On debian/ubuntu the multilib packages have names such as -libreadline-dev:amd64 or lib32readline6-dev, depending on the +libreadline-dev:i386 or lib32readline6-dev, depending on the exact version of debian/ubuntu you are working with. |