#!/bin/sh
[ -z "$GAP_MEM" ] && GAP_MEM=32m
exec /usr/bin/i686-pld-linux-gap -m $GAP_MEM -l /usr/share/gap $*
