bmake clean doesn't work
fblanqui opened this issue · comments
15:46 ~/src/nubo/libraries/arith_fermat (master) bmake clean
bmake: don't know how to make clean. Stop
Error: I was not in the right directory.
Nubo is a repository of interoperable formal proofs written in Dedukti.
fblanqui opened this issue · comments
15:46 ~/src/nubo/libraries/arith_fermat (master) bmake clean
bmake: don't know how to make clean. Stop
Error: I was not in the right directory.