search

rafoo / dklib

General purpose, hand-written, dedukti files
2 stars 3 forks source link

More configurable Makefile #4

Closed Gaspi closed 6 years ago

Gaspi commented 6 years ago

Makefile should be configurable through global variables such as DKCHECK and DKDEP. I'd like to be able to do

export DKCHECK=/path/to/my/custom/dkcheck.native
make -C /path/to/dklib
rafoo commented 6 years ago

As you want, note that if you do not want to add Dedukti tools to your path, you can already do make DKCHECK=... all.