search

SRI-CSL / PVS

The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
135 stars 32 forks source link

Remove duplicate definition of __longjmp_chk #78

Closed jamesjer closed 4 years ago

jamesjer commented 4 years ago

This causes a build failure for me on Fedora 31 due to duplicate definitions of __longjmp_chk. The workaround seems to be for a very old version of glibc. Do you still have some system that needs it?

jamesjer commented 4 years ago

Updated for git head.