source ~/.bashrc
-# Reading system configuration informations, functions and package versions.
-source ../config/sysinfos
-source ../functions
-source ../config/packages-list
+source ../functions/main
init_log_file
--disable-optimization \
--with-libgmp-prefix=/cross-tools \
--with-libgmpxx-prefix=/cross-tools"
-ipkg ${CLOOG_PPL} "\
+ipkg ${CLOOG} "\
--enable-shared \
--with-bits=gmp \
- --with-gmp=/cross-tools \
- --with-ppl=/cross-tools"
+ --with-gmp=/cross-tools"
LDFLAGS=""