Next: Windows Up: Linux/MacOS Previous: Note for MacOS users Contents
Ocarina is needed by POK. A script is provided to automatically install the latest build:
$ sh ./misc/get_ocarina.sh
You can then try to build and run some of the POK examples located in the `example' directory.
$ cd examples/partitions-threads $ make $ make -C generated-code run
A whole chapter of this documentation is dedicated to those examples and their purpose.