While installing CBMC viewer v2.11 on an AWS EC2 machine running an Ubuntu 20.04 AMI via pip will work fine, the cbmc-viewer command cannot be found, because the '/home/ubuntu/.local/bin' is not in PATH.
$ pip3 install cbmc-viewer==2.11
Collecting cbmc-viewer==2.11
Downloading cbmc_viewer-2.11-py3-none-any.whl (80 kB)
|████████████████████████████████| 80 kB 11.5 MB/s
Requirement already satisfied: jinja2 in /usr/lib/python3/dist-packages (from cbmc-viewer==2.11) (2.10.1)
Collecting voluptuous
Downloading voluptuous-0.12.2.tar.gz (48 kB)
|████████████████████████████████| 48 kB 7.5 MB/s
Requirement already satisfied: setuptools in /usr/lib/python3/dist-packages (from cbmc-viewer==2.11) (45.2.0)
Building wheels for collected packages: voluptuous
Building wheel for voluptuous (setup.py) ... done
Created wheel for voluptuous: filename=voluptuous-0.12.2-py3-none-any.whl size=29552 sha256=f531b067cf069c9e544e3a71b6eaf61a8988c02d57afa24ffeb4a1616d6781f6
Stored in directory: /home/ubuntu/.cache/pip/wheels/63/c0/d7/d09babb5ec150707e09d6cabd2850c2ab322b3fb37b3081511
Successfully built voluptuous
Installing collected packages: voluptuous, cbmc-viewer
WARNING: The scripts cbmc-viewer, make-coverage, make-loop, make-property, make-reachable, make-result, make-source, make-symbol and make-trace are installed in '/home/ubuntu/.local/bin' which is not on PATH.
Consider adding this directory to PATH or, if you prefer to suppress this warning, use --no-warn-script-location.
Successfully installed cbmc-viewer-2.11 voluptuous-0.12.2
$ cbmc-viewer
cbmc-viewer: command not found
Acceptance Criteria
cbmc-viewer command can be found upon installing v2.11 via pip.
Description
While installing CBMC viewer v2.11 on an AWS EC2 machine running an Ubuntu 20.04 AMI via pip will work fine, the
cbmc-viewer
command cannot be found, because the '/home/ubuntu/.local/bin' is not in PATH.Acceptance Criteria
cbmc-viewer
command can be found upon installing v2.11 via pip.