History log of /seL4-l4v-master/HOL4/examples/formal-languages/regular/regular-play/lib/Holmakefile
Revision Date Author Comments
# d4ae1276 28-Oct-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

Rearrange regular-play's Holmakefiles to get example to work again

Because multidir Holmake assesses dependencies all at once, before
anything is built, it's hard to get automatic dependency analysis to
work accurately when a chunk of the necessary files are built part-way
through the process.