ocaml lib symlink should work with implicit Verdi_PATH

uwplse / verdi-raft

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

BSD 2-Clause "Simplified" License

183 stars 19 forks source link

ocaml lib symlink should work with implicit Verdi_PATH #10

Closed palmskog closed 8 years ago

palmskog commented 8 years ago

Fixes the issue that the symlink to Verdi's ocaml lib is broken when using implicit Verdi_PATH. Also avoids creating symlink when Verdi is not found at Verdi_PATH.