/plt-f18

Programming Languages and Translators Columbia COMSW4115

Primary LanguageOCaml

FIRE

File Input Reinterpretation Engine

Team Members

Usage

Docker

For help with Docker installation, see here

  1. Navigate to the repository root cd plt-f18
  2. You'll build a docker image: docker build -t fire . if you haven't already done so
  3. To run the container: docker run --rm -it -v `pwd`:/home/fire -w=/home/fire fire

Then inside the container you'll be able to run make and all build targets.
Note: If you're using a shell other than bash, like fish, the syntax for command substitution in step 2 may be different.