search

model-checking / cbmc-viewer

CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
https://model-checking.github.io/cbmc-viewer/
Apache License 2.0
32 stars 11 forks source link

Publish pip package #30

Closed ligurio closed 3 years ago

ligurio commented 3 years ago

It would be a bit more convenient to install aws-viewer-for-cbmc from https://pypi.org/ using pip without source code checkout. Could you publish a package on https://pypi.org/?

markrtuttle commented 3 years ago

The best I can do at the moment is point out that the release page includes the pip installation package for the latest release that can be installed from the command line with pip without any source code checkout.

ligurio commented 3 years ago

Works fine for me:

sergeyb@pony:/mnt/phototriage/src$ pip3 install --user https://github.com/awslabs/aws-viewer-for-cbmc/releases/download/viewer-2.4/cbmc_viewer-2.4-py3-none-any.whl
Collecting cbmc-viewer==2.4
  Downloading https://github.com/awslabs/aws-viewer-for-cbmc/releases/download/viewer-2.4/cbmc_viewer-2.4-py3-none-any.whl (78 kB)
     |████████████████████████████████| 78 kB 1.9 MB/s 
Requirement already satisfied: jinja2 in /home/sergeyb/.local/lib/python3.8/site-packages (from cbmc-viewer==2.4) (2.9.6)
Requirement already satisfied: setuptools in /usr/lib/python3/dist-packages (from cbmc-viewer==2.4) (45.2.0)
Requirement already satisfied: voluptuous in /home/sergeyb/.local/lib/python3.8/site-packages (from cbmc-viewer==2.4) (0.12.1)
Requirement already satisfied: MarkupSafe>=0.23 in /home/sergeyb/.local/lib/python3.8/site-packages (from jinja2->cbmc-viewer==2.4) (1.1.0)
Installing collected packages: cbmc-viewer
Successfully installed cbmc-viewer-2.4
sergeyb@pony:/mnt/phototriage/src$