toka.nbk: Home | Index | Next Page: CaseLibrary | Previous Page: BsortLibrary

 Building

To build Toka, you will need the following:

• GCC 2.9x, 3.x, or 4.x
• Make (Either GNU Make or a BSD Make should work)

For most people, the following should work. If it fails, try checking the Ports page to see if there are any platform-specific instructions. The process using Make:

  make

The build system should be able to detect the need for libdl.so (Linux, BeOS) or whether dlopen() and dlsym() are provided by libc.so (BSD). You can also build a version without the FFI, but this is not recommended as it reduces the usefulness of Toka significantly. This can be done via:

  rm source/ffi
  make CFLAGS=-DNOFFI

As a final note, some pieces of documentation can be updated automatically as well:

  make docs

toka.nbk: Home | Index | Next Page: CaseLibrary | Previous Page: BsortLibrary

Notebook exported on Sunday, 1 July 2007, 19:54:43 PM EDT