Like makefile, we can define custom variables.
But I didn’t find out how to do so in dune file.
Does anyone know whether dune support this?
3 posts - 3 participants
↧
Does dune support user-defined variables?
↧