essential-contributions / pint.nix

A Nix flake for the Pint intent language

pint.nix

A Nix flake for the Pint intent language.

Supports Linux & macOS.

Usage

1. Install Nix, easiest with the Determinate Systems installer.

2. Use Nix to enter a shell with the pint, pintc and pintfmt CLIs:

   nix shell github:essential-contributions/pint.nix

   By default, this installs pintc with solving capabilities (via the pintWithSolver package) by binding to scip. To build pintc purely with constraint checking capabilities, you can use:

   nix shell github:essential-contributions/pint.nix#pint

3. Check that it works with:

   pint -h

Developing pint

If you're working on the pint repo itself, the following command can be useful. It allows you to enter a development shell with all of the necessary dependencies and environment variables to build pint with solving enabled and run the tests. This includes, rust, scip, clang (for bindgen), etc.

nix develop github:essential-contributions/pint.nix

Now when you run cargo build or cargo nextest run, bindgen will bind to the scip libraries installed by Nix (rather than downloading them at build time). We can check this works with the following:

$ cd /path/to/pint

$ cargo nextest run

pint.nix's Issues

Add a `buildPintPackage` for creating intent derivations

This would be similar to nixpkgs' buildRustPackage that takes care of a lot of the boiler plate in creating derivations for rust packages.

The result of building a buildPintPackage derivation might be something like:

result
└── intent
    └── my-intent
        ├── my-intent-meta.json -> /nix/store/czlxsdaajzjigmd4wlhvbp48p59mlf94-intents-my-intent.pint-meta-0.1.0/intent/my-intent/my-intent-meta.json
        └── my-intent.hex -> /nix/store/6s6h60fyhpcrhq1i36ckda60ab446v10-intents-my-intent.pint-bytecode-0.1.0/intent/my-intent/my-intent.hex

Or something along these lines, ready for deployment.

It'd also be interesting to use it as a way to compose together multiple different yurt "libs" that provide different types and macros.

Try new `nix-cache-action` provided by nix-community once building in CI

Just a reminder to try this as a more github-native alternative to cachix: https://github.com/nix-community/cache-nix-action