public inbox for kawa@sourceware.org
 help / color / mirror / Atom feed
From: Kay Zheng <l04m33@gmail.com>
To: Per Bothner <per@bothner.com>
Cc: Kawa mailing list <kawa@sourceware.org>
Subject: Re: Kawa invoke branch merged into master
Date: Wed, 03 May 2017 05:41:00 -0000	[thread overview]
Message-ID: <CAJCc8Ox4Dt8ux1EDOKUHfW4PN-4oZZEiOTxHaUv-hbv=ETrjjA@mail.gmail.com> (raw)
In-Reply-To: <372902db-feaa-e468-2fa9-328313ce1978@bothner.com>

Hi Per,

It seems the Android support is broken. I was using the configure
script like this:

    JAVACFLAGS="-g -source 1.7 -target 1.7" ./configure
--with-android=/path/to/android.jar --disable-xquery --disable-jemacs
--with-java-source=7

And the compiler complained about incompatible types in the Android code:

    (compiling ViewBuilder.scm to gnu.kawa.android.ViewBuilder)
    ViewBuilder.scm:8:5: type istring is incompatible with required
type java.lang.String


Regards,

Kay Z.

  reply	other threads:[~2017-05-03  5:41 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-05-01 16:17 Per Bothner
2017-05-03  5:41 ` Kay Zheng [this message]
2017-05-03  5:59   ` Per Bothner
2017-05-03  6:22     ` Kay Zheng
2017-05-03 20:20       ` Per Bothner
2017-05-04  1:06         ` Kay Zheng

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAJCc8Ox4Dt8ux1EDOKUHfW4PN-4oZZEiOTxHaUv-hbv=ETrjjA@mail.gmail.com' \
    --to=l04m33@gmail.com \
    --cc=kawa@sourceware.org \
    --cc=per@bothner.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).