aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure.py
diff options
context:
space:
mode:
Diffstat (limited to 'configure.py')
-rw-r--r--configure.py16
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."""