- Clone dedukti to some folder (prefix it with
.
to disable dune from building it) - run
make && ./deduktiParser.exe .deduktiGithub/libraries > output.out
The program fill first find all the .dk
files in the specified directory and
then parse all of them.
When running make
, you may face the error ``
dune build @fmt --auto-promote
make: dune: No such file or directory
make: *** [Makefile:7: format] Error 127
Make sure dune
is installed and/or run
eval $(opam env)
first.