After modifying gnu/expr/Mangle.java and running 'make clean; make' it
seems to work properly. The d8 tool reports the folowing issues:

Stripped invalid locals information from 5 methods.
In libs/kawa.jar:gnu/kawa/slib/syntaxutils.class:
  Methods with invalid locals information:
 java.lang.Object
gnu.kawa.slib.syntaxutils.unrewriteQuote(gnu.expr.QuoteExp)
                                                          Type information
in locals-table is inconsistent. Cannot constrain type: BOTTOM (empty) for
value: v39(val) by constraint INT.                      In
libs/kawa.jar:kawa/lib/bytevectors.class:
  Methods with invalid locals information:
  java.lang.Object
kawa.lib.bytevectors.bytevectorAppend(gnu.lists.U8Vector[])
  Attempt to define local of type int as result:gnu.lists.U8Vector
 In libs/kawa.jar:kawa/lib/kawa/mstrings.class:
  Methods with invalid locals information:
 java.lang.CharSequence kawa.lib.kawa.mstrings.stringMap(java.lang.Object,
java.lang.CharSequence, java.lang.CharSequence[])
  Type information in locals-table is inconsistent. Cannot constrain type:
INT for value: v126 by constraint OBJECT.
In libs/kawa.jar:kawa/lib/numbers.class:
  Methods with invalid locals information:
  boolean kawa.lib.numbers.isInteger(java.lang.Object)
  Type information in locals-table is inconsistent. Cannot constrain type:
BOTTOM (empty) for value: v50 by constraint INT.
In libs/kawa.jar:kawa/lib/strings.class:
  Methods with invalid locals information:
  void kawa.lib.strings.stringForEach(java.lang.Object,
java.lang.CharSequence, java.lang.Object[])
  Type information in locals-table is inconsistent. Cannot constrain type:
INT for value: v164 by constraint OBJECT.
Some warnings are typically a sign of using an outdated Java toolchain. To
fix, recompile the source with an updated toolchain.


But other than that, the build finishes, and the example program runs
properly.

Thanks.

śr., 19 paź 2022, 19:09 użytkownik Panicz Maciej Godek <
godek.maciek@gmail.com> napisał:

> So, I did check, and USE_SYMBOLIC is set to true.
>
> I followed your instruction: I removed selected-java-source, make clean,
> and then I typed this:
>
> ./configure --prefix=$HOME/usr --without-awt --without-swt --without-sax2
> --without-swing --with-java-source=8 --without-httpserver --disable-xquery
> --disable-echo2 --disable-jemacs --disable-brl
> --with-android=/data/data/com.termux/files/usr/share/java/android.jar
>
> (I also tried --disable-xml, but then make reported an error while
> attempting to compile some scm module)
>
> But despite that, USE_SYMBOLIC is still set to true in Mangle.java
>
> The output of make that I think might be relevant:
>
> javac -d . -g gnu/kawa/util/PreProcess.java
> CLASSPATH=".:$CLASSPATH" java gnu.kawa.util.PreProcess \
>  %java8 -use:com.sun.net.httpserver +enable:XML -with:jline3 -with:lsp4j
> -use:java.awt \
>    `sed -e 's|\([^ ]*\)|./\1|' < ./patch-source-list`
>  (variant java8 maps to: +JAVA5 +JAVA2 +use:java.util.IdentityHashMap
> +use:java.lang.CharSequence +use:java.lang.Throwable.getCause
> +use:java.net.URI +use:java.util.regex +SAX2 +use:java.nio
> +use:org.w3c.dom.Node +use:javax.xml.transform +JAXP-1.3 -JAXP-QName +JAVA6
> +JAVA7 +JAVA8 -JAVA9 -JAVA6COMPAT5 +use:java.text.Normalizer
> +use:javax.lang.model +use:java.lang.invoke -Android)
>                                                 make[1]: Leaving directory
> '/data/data/com.termux/files/home/Kawa2'        echo "%java8
> -use:com.sun.net.httpserver +enable:XML -with:jline3 -with:lsp4j
> -use:java.awt" >selected-java-source
>
>
> śr., 19 paź 2022, 18:05 użytkownik Per Bothner <per@bothner.com> napisał:
>
>>
>>
>> On 10/19/22 02:15, Panicz Maciej Godek wrote:
>> > However, even after fixing that, I get another error:
>> >
>> > Error: Field name '\=android\,view\,View' cannot be represented in dex
>> format.
>> >
>> > I really don't know how to overcome that one (IIRC Kawa 1.13 used $Dt
>> as a replacement for a dot)
>>
>> There is still logic in Kawa to use-old style mangling (such as "$Dt" for
>> ".") when Kawa
>> is build for Android.  Notice the /* #ifdef Android */ in
>> gnu/expr/Magling.java.
>>
>> This code is supposed to be enable by the gnu/kawa/util/PreProcess.java
>> helper,
>> specifically if you configure --with-android.
>>
>> So the first step is to make sure your working copy of Mangling.java
>> actually does have the USE_SYMBOLIC
>> set to false.  If it doesn't, delete the file selected-java-source, and
>> re-run configure and make.
>> Check the PreProcess in the 'make' log.
>> --
>>         --Per Bothner
>> per@bothner.com   http://per.bothner.com/
>>
>