Saluki doesn't compile - Githubissues

BinaryAnalysisPlatform / bap-plugins

BAP Plugins Repository

MIT License

57 stars 15 forks source link

Saluki doesn't compile #30

Open aaronjeline opened 5 years ago

aaronjeline commented 5 years ago

Getting compilation errors for soluku: make File "state.ml", line 53, characters 31-38: Error: Unbound value Map.set

ivg commented 5 years ago

The bap-plugins repository follows the main bap repository and now requires Core_kernel v0.11. If you want to use Saluki with bap 1.5 then either checkout the bap-1.5 release using git or use the opam source bap-saluki command, to obtain the 1.5 version directly from opam (provided you're using opam)