Update required dependencies

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.

MIT License

102 stars 14 forks source link

Closed fortunac closed 4 years ago

fortunac commented 4 years ago

We need to update the list of dependencies WP uses and make sure they are listed in the correct places.

Update site, opam file, and dune files from oUnit to ounit2
- Change any instance of open oUnit to open oUnit2
Add re to the opam and dune files

Files that need changed:

fortunac commented 4 years ago

~~Include Core in the list of dependencies on the site/opam/dune files. (We currently only have Core_kernel.)~~

jtpaasch commented 4 years ago

Include opam install . and opam remove . in the relevant lib/bap_wp/Makefile build targets.

fortunac commented 4 years ago

Closed with #261