Opam install cil error: The compilation of cil.20200321 failed at "make cilly"

zkincaid / duet

Duet: static analysis for unbounded concurrency

http://duet.cs.toronto.edu

MIT License

23 stars 16 forks source link

Open hessam94 opened 1 year ago

hessam94 commented 1 year ago

I tried to install duet but there is an error regarding the cil package. Please see the screen shot below: Screenshot (18)

nclskoh commented 1 year ago

Sorry for the late follow-up. CIL has been patched, and installation should work now.

hessam94 commented 1 year ago

Thanks a lot, will check that