--disable-libffi not disabling the FFI support

[Derick Eddington]

When I do --disable-libffi, it still builds with the FFI support, and I'm able to successfully run lab/test-ffi.ss. However, there is a build warning.

[d@eep:~/ikarus.dev]-> make distclean
[...]
[d@eep:~/ikarus.dev]-> ./configure --prefix=/home/d --disable-libffi
[...]
checking ffi.h usability... yes
checking ffi.h presence... yes
checking for ffi.h... yes
checking for ffi_call in -lffi... yes
[...]
[d@eep:~/ikarus.dev]-> make
[...]
gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -DNDEBUG -O3 -Wall -MT ikarus-ffi.o -MD -MP -MF .deps/ikarus-ffi.Tpo -c -o ikarus-ffi.o ikarus-ffi.c
ikarus-ffi.c: In function ‘ikrt_call_back’:
ikarus-ffi.c:204: warning: unused variable ‘rv’
ikarus-ffi.c: In function ‘generic_callback’:
ikarus-ffi.c:309: warning: unused variable ‘rv’
ikarus-ffi.c:293: warning: unused variable ‘rtype_conv’
ikarus-ffi.c:292: warning: unused variable ‘argtypes_conv’
[...]
gcc -g -O2 -DNDEBUG -O3 -Wall -rdynamic -o ikarus ikarus-collect.o ikarus-exec.o ikarus-fasl.o ikarus-flonums.o ikarus-main.o ikarus-numerics.o ikarus-print.o ikarus-runtime.o ikarus-symbol-table.o ikarus-verify-integrity.o ikarus-weak-pairs.o ikarus-winmmap.o ikarus-enter.o cpu_has_sse2.o ikarus-io.o ikarus-process.o ikarus-getaddrinfo.o ikarus-errno.o ikarus-pointers.o ikarus-ffi.o ikarus.o -lffi -lgmp -lm -ldl
[...]
[d@eep:~/ikarus.dev]-> src/ikarus -b scheme/ikarus.boot --r6rs-script lab/test-ffi.ss
=========================================================
TESTING (= (ho (dlsym self "cadd1") 17) (+ 18 18))
OK
=========================================================
TESTING (= (ho foradd1^ 17) (+ 18 18))
OK
=========================================================
TESTING (= (ho foradd1 17) (+ 18 18))
|(add1 17)
|18
|(add1 17)
|18
OK
=========================================================
Happy Happy Joy Joy
[d@eep:~/ikarus.dev]->

[Derick Eddington (derick-eddington)]

The build warning is also there when using --enable-libffi, so it's not relevant to --disable-libffi not disabling.

[Derick Eddington (derick-eddington)]

If neither --enable-libffi nor --disable-libffi are used, then the FFI support is disabled.

[d@eep:~/ikarus.dev]-> ./configure --prefix=/home/d
[...]
[d@eep:~/ikarus.dev]-> make
[...]
[d@eep:~/ikarus.dev]-> src/ikarus -b scheme/ikarus.boot --r6rs-script lab/test-ffi.ss
Unhandled exception:
 Condition components:
   1. &assertion
   2. &who: ffi-prep-cif
   3. &message: "failed to initialize"
   4. &irritants: (sint32 (pointer sint32))
[d@eep:~/ikarus.dev]->

[Abdulaziz Ghuloum (aghuloum)]

Fixed in 1603. Thanks!