search

angr / angr-dev

Some helper scripts to set up an environment for angr development.
BSD 2-Clause "Simplified" License
114 stars 95 forks source link

Fix issue with bad libgcc package name on Debian sid #150

Closed novafacing closed 2 years ago

novafacing commented 2 years ago

setup.sh assumes all Debians are created equal, but it turns out that libgcc is called something else on not-ubuntu. This should let it run on Ubuntu and vanilla Debian :)

twizmwazin commented 2 years ago

I think this is the case on newer Ubuntu as well, debian changed it since whenever Ubuntu merged in last for 20.04, because I think this package changed on 22.04.

novafacing commented 2 years ago

Ah ok, then the check should probably be changed to check for a version then, not whether the platform is Debian or Ubuntu...I don't have much time this weekend but I'll try and check through the popular debian based distros and see when they changed the package name and fix this PR.

github-actions[bot] commented 2 years ago

This pull request has been marked as stale because it has no recent activity. Please comment or add the pinned tag to prevent this issue from being closed.

github-actions[bot] commented 2 years ago

This issue has been closed due to inactivity.