|
Notes |
|
|
(0001016)
|
|
pbone
|
|
2018-11-09 23:38
|
|
|
|
|
(0001017)
|
|
zs
|
|
2018-11-09 23:41
|
|
This is working as designed. Mmc does not generate .mh files directly;
it generated .mh.tmp files, and then invokes mercury_update_interface
to copy that across to the .mh file IF AND ONLY IF the new contents
are different from the old contents. This saves a huge number of
unnecessary recompilations. We do NOT want to undo this optimization
just because your Makefile does not express all the dependencies.
I think you need to change your Makefile to express the dependency
of all the modules that need pz_format.h on pz_format.h directly,
not through pz.m. |
|
|
|
(0001018)
|
|
pbone
|
|
2018-11-17 22:40
|
|
|
I'll double check but I think I've only put this dependency all the .m files that that have a C FFI #include for pz_format.h. If I could also tell Mercury (easily?) that pz.write.o depends on pz_format.h because it reads pz.mh then that seems like the best option. I'll double check. |
|