mirror of
https://github.com/AdaCore/alt-ergo.git
synced 2026-02-12 12:39:26 -08:00
4fdcf811e6
* Use `dynamic_include` to include the generated file dune.inc This PR uses the new feature `dynamic_include` to include our generated file `dune.inc`. We do not push 'dune.inc' anymore!
9 lines
207 B
Plaintext
9 lines
207 B
Plaintext
(subdir runtest
|
|
(dynamic_include ../gentest/dune.inc))
|
|
|
|
(subdir gentest
|
|
(rule
|
|
(deps (source_tree ../tests))
|
|
(action
|
|
(with-stdout-to dune.inc (run ../tools/gentest.exe --kind rule ../tests)))))
|