#!/bin/sh
exec "/workspace/destdir/lib/gap/gap" -l "/workspace/destdir/lib/gap;/workspace/destdir/share/gap" "$@"
