Split Fugu .h and .c generation
authorDavid Cock <david.cock@inf.ethz.ch>
Tue, 1 Sep 2015 15:07:12 +0000 (17:07 +0200)
committerDavid Cock <david.cock@inf.ethz.ch>
Tue, 1 Sep 2015 15:07:12 +0000 (17:07 +0200)
commit7fc5c1a0e8a723a484fb9246a6c841ee8289459b
tree82001d614e8e48d8d02490eb36452ad204efe382
parentfb4c88b36463b66fe65be5ea9b2aff0941c60cee
Split Fugu .h and .c generation

Doing them in one step leads to a race in a parallel make, with Fugu being
run twice, and clobbering its previous output.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>
errors/Hakefile
hake/RuleDefs.hs
tools/fugu/Main.lhs