coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Problem installing Coq in termux using opam

From: Bernard Hurley <bernard AT marcade.biz>
To: <coq-club AT inria.fr>
Subject: [Coq-Club] Problem installing Coq in termux using opam
Date: Mon, 15 Apr 2019 18:35:15 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=bernard AT marcade.biz; spf=Fail smtp.mailfrom=bernard AT marcade.biz; spf=None smtp.helo=postmaster AT snares-penguin.marcade.biz
Ironport-phdr: 9a23:FM7TWBeXMuWqxi8/L7CxwI+blGMj4u6mDksu8pMizoh2WeGdxcuyYB7h7PlgxGXEQZ/co6odzbaP6ua6CCdZuM/J8ChbNsAVD1ld0YRetjdjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9fbytScbdgMutyu+95YDYbRlWizqhe7NyKwi9oRnMusUMjoZuN7s9xgHXrnZMdOha2H5kKU+OlBr4+su84YRv/itNt/497cJMTbn2c6ElRrFEEToqNHw46tf2vhfZVwuP4XUcUmQSkhVWBgXO8Q/3UJTsvCbkr+RxwCaVM9H4QrAyQjSi8rxkSAT0hycdNj4263/Yh8pth69Guh2hphh/w4nJYIGJMfd1Y63Qcc8GSWdHQ81cUTFKDIGhYIsVF+cPPfhWoZTzqVUNohSxGQaiCfjzyj9RnHL6wbE23/g7HAzAwQcuH8gOsHPRrNjtKaodT/q1zK/SwjXZcvxdxDXz6JXSchAlv/6NXa97fM3KxkYxDQPFiE+fqZb4MD6O0+QCqXKb4PZ6Wu2ylWErsRp+ojmux8o1jITCm4wbylfB9SpjwYY1I8W1SElnbtG+FZtQszuWN4xsQsMtRWxjpSU0yqUetJKmfiUHyY4ryhDfZvCdbYSE/xzuWPyfLDp7gn9uZaixiAyo8Ue6z+3xTsm030hOripCitTMrXYN2AbJ6seZUftx51+h1iiJ1wDc9+FEIEY0mbDeK5E72L4/ioAcvlndESPsg0r2ja6Xel0l+uiu9evnfq3rqoKeOoJ1kA3zPKQjltahDeglPAUCRWaW9Oek2L3m50L5QbFKjvMskqnetZDXPd8UqbCjAw9TyIkj8QuwAiyj0NsCh3kIMEhKdw+ZgITzIF7OIfH5Ae+lg1uwiDdr2+zGPrr5D5rRKXjDia7tcqp5605B0wU+1stf5pJRCrEZOv3/QE7xtNrCDh84KQO42ejnCM8unr8ZDDaEBbbcO6fPu3eJ4PguKq+CftlGliz6Lq0P6uTohGU10X8AZ62kzNNDYn2iGP18L22caGDni9sMV20LrFxtH6TRlFSeXGsLND6JVKUm62RjUdP0PcL4XomoxYe58mK+F5xSaHpBDwnXQ3LhbY6NV/pKYiOAcJM4zm40EIO5Qopk7imA8RfgwuM8fO/d4CYRuZ+l3tlntbWKyEMCsAdsBsHY6FmjCmF5mmRSF20t2qllrFc40lqF3rV5hbpdHMZY7v9EFA07J8yEwg==

Hi all,

I have a Fairphone 2 running Fairphone Open and have termux installed.
Together with opam 2.0.2-1 and ocaml 4.07.1. When I run

opam install coq

I get I get a segmentation fault. The full output is:

=====================================================

The following actions will be performed:
?6?4 install coq 8.9.0

<><> Gathering sources ><><><><><><><><><>
[coq.8.9.0] found in cache

<><> Processing actions <><><><><><><><><>
[ERROR] The compilation of coq failed at

"/data/data/com.termux/files/home/.opam/default/.opam-switch/build/coq.8.9.0/./configure
-configdir
/data/data/com.termux/files/home/.opam/default/lib/coq/config
-prefix
/data/data/com.termux/files/home/.opam/default
-mandir
/data/data/com.termux/files/home/.opam/default/man
-docdir
/data/data/com.termux/files/home/.opam/default/doc
-libdir
/data/data/com.termux/files/home/.opam/default/lib/coq
-datadir
/data/data/com.termux/files/home/.opam/default/share/coq
-camlp5dir/data/data/com.termux/files/home/.opam/default/lib/camlp5
-coqide no".

#=== ERROR while compiling coq.8.9.0 ====#
# context 2.0.3 | linux/arm32 | ocaml-system.4.07.1 |
https://opam.ocaml.org#5b9162fe
# path ~/.opam/default/.opam-switch/build/coq.8.9.0
# command ~/.opam/default/.opam-switch/build/coq.8.9.0/./configure
-configdir /data/data/com.termux/files/home/.opam/default/lib/coq/config
-prefix /data/data/com.termux/files/home/.opam/default -mandir
/data/data/com.termux/files/home/.opam/default/man -docdir
/data/data/com.termux/files/home/.opam/default/doc -libdir
/data/data/com.termux/files/home/.opam/default/lib/coq -datadir
/data/data/com.termux/files/home/.opam/default/share/coq -camlp5dir
/data/data/com.termux/files/home/.opam/default/lib/camlp5 -coqide no
# exit-code 139
# env-file ~/.opam/log/coq-13113-d0f245.env
# output-file ~/.opam/log/coq-13113-d0f245.out
### output ###
# Segmentation fault<><> Error report <><><><><><><><><><><><>
???? The following actions failed
?? ?? build coq 8.9.0
????
?7?1?? No changes have been performed

==========================================================

Has anyone any ideas how to fix this?

Regards

Bernard

--

Your fortune cookie for today:

QOTD:
"There may be no excuse for laziness, but I'm sure looking."

** Fortune cookies are brought to you by GNU/Linux "fortunes" **

[Coq-Club] Problem installing Coq in termux using opam, Bernard Hurley, 04/15/2019