diff options
Diffstat (limited to 'configure.py')
-rw-r--r-- | configure.py | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/configure.py b/configure.py index 073bccad2b..1917af4b65 100644 --- a/configure.py +++ b/configure.py @@ -1133,22 +1133,6 @@ def set_trisycl_include_dir(environ_cp): write_action_env_to_bazelrc('TRISYCL_INCLUDE_DIR', trisycl_include_dir) -def set_trisycl_include_dir(environ_cp): - """Set TRISYCL_INCLUDE_DIR.""" - - trisycl_include_dir = prompt_loop_or_load_from_env( - environ_cp, - var_name='TRISYCL_INCLUDE_DIR', - var_default=_DEFAULT_TRISYCL_INCLUDE_DIR, - ask_for_var=('Please specify the location of the triSYCL include ' - 'directory. (Use --config=sycl_trisycl when building with ' - 'Bazel)'), - check_success=os.path.exists, - error_msg='Invalid trySYCL include directory. %s cannot be found.', - suppress_default_error=True) - - write_action_env_to_bazelrc('TRISYCL_INCLUDE_DIR', trisycl_include_dir) - def set_mpi_home(environ_cp): """Set MPI_HOME.""" |