search

NorfairKing / validity

Validity and validity-based testing
https://www.youtube.com/watch?v=eIs9qNh17SM
MIT License
156 stars 31 forks source link

How to build #91

Closed piq9117 closed 2 years ago

piq9117 commented 2 years ago

I tried building validity with these steps

  1. Going into a nix shell with nix-shell
  2. cd validity
  3. stack build

I then get this https://gist.github.com/piq9117/ca163f79352bcb171ce6ae537208cf44

I apologize if there is already docs on how to do this but I've looked in docs/ and couldn't find anything. I can update the docs if I learn how to build this project.

NorfairKing commented 2 years ago

Hi @piq9117 ! You don't need to cd validity (in fact it doesn't help, you'll still build everything with stack build.) You'll want to use stack build validity instead.

Also; ExitFailure (-11) is out-of-memory, I think? So maybe try stack build validity --jobs 1?

piq9117 commented 2 years ago

Thanks @NorfairKing !