https://github.com/functionally/ouroboros-leios.env
Development environment for Ouroboros Leios
https://github.com/functionally/ouroboros-leios.env
cardano
Last synced: 11 months ago
JSON representation
Development environment for Ouroboros Leios
- Host: GitHub
- URL: https://github.com/functionally/ouroboros-leios.env
- Owner: functionally
- License: apache-2.0
- Created: 2024-12-09T18:21:07.000Z (about 1 year ago)
- Default Branch: main
- Last Pushed: 2025-01-13T17:56:16.000Z (about 1 year ago)
- Last Synced: 2025-01-13T18:48:37.022Z (about 1 year ago)
- Topics: cardano
- Language: Nix
- Homepage: https://github.com/input-output-hk/ouroboros-leios/
- Size: 15.6 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: ReadMe.md
- License: LICENSE
Awesome Lists containing this project
README
# Nix flake for an Ouroboros Leios development environment
## Compiling Haskell
```console
$ nix develop
# Navigate to the top-level Leios folder.
$ cd .../ouroboros-leios
$ cabal update
$ cabal build all
```
## Building packages or executables
Build `xyz` among the following . . .
- `agdaIOGPrelude`
- `agdaSets`
- `agdaStdlib`
- `agdaStdlibClasses`
- `agdaStdlibMeta`
- `agdaWithDeps`
- `leiosSpec`
- `ols`
. . . with the command . . .
```console
$ nix build .#xyz
```
## Running Leios
```console
$ nix run .#ols -- --help
```