mirror of
https://github.com/clearlinux/graphene.git
synced 2026-09-07 06:14:02 +00:00
66 lines
1002 B
Bash
Executable File
66 lines
1002 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
while :
|
|
do
|
|
case "$1" in
|
|
"SGX")
|
|
SGX=1
|
|
export SGX
|
|
;;
|
|
"GDB")
|
|
GDB=1
|
|
;;
|
|
*)
|
|
break
|
|
;;
|
|
esac
|
|
shift
|
|
done
|
|
|
|
RUNTIME_DIR=$(/usr/bin/dirname $(readlink -f ${BASH_SOURCE[0]}))
|
|
PAL_HOST=$(/usr/bin/make --no-print-directory --quiet -f $RUNTIME_DIR/../Pal/src/Makefile.Host print_host 2>&1)
|
|
|
|
MANIFEST=
|
|
PREFIX=
|
|
PAL_CMD=$RUNTIME_DIR/pal-$PAL_HOST
|
|
|
|
if [ "$GDB" == "1" ]; then
|
|
GDB=$RUNTIME_DIR/pal_gdb-$PAL_HOST
|
|
if [ ! -f $GDB ]; then
|
|
GDB="/usr/bin/gdb"
|
|
fi
|
|
fi
|
|
|
|
if [ "$GDB" != "" ] && [ "$GDB" != "0" ]; then
|
|
if [ -n "$INSIDE_EMACS" ]; then
|
|
GDB="$GDB -i=mi"
|
|
fi
|
|
PREFIX="$GDB --args"
|
|
fi
|
|
|
|
if [ "$PERF" == "1" ]; then
|
|
PREFIX="perf stat"
|
|
fi
|
|
|
|
if [ "$MEMUSG" == "1" ]; then
|
|
PREFIX="$RUNTIME_DIR/../Scripts/memusg"
|
|
fi
|
|
|
|
while [ "$1" != "" ];
|
|
do
|
|
if [ "$MANIFEST" == "" ]; then
|
|
MANIFEST=$1
|
|
shift
|
|
continue
|
|
fi
|
|
|
|
break
|
|
done
|
|
|
|
if [ ! -f "$PAL_CMD" ]; then
|
|
echo "$PAL_CMD is not built, or security mode is not supported"
|
|
exit 1
|
|
fi
|
|
|
|
exec $PREFIX $PAL_CMD $MANIFEST "$@"
|