forked from runtimeverification/python-semantics
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathkpython
More file actions
executable file
·16 lines (16 loc) · 1.06 KB
/
Copy pathkpython
File metadata and controls
executable file
·16 lines (16 loc) · 1.06 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#!/bin/bash
ENVIRON=`env | sed "s/^/\"/" | sed "s/$/\"/" | sed "s/=/\" |-> \"/" | tr "\n" " "`
PYTHON_BINARY=`which python3.3`
PYTHON_PREFIX=${PYTHON_BINARY%/bin/python3.3}
PYTHON_LIB=$PYTHON_PREFIX/lib/python3.3
#IMPORTLIB=$PYTHON_LIB/importlib/_bootstrap.py
IMPORTLIB=fake-importlib.py
SIXTYFOUR_BIT='"sys.hash_info.width" |-> 64 "sys.hash_info.modulus" |-> 2305843009213693951 "sys.hash_info.inf" |-> 314159 "sys.hash_info.nan" |-> 0 "sys.hash_info.imag" |-> 1000003 "tuple.__hash__:begin" |-> 3430008 "tuple.__hash__:addend" |-> 82520 "tuple.__hash__:end" |-> 97531'
DEBUG='"__debug__" |-> true'
VERBOSE='"PYTHONVERBOSE" |-> false'
HASHINFO=$SIXTYFOUR_BIT
GC_THRESHOLD=100
SYS_PATH="ListItem(\"\") ListItem(\"$PYTHON_LIB\")"
HASHSEED='"PYTHONHASHSEED" |-> 1'
OS='"sys.platform" |-> "linux" "posix.O_WRONLY" |-> 1 "posix.O_CREAT" |-> 64 "posix.O_EXCL" |-> 128'
krun --parser "./parser" -cGCTHRESHOLD="$GC_THRESHOLD" -cSYSPATH="$SYS_PATH" -cCONSTANTS="$SIXTYFOUR_BIT $DEBUG $VERBOSE $HASHINFO $HASHSEED $OS" -cENVIRON="$ENVIRON" --cfg-parser="./parser" -cIMPORTLIB="$IMPORTLIB" "$@"