#!/bin/bash
-USE_LFS_PATCHES=1
-USE_LFS_OLD_PATCHES=1
-USE_BLFS_PATCHES=1
-USE_CLFS_PATCHES=1
-USE_HV_PATCHES=1
-
source ../functions/main
update_packages_init ${*}
lpkg 0 ${GMP}
lpkg 0 ${MPFR}
lpkg 0 ${MPC}
-lpkg 0 ${PPL}
+lpkg 0 ${ISL}
lpkg 0 ${CLOOG}
lpkg 0 ${BINUTILS}
lpkg 0 ${GCC}