Package cbmc-viewer for pip. - Githubissues

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

Package cbmc-viewer for pip. #5

Closed markrtuttle closed 4 years ago

markrtuttle commented 4 years ago

This commit:

Moves all code into a cbmc_viewer module
Creates a setup.py package building script for setuptools
Replaces wrapper scripts like cbmc-viewer with scripts generated by setuptools.

Command "make pip" will generate the package in dist, and "make install" will pip install the package.

The pull request looks huge, but there are only four classes of changes in this pull request.

Move all code into cbmc_viewer and change the import statement to import from the cbmc_viewer module (this shows up in the pull request as 20+ deleted files and 20+ modified files)
Delete the make_* wrapper scripts now generated automatically
Modify the way package data is accessed (use the pkg_interface module instead of referencing __file__)
Add the setup.py script that drives the package generation using the setuptools module.