search

cil-project / cil

C Intermediate Language
Other
348 stars 86 forks source link

fix _Float64x on M1 macOS #52

Closed vogler closed 2 years ago

vogler commented 2 years ago

Fixes https://github.com/goblint/cil/pull/60#issuecomment-1012539689 by checking __HAVE_FLOAT64X.

vogler commented 2 years ago

Sorry, need to remember to not use those links to open a PR...