(executable
 (public_name mininix)
 (name main)
 (preprocess
  (pps ppx_let))
 (libraries
  nix
  core
  core_unix.command_unix
  linenoise
  mininix
  sexp_pretty
  stdio
  ppx_let))