-Passage à udev-182 et à /dev intégré au kernel.

[hvlinux.git] / stage1 / hv-install-2

diff --git a/stage1/hv-install-2 b/stage1/hv-install-2
index aa54568..5c04a99 100755 (executable)
--- a/stage1/hv-install-2
+++ b/stage1/hv-install-2
@@ -18,11 +18,9 @@ ipkg ${PPL} "\
     --disable-optimization \
     --with-libgmp-prefix=/tools \
     --with-libgmpxx-prefix=/tools"
-ipkg ${CLOOG_PPL} "\
+ipkg ${CLOOG} "\
     --enable-shared \
-    --with-bits=gmp \
-    --with-gmp=/tools \
-    --with-ppl=/tools"
+    --with-gmp=/tools"
 ipkg -m acnb ${ZLIB}
 ipkg ${BINUTILS}
 ipkg ${GCC}
@@ -66,7 +64,7 @@ PKG_CONFIG=true \
         --disable-makeinstall-chown"
 ipkg ${E2FSPROGS}
 ipkg -m noac ${SYSVINIT}
-ipkg ${MODULE_INIT_TOOLS}
+ipkg ${KMOD}
 ipkg ${UDEV}
 ipkg -c -m noac ${KERNEL}