ninja: error: build.ninja:1522154: unknown pool name 'highmem_pool'

493 views
Skip to first unread message

SZ Lee

unread,
Oct 28, 2020, 1:54:54 PM10/28/20
to Android Building
Dear,

I wanted to use ninja extra tools(https://ninja-build.org/manual.html#_extra_tools) to find information of my modules in android master branch, but it failed to run by "unknown pool name" error. I tried several version of ninja like below, but there was no success.

szlee/work/Google/android-11.0/out/soong$ ../../prebuilts/build-tools/linux-x86/bin/ninja --version
1.8.2.git
szlee/work/Google/android-11.0/out/soong$ ../../prebuilts/build-tools/linux-x86/bin/ninja -t targets
ninja: error: build.ninja:1522154: unknown pool name 'highmem_pool'
 
szlee/work/Google/android-11.0/out/soong$ ~/dev/ninja/ninja --version
1.10.1
szlee/work/Google/android-11.0/out/soong$ ~/dev/ninja/ninja -t targets
ninja: error: build.ninja:1522154: unknown pool name 'highmem_pool'

szlee/work/Google/android-11.0/out/soong$ /usr/bin/ninja --version
1.8.2
szlee/work/Google/android-11.0/out/soong$ /usr/bin/ninja -t targets
ninja: error: build.ninja:23829: multiple outputs aren't (yet?) supported by depslog; bring this up on the mailing list if it affects you

Is there anyone who can use ninja extra tools on latest master branch?
 
Thanks in advance for your help.

Sam Lin

unread,
Jan 8, 2021, 3:50:44 PM1/8/21
to Android Building
Hi SZ,
highmem_pool is defined in combined-$TARGET_PRODUCT.ninja, try follows instead
ninja -f  $ANDROID_BUILD_TOP/out/combined-$TARGET_PRODUCT.ninja targets

atbir youssef

unread,
Jan 9, 2021, 9:58:50 PM1/9/21
to android-...@googlegroups.com
--
--
You received this message because you are subscribed to the "Android Building" mailing list.
To post to this group, send email to android-...@googlegroups.com
To unsubscribe from this group, send email to
android-buildi...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/android-building?hl=en

---
You received this message because you are subscribed to the Google Groups "Android Building" group.
To unsubscribe from this group and stop receiving emails from it, send an email to android-buildi...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/android-building/dc846b05-cd0c-4196-aa6b-467e79ae56a6n%40googlegroups.com.
Reply all
Reply to author
Forward
0 new messages