OK. I'm pretty deep in this rabbithole, but forgive me if I'm skipping some
details.
I've spent a good portion of yesterday, and a unreasonable chunk of today,
trying to build Racket for aarch64 on Android using Termux for the build
environment (yes, I'm building this on the target (a phone), so no
cross-compilation shenanigans). Recently, I've been able to reliably
produce a working `racket` binary, but `raco` fails to build on account of
`ffi-lib` not being able to find where the system libraries are (this is
what I think is happening).
So, question: how to I point out where the system libs live in such that
ffi-lib can find them?
Steps to reproduce:
0. download source bundle with prebuilt packages
(downloads.racket-lang.org).
1. run configure from tarball root: `src/configure --enable-csonly
--enable-sysroot=$PREFIX --prefix=$PREFIX --exec-prefix=$PREFIX`
2. `make` -- works flawlessly
3. `make install` -- errors:
make[4]: Entering directory
'/data/data/com.termux/files/home/racket-8.2/cs/c'
/data/data/com.termux/files/usr/bin/racket -Z ../../../../../build/config
-X "/data/data/com.termux/files/usr/share/racket/collects" -G
"/data/data/com.termux/files/usr/etc/racket" -Z
../../../../../build/config -N "raco" -l- setup
--no-user
ffi-lib: could not load foreign library
path: [all opened]
system error: unknown error
context...:
body of
"/data/data/com.termux/files/usr/share/racket/collects/openssl/mzssl.rkt"
body of
"/data/data/com.termux/files/usr/share/racket/collects/setup/main.rkt"
4. Hypothesis: ffi-lib can't find libssl, located in $PREFIX/lib. `raco`
needs this to securely communicate with package catalogs.
5. Result: no `raco`, but `racket` works just fine.
--
You received this message because you are subscribed to the Google Groups
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-dev/f6f931d9-d67b-494b-ace0-c8692358c691n%40googlegroups.com.
