diff options
Diffstat (limited to 'config/companion_libs.in')
| -rw-r--r-- | config/companion_libs.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/companion_libs.in b/config/companion_libs.in index d581d80..c95418b 100644 --- a/config/companion_libs.in +++ b/config/companion_libs.in @@ -49,6 +49,7 @@ config PPL_CLOOG if PPL_CLOOG source config/companion_libs/ppl.in +source config/companion_libs/cloog.in endif endmenu |