Deducteam / nubo

Nubo is a repository of interoperable formal proofs written in Dedukti.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

README command error

francoisthire opened this issue · comments

I have tried the following commands from the README and get the following error:

saroupille@saroupille-dell:~/Git/nubo$ cd libraries/arith_fermat/sttfa,1.0
saroupille@saroupille-dell:~/Git/nubo/libraries/arith_fermat/sttfa,1.0$ bmake download
bmake: "/home/saroupille/Git/nubo/libraries/arith_fermat/sttfa,1.0/Makefile" line 13: Cannot open /mk/library.mk
bmake: Fatal errors encountered -- cannot continue
bmake: stopped in /home/saroupille/Git/nubo/libraries/arith_fermat/sttfa,1.0

Fixed in devel branch.