draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.
MIT License
102 stars 14 forks source link

makefile clean and rebuild plugin upon lib change #255

Closed DieracDelta closed 4 years ago

DieracDelta commented 4 years ago

Addresses #252. The change allows us to get around a bug in ocamlbuild that does not relink against a rebuild library when using a cache. Instead, this introduces a change in the plugin file that cleans the plugin directory upon a change to the library. Now, we can run make instead of make clean && make when we've made changes to the library and want the plugin and library to be rebuilt.