Optimize gpu_mod use: don't compile the lib if already installed on the system.

.gitlab-ci.yml

@@ -302,8 +302,11 @@ pages:
     stage: pkg_rev
     before_script:
         - VERSION=$(echo $CI_COMMIT_SHA | sed -e 's/^\(.\{8\}\).*/\1/')
+        - if [[ -n "$USE_GPU_MOD" ]]; then GPU_MOD_SHA=$(git submodule foreach git log --oneline -n1 | sed -e 's/ .*//' | tail -1); fi
+        - echo GPU_MOD_SHA=$GPU_MOD_SHA
         - if [[ -n "$USE_GPU_MOD" ]]; then cd gpu_mod; if [[ ! -d build ]]; then mkdir build; fi; cd build; fi
-        - if [[ -n "$USE_GPU_MOD" ]]; then cmake -DCUDA_TOOLKIT_ROOT_DIR=/usr/local/cuda-9.2 -DCMAKE_CUDA_COMPILER=/usr/local/cuda-9.2/bin/nvcc ..; make; fi
+          # don't build the lib if already installed
+        - if [[ -n "$USE_GPU_MOD" ]]; then cmake -DCUDA_TOOLKIT_ROOT_DIR=/usr/local/cuda-9.2 -DCMAKE_CUDA_COMPILER=/usr/local/cuda-9.2/bin/nvcc ..;L="/usr/local/lib/libgm-$GPU_MOD_SHA.so"; echo LIB=$L; if [[ -r "$L" ]]; then cp "$L" ./libgm.so; else make;fi;fi
         - if [[ -n "$USE_GPU_MOD" ]]; then cd ../..; fi
     artifacts:
         expire_in: '1 week'
@@ -328,8 +331,11 @@ pkg_linux_purepy_rev:
     extends: .pkg_purepy
     before_script:
         - VERSION=$CI_COMMIT_TAG
+        - if [[ -n "$USE_GPU_MOD" ]]; then GPU_MOD_SHA=$(git submodule foreach git log --oneline -n1 | sed -e 's/ .*//' | tail -1); fi
+        - echo GPU_MOD_SHA=$GPU_MOD_SHA
         - if [[ -n "$USE_GPU_MOD" ]]; then cd gpu_mod; if [[ ! -d build ]]; then mkdir build; fi; cd build; fi
-        - if [[ -n "$USE_GPU_MOD" ]]; then cmake -DCUDA_TOOLKIT_ROOT_DIR=/usr/local/cuda-9.2 -DCMAKE_CUDA_COMPILER=/usr/local/cuda-9.2/bin/nvcc ..; make; fi
+          # don't build the lib if already installed
+        - if [[ -n "$USE_GPU_MOD" ]]; then cmake -DCUDA_TOOLKIT_ROOT_DIR=/usr/local/cuda-9.2 -DCMAKE_CUDA_COMPILER=/usr/local/cuda-9.2/bin/nvcc ..;L="/usr/local/lib/libgm-$GPU_MOD_SHA.so"; echo LIB=$L; if [[ -r "$L" ]]; then cp "$L" ./libgm.so; else make;fi;fi
         - if [[ -n "$USE_GPU_MOD" ]]; then cd ../..; fi
     artifacts:
         expire_in: '50 yrs'