Thread: Development version of Coq for N900
View Single Post
yakov is offline yakov
2010-03-16 , 10:25
Posts: 3 | Thanked: 1 time | Joined on Mar 2010
#1
The Coq sources are kept, without cleaning them.
Installation procedure for advanced users was used i.e. configuration step was
Code:
~/coq $ ./configure -local -natdynlink no
130M coq_20100317.r12866-armel.tbz2

Thanks to Tom Hutchinson for the tip, with "-natdynlink no" coqc -opt and coqtop.opt works fine too. Everything work! :-)

HTML documentation was generated and included

Code:
~ $ coq/bin/coqtop -v
The Coq Proof Assistant, version trunk (March 2010)
compiled on Mar 16 2010 01:00:20 with OCaml 3.12.0+dev5 (2009-09-04)


PS
Camlp5 and OCaml binaries are also available for Maemo if they are needed. Though I have no time at the present to package things
Last edited by yakov; 2010-03-17 at 00:26.