diff options
Diffstat (limited to 'setup_environment')
| -rw-r--r-- | setup_environment | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/setup_environment b/setup_environment index 0fee641..b420584 100644 --- a/setup_environment +++ b/setup_environment @@ -4,9 +4,6 @@ ps -p $$ | awk '/bash/ || / sh/ || /zsh/ {exit 1;}' && echo "WARNING ** source s export GPGPUSIM_SETUP_ENVIRONMENT_WAS_RUN= export GPGPUSIM_ROOT="$( cd "$( dirname "$BASH_SOURCE" )" && pwd )" -export PTX_SIM_USE_PTX_FILE=1.ptx -export PTX_SIM_KERNELFILE=_1.ptx -export CUOBJDUMP_SIM_FILE=jj GPGPUSIM_VERSION_STRING=`cat $GPGPUSIM_ROOT/version | awk '/Version/ {print $8}'` #Detect Git branch and commit # @@ -59,6 +56,11 @@ if [ $CUDA_VERSION_NUMBER -gt 9100 -o $CUDA_VERSION_NUMBER -lt 2030 ]; then return fi +if [ $CUDA_VERSION_NUMBER -ge 6000 ]; then + export PTX_SIM_USE_PTX_FILE=1.ptx + export PTX_SIM_KERNELFILE=_1.ptx + export CUOBJDUMP_SIM_FILE=jj +fi if [ $# = '1' ] ; |