GaloisInc/cclyzerpp

docker: Install cclyzer++ from Debian package

langston-barrett opened this issue · 0 comments

Requires #71 and #75. The Docker dist image should install cclyzer++ from the Debian package, rather than manually copying in files from build/. This will help us ensure that the package is well-formed, and reduce duplication.