search

gmalecha / coq-ltac-iter

Access hint databases from tactics.
MIT License
12 stars 3 forks source link

build problems #3

Closed jonleivent closed 8 years ago

jonleivent commented 8 years ago

I just tried building the latest version, and got this:

make-out.txt

gmalecha commented 8 years ago

This package now depends on PluginUtils (previously I had just copy-pasted some of that code into this repo). Once the opam pull request is merged, you should be able to install it via opam install coq-ltac-iter. I will update the documentation.

gmalecha commented 8 years ago

README.md updated in a54388401c39eefcdb39aa7c0a1d5165a2c00968