On linux use provided makefile, built binary will be located in build/ folder after completion. There is a high chance that nix develop environment would need to be set up before running make On ...