Fix out of tree use of common.mk

antalsz / hs-to-coq

Convert Haskell source code to Coq source code

https://hs-to-coq.readthedocs.io

MIT License

279 stars 27 forks source link

Closed trommler closed 4 years ago

trommler commented 5 years ago

Fixes check for definition of HS_TO_COQ_DIR.

lastland commented 4 years ago

Thanks!