diff options
author | Tom de Vries <tdevries@suse.de> | 2018-08-04 20:07:22 +0000 |
---|---|---|
committer | Tom de Vries <vries@gcc.gnu.org> | 2018-08-04 20:07:22 +0000 |
commit | 099400909ed214b5fbf04404bbbc823fdb355b96 (patch) | |
tree | 088ef575bf4cd22a5750acea15219ceed28ee893 /gcc/alias.c | |
parent | 11fc901348dc14cc6338a4932cb2ddee396d3916 (diff) | |
download | gcc-099400909ed214b5fbf04404bbbc823fdb355b96.zip gcc-099400909ed214b5fbf04404bbbc823fdb355b96.tar.gz gcc-099400909ed214b5fbf04404bbbc823fdb355b96.tar.bz2 |
[libgomp, nvptx, --without-cuda-driver] Don't use system cuda driver
Using libgomp configure option --with-cuda-driver=<dir> we can indicate what
cuda driver to use to build the libgomp nvptx plugin. Without such an option,
the system cuda driver is used, if available. If not availabe, a dlopen
interface is used instead.
However, when we use --without-cuda-driver (or the equivalent
--with-cuda-driver=no) the system cuda driver is still used if available.
This patch fixes that, making sure that --without-cuda-driver selects the dlopen
interface.
Build on x86_64 with nvptx accelerator and tested libgomp testsuite, with and
without option --without-cuda-driver.
2018-08-04 Tom de Vries <tdevries@suse.de>
* plugin/configfrag.ac: For --without-cuda-driver, set
CUDA_DRIVER_INCLUDE and CUDA_DRIVER_LIB to no. Handle
CUDA_DRIVER_INCLUDE == no and CUDA_DRIVER_LIB == no.
* configure: Regenerate.
From-SVN: r263310
Diffstat (limited to 'gcc/alias.c')
0 files changed, 0 insertions, 0 deletions