diff options
Diffstat (limited to 'default.xml')
-rw-r--r-- | default.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/default.xml b/default.xml index e88633a..52e8068 100644 --- a/default.xml +++ b/default.xml @@ -18,5 +18,7 @@ <project path="gmp" name="toolchain/gmp" /> <project path="mpc" name="toolchain/mpc" /> <project path="mpfr" name="toolchain/mpfr" /> + <project path="ppl" name="toolchain/ppl" /> + <project path="cloog" name="toolchain/cloog" /> </manifest> |