The Coq mailing list

[<Rajeev.Gore AT anu.edu.au>]

Hi all,

I am not sure whether this is the proper mailing list for asking this 
question, so apologies in advance if it is not.

I am trying to install coqprime. But at a certain point, I get the error 
below.

I am using ubuntu 18.04 and I tried to follow the instructions here 
http://coqprime.gforge.inria.fr/
under the heading "If your number has more than 100 decimal digits ".

A quick search on the "Unable to local library" showed some discussions about 
how one can replace -I with -R but I am afraid that
I am not competent to understand the details.

What am I doing wrong please?

raj

rajeevgore@rajeevgore-900X3C-900X3D-900X4C-900X4D:~/CoqPrime/coqprime$ make 
all
cd Tactic; make all
make[1]: Entering directory '/home/rajeevgore/CoqPrime/coqprime/Tactic'
coqc  -q  -I .   Tactic
make[1]: Leaving directory '/home/rajeevgore/CoqPrime/coqprime/Tactic'
cd N; make all
make[1]: Entering directory '/home/rajeevgore/CoqPrime/coqprime/N'
coqc  -q  -I . -I ../Tactic   NatAux
File "./NatAux.v", line 15, characters 15-21:
Error: Unable to locate library Tactic.
Makefile:112: recipe for target 'NatAux.vo' failed
make[1]: *** [NatAux.vo] Error 1
make[1]: Leaving directory '/home/rajeevgore/CoqPrime/coqprime/N'
Makefile:2: recipe for target 'all' failed
make: *** [all] Error 2


-- 
Rajeev Gore'             
Professor, Logic and Computation Group, and
Associate Director of Research,
Research School of Computer Science
ANU College of Engineering and Computer Science
The Australian National University
Canberra ACT 2601
Tel:   +61-2-61 25 86 03 
Fax:   +61-2-61 25 86 51  
Email: 
Rajeev.Gore AT anu.edu.au
Web:   http://arp.anu.edu.au/~rpg
ANU CRICOS Provider Number - 00120C