coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq on Android?

From: Daniel Galvez <dt.galvez AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq on Android?
Date: Mon, 16 Oct 2017 22:25:18 -0700
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dt.galvez AT gmail.com; spf=Pass smtp.mailfrom=dt.galvez AT gmail.com; spf=None smtp.helo=postmaster AT mail-oi0-f43.google.com
Ironport-phdr: 9a23:km8RJRIGFoCJCpQw0NmcpTZWNBhigK39O0sv0rFitYgXL/rxwZ3uMQTl6Ol3ixeRBMOAtKIC1rKempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBWB6kG1uDUVA1D0MRd/DuXzAI/bycqthM6o/JiGTwxOhTe5KZx7KAu7v02FutVQjoJmNKsj4hTMq3pMPe9RwDU7dhqogx/g65Lor9ZY+CNKtqd5+g==

It's been a long time since I've done any serious work in Coq, but curiosity brings me out of the depths of lurking on this mailing list.

I'm surprised no one has asked yet: what has motivated more than a few of you to want to install coq on android?

Sincerely,

Daniel

On Mon, Oct 16, 2017 at 9:58 PM, Nicolas Pelletier <nicolas.pelletier3 AT gmail.com> wrote:

Thank you for these links. I could very well need the kind of patch discussed in the PR, but for Coq. I am not familiar enough with the ARM ABI to know which parts of it are necessary for 64bits; but this is worth investigating further.

As for getting OCaml and opam to work, I didn't need anything beyond the termux patches and fixing a few pathes... so 64bits work better than 32bits in this case.

Regards,

-- Nicolas

Daniel Galvez

[Coq-Club] Coq on Android?, Nicolas Pelletier, 10/16/2017
- Re: [Coq-Club] Coq on Android?, Abhishek Anand, 10/16/2017
  - Message not available
    - Re: [Coq-Club] Coq on Android?, Kyle Stemen, 10/16/2017
  - Re: [Coq-Club] Coq on Android?, Nicolas Pelletier, 10/17/2017
    - Re: [Coq-Club] Coq on Android?, Daniel Galvez, 10/17/2017
      - Re: [Coq-Club] Coq on Android?, Pierre Courtieu, 10/17/2017
        
        Re: [Coq-Club] Coq on Android?, Vadim Zaliva, 10/17/2017
        
        Re: [Coq-Club] Coq on Android?, Abhishek Anand, 10/18/2017
        
        Re: [Coq-Club] Coq on Android?, Pierre Courtieu, 10/18/2017
        
        Re: [Coq-Club] Coq on Android?, Abhishek Anand, 10/19/2017
      - Re: [Coq-Club] Coq on Android?, Nicolas Pelletier, 10/18/2017
      - Re: [Coq-Club] Coq on Android?, Laurent Thery, 10/18/2017
- Message not available
  - Re: [Coq-Club] Coq on Android?, Kyle Stemen, 10/16/2017
    - Re: [Coq-Club] Coq on Android?, Nicolas Pelletier, 10/18/2017
- Re: [Coq-Club] Coq on Android?, Kyle Stemen, 10/25/2017