Fix `get_target_dir` and build.py to make packaging work properly with new prusti_contracts dir

viperproject / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

http://prusti.org

Other

1.52k stars 102 forks source link

Fix `get_target_dir` and build.py to make packaging work properly with new prusti_contracts dir #1479

Closed zgrannan closed 7 months ago

zgrannan commented 7 months ago

PR https://github.com/viperproject/prusti-dev/pull/1476 did not update the build script to also package Prusti correctly.

This fixes the workflow by locating the files in the correct location, and also fixes some bugs related to finding the prusti-contracts library from the artifact.