From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <kawa-return-6372-listarch-kawa=sources.redhat.com@sourceware.org>
Received: (qmail 94014 invoked by alias); 3 May 2017 05:41:16 -0000
Mailing-List: contact kawa-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <kawa.sourceware.org>
List-Subscribe: <mailto:kawa-subscribe@sourceware.org>
List-Archive: <http://sourceware.org/ml/kawa/>
List-Post: <mailto:kawa@sourceware.org>
List-Help: <mailto:kawa-help@sourceware.org>, <http://sourceware.org/ml/#faqs>
Sender: kawa-owner@sourceware.org
Received: (qmail 93998 invoked by uid 89); 3 May 2017 05:41:14 -0000
Authentication-Results: sourceware.org; auth=none
X-Virus-Found: No
X-Spam-SWARE-Status: No, score=-1.5 required=5.0 tests=AWL,BAYES_00,FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=no version=3.3.2 spammy=kay, Per, HTo:U*per, H*r:sk:kawa@so
X-HELO: mail-ua0-f182.google.com
Received: from mail-ua0-f182.google.com (HELO mail-ua0-f182.google.com) (209.85.217.182) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Wed, 03 May 2017 05:41:13 +0000
Received: by mail-ua0-f182.google.com with SMTP id g49so35297187uaa.1        for <kawa@sourceware.org>; Tue, 02 May 2017 22:41:15 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;        d=1e100.net; s=20161025;        h=x-gm-message-state:mime-version:in-reply-to:references:from:date         :message-id:subject:to:cc;        bh=UzdOzn3BlQuPOteVYy/n9Rypxz+czlaa2GHs6BaOoIE=;        b=mAEph3zHB5A4iELEQwnCsNslZLeJ1etvyouJ1JAPGezdG+U3M5XS8UdXtIwaxGG7//         MDSy3h49W4NywzfDBtIqNxE12PaRkS4tp5NmIJ5FavbrqZzsaQ4tT3fgjzVGjJEkXE45         BnLC9yDOSH0FPkZ64sf0uEkKmMYfCcDSxtpYiitwVw9hUV/8aBuWPyvik3jgkgAsBvkT         lHf50JlvL6BJau6hsDs9O0Lbp/YSuGgG3dM8k9lpRxYiB/6H8PfXpefNKPUJ4BsrkgTP         5jf/EqFcv4BDNbGVrNRrDjVpi2sGwBuzDck7VaEpfjEeWoCtouDkiSiIdra1y2sX2Gys         X77g==
X-Gm-Message-State: AN3rC/6g+eslXlg26aeTd1pOWkc0dYfGIIM5HuhZdyjqHU5i84WUKNRo	D70ZmtnOtAsA9QqmlL5W1weEo7HZgg==
X-Received: by 10.159.32.67 with SMTP id 61mr14461649uam.133.1493790074354; Tue, 02 May 2017 22:41:14 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.176.23.38 with HTTP; Tue, 2 May 2017 22:41:13 -0700 (PDT)
In-Reply-To: <372902db-feaa-e468-2fa9-328313ce1978@bothner.com>
References: <372902db-feaa-e468-2fa9-328313ce1978@bothner.com>
From: Kay Zheng <l04m33@gmail.com>
Date: Wed, 03 May 2017 05:41:00 -0000
Message-ID: <CAJCc8Ox4Dt8ux1EDOKUHfW4PN-4oZZEiOTxHaUv-hbv=ETrjjA@mail.gmail.com>
Subject: Re: Kawa invoke branch merged into master
To: Per Bothner <per@bothner.com>
Cc: Kawa mailing list <kawa@sourceware.org>
Content-Type: text/plain; charset=UTF-8
X-IsSubscribed: yes
X-SW-Source: 2017-q2/txt/msg00044.txt.bz2

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.