[OpenMP] [OMPD] Build gdb-plugin code only when python3 development files are available.
gdb-plugin code is a interface between gdb, libompd, gdb and libomp. Python3 development files are required to build this utility. This patch will disable the plugin code build when python3 dev files are not available. Reviewed By: @mgorny, @aaronpuchert Differential Revision: https://reviews.llvm.org/D134275
Loading
Please sign in to comment