search

DeepSec-prover / deepsec

DEciding Equivalence Properties in SECurity protocols
GNU General Public License v3.0
17 stars 2 forks source link

使用install deepsec #20

Closed super-logo closed 4 years ago

super-logo commented 5 years ago

when i install deepsec with make, this appears 2019-01-16 18-11-33

VincentCheval commented 5 years ago

So sorry, I have missed this message .... I don't know if this issue is still ongoing.

First I think you should not use sudo to compile. Second, the problem may come from a problem of ocaml version. Try with the latest ocaml version. Don't forget also to do a make clean before doing make