diff options
Diffstat (limited to 'polly/Makefile.config.in')
| -rw-r--r-- | polly/Makefile.config.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/polly/Makefile.config.in b/polly/Makefile.config.in index 15e9d0ab3e91..993b9d34ac1d 100644 --- a/polly/Makefile.config.in +++ b/polly/Makefile.config.in @@ -46,6 +46,7 @@ CUDALIB_FOUND := @cuda_found@ # Set include directories POLLY_INC := @cuda_inc@ \ + -I$(POLLY_OBJ_ROOT)/lib/External/isl \ -I$(POLLY_SRC_ROOT)/lib/JSON/include \ -I$(POLLY_SRC_ROOT)/lib/External/isl/include \ -I$(POLLY_SRC_ROOT)/lib/External/isl/imath \ |