runtimeverification / avm-semantics

BSD 3-Clause "New" or "Revised" License
15 stars 4 forks source link

Additional Nix Flake outputs #209

Closed geo2a closed 1 year ago

geo2a commented 1 year ago

Currently, the KAVM Nix flake builds the semantics itself and the kavm Python executable. However, the users will want to have the kavm Python package as well, to be able to programmatically interact with KAVM from a Python program. We need to figure out a way to provide the kavm.tar.gz Python package which can be installed directly with pip or used in a Poetry project. Ideally, we'd also like to export the right value for KAVM_DEFINITION_DIR, so the Nix-installed (or, more specifically, kup-installed) KAVM can be interacted with from a Python program.

Summary of needed actions: