How to configure a Basilisk server

sudo apt-get install tsp make gcc

Install the KDT library and binaries in


Append this to the start of .bashrc

# number of simultaneous Task Spooler jobs
export TS_SLOTS=8

# path to local binaries
export PATH=$PATH:$HOME/bin

# howto compile C99 programs
export CC99="gcc -O2 -Wall -std=c99 -D_GNU_SOURCE=1"

If you also intend to generate graphics etc… on the server, do

sudo apt-get install gnuplot imagemagick libav-tools smpeg-plaympeg graphviz valgrind gifsicle

Using the server

You first need to allow the client to connect to the server through SSH. This implies adding the SSH public key of the client account to the “authorized keys” on the server.

You can then do (on the client), something like: make simulation.tst

You should then get

qcc -g -O2 -g -Wall -o simulation/simulation simulation.c -lm
[simulation.tst on (12725)]

If you then do ls simulation/*pid*, you will see two files: pid.tst and tspid.tst, they contain the PID of the process running on the client and on the server respectively. When the simulation completes on the server, data are copied to the client, both processes terminate and these *pid* files are removed.

If you modify your simulation and redo make as above, before the old simulation has completed, the old processes will be killed and only the new simulation will run on the server.

The status of the completed simulation is indicated by either an (empty) pass file (in the simulation directory), or a fail file containing the error messages.