Makefile contains wrong version reference for 2.8

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

Closed jeanparker closed 2 years ago

jeanparker commented 2 years ago

Installation of version 2.8 fails with

ERROR: Could not install packages due to an EnvironmentError: [Errno 2] file cbmc_viewer-2.0-py3-none-any.whl not found

ActoryOu commented 2 years ago

I met this same issue, and I can install successfully by changing it to "dist/cbmc_viewer-2.8-py3-none-any.whl"

markrtuttle commented 2 years ago

I will fix this.

General users should be installing the pip package on the release page: https://github.com/awslabs/aws-viewer-for-cbmc/releases/tag/viewer-2.8

markrtuttle commented 2 years ago