Samuel Thibault 12 anni fa
parent
commit
7bea8a5606
1 ha cambiato i file con 1 aggiunte e 0 eliminazioni
  1. 1 0
      mic-configure

+ 1 - 0
mic-configure

@@ -37,6 +37,7 @@ do
 	params="--enable-mic --with-coi-dir=$coi_dir --prefix=$prefix/$arch"
 
 	if test x$arch = xmic ; then
+		# TODO: fix hwloc detection to look for another pkg-config place, and not just believe in the host version of hwloc.pc...
 		params="$params --without-hwloc --with-coi-lib-dir=$coi_dir/device-linux-release/lib --host=$mic_host"
 	else
 		params="$params --with-coi-lib-dir=$coi_dir/host-linux-release/lib"