diff options
| author | Mahmoud <[email protected]> | 2018-11-18 12:05:40 -0500 |
|---|---|---|
| committer | Mahmoud <[email protected]> | 2018-11-18 12:05:40 -0500 |
| commit | 773dcd0072e8d5e38377632f307d93ee856f5f73 (patch) | |
| tree | 1d86d6c0b0c695eeef25490bb79ec53c9bd275cb /setup_environment | |
| parent | 72c30bd7a251081eb7453ff4706ddcda30c744ac (diff) | |
| parent | 8ec70c69eb89c1fa836c233be3e4c478602d9bb7 (diff) | |
Merge branch 'dev' of https://github.com/gpgpu-sim/gpgpu-sim_distribution into dev
Diffstat (limited to 'setup_environment')
| -rw-r--r-- | setup_environment | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/setup_environment b/setup_environment index 9578942..b420584 100644 --- a/setup_environment +++ b/setup_environment @@ -56,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' ] ; |