#!/bin/bash

INSTALL_DIR=`dirname $0`
export LD_LIBRARY_PATH=$INSTALL_DIR/lib/${ARCH_TRIPLET}:$LD_LIBRARY_PATH
$INSTALL_DIR/pantalaimonexec $@