X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=README.md;h=18cae80d810e5618326cfa3c954b24ea1ee12cef;hb=ae679fa9a2d32f0d4037f689398bad77d5dd1b78;hp=167a116aa7d4a6e11ab9882bac1b5c2fbd06979b;hpb=19c5f39c61f1692641570dc3cf13360e7dff5cdf;p=cc1516.git diff --git a/README.md b/README.md index 167a116..18cae80 100644 --- a/README.md +++ b/README.md @@ -1 +1,29 @@ -# cc1516 +#spl +` ::= ` + +## Build instructions +To build you need to have a [clean](http://clean.cs.ru.nl) system on +your machine. More specifically the development version since we use the +`clean-platform` library. + +### Linux +Append `envs/envs.linux64` to your `IDEEnvs` and run `make`. + +### Mac +Append `envs/envs.mac` to your `IDEEnvs` and run `make`. + +### Windows +Install a real operating system and try again. + +## Usage +If `help2man` is installed you can generate a manpage by running `make man`. +For full instruction see `man ./spl.1` or run `./spl --help`. + +## Fun +You can verify the parser and pretty printer by running: +``` +diff -s <(./spl examples/example.spl | ./spl) <(./spl examples/example.spl) +``` + +## `LICENCE` +See `LICENCE` file.