Target install_libsail no longer exists

rems-project / isla

Symbolic execution tool for Sail ISA specifications

Other

61 stars 10 forks source link

Closed ric-almeida closed 1 year ago

ric-almeida commented 1 year ago

The make target install_libsail no longer exists in isla-sail.

Alasdair commented 1 year ago

It should just be make install now