fix sessions and CE oracles

[why3.git] / lib / why3-call-pvs

#!/bin/sh

if test -z "$PVS_LIBRARY_PATH"; then
    export PVS_LIBRARY_PATH=$1
else
    export PVS_LIBRARY_PATH=$1:$PVS_LIBRARY_PATH
fi
shift
exec "$@"