x32: directories for installing under /usr/local

Sven Hartrumpf <[email protected]> Sat, 05 Oct 2024 17:43:21 +0200 (CEST)
Newsgroups gmane.linux.debian.ports.amd64
Message-ID <[email protected]>
Dear x32-ABI users.

I need to locally install some programs (that supply configure scripts) for the x32 ABI.
I use the following directories:
--bindir=/usr/local/x86_64-linux-gnux32/bin
--libdir=/usr/local/x86_64-linux-gnux32/lib
Are these the recommended ones?

Greetings
Sven