Building

November 18, 2019 ยท View on GitHub

  • Edit the file scratch.v as you like
  • v -bare scratch.v
  • docker build --tag=v-bare .
  • docker run --rm v-bare