diff options
Diffstat (limited to 'polly/lib/External/CMakeLists.txt')
| -rw-r--r-- | polly/lib/External/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/polly/lib/External/CMakeLists.txt b/polly/lib/External/CMakeLists.txt index d83be0cafc7..77cc28c70c0 100644 --- a/polly/lib/External/CMakeLists.txt +++ b/polly/lib/External/CMakeLists.txt @@ -203,6 +203,7 @@ set (ISL_FILES isl/isl_hash.c isl/isl_id.c isl/isl_id_to_ast_expr.c + isl/isl_id_to_id.c isl/isl_id_to_pw_aff.c isl/isl_ilp.c isl/isl_imath.c |
