Deducteam/Holide

make install not compatible with opam

fblanqui opened this issue · 0 comments

fblanqui commented

make install installs everything under /usr/local/bin and not in the opam directory.