Phillipp Schoppmann

Here is a minimal example, together with all the header files needed to compile it: [oblivc-issue-48.tar.gz](https://github.com/samee/obliv-c/files/1406464/oblivc-issue-48.tar.gz) When I use the GCC preprocessor to expand all macros (`gcc -E -P -o...

Adding `-U __HAVE_FLOAT128` or `-U __HAVE_DISTINCT_FLOAT128` doesn't work, so it seems like GCC defines those after processing the command line. Adding `#undef __HAVE_DISTINCT_FLOAT128` before including math.h *does* work, but that...

I'm compiling everything that includes libACK with `-D_Float128=double`, but as I said above, that's more of a workaround than a fix. NixOS seems to have included a package for Obliv-C,...

Another option is to not include math.h at all, but instead declare the functions you need yourself. At some point, I did that as well for ACK (see [this commit](https://bitbucket.org/schoppmp/absentminded-crypto-kit/commits/0caa766ef28e544ca4a87df3a60515f85b3f44d8)),...

I'd also +1 this, as I'd like to use cc_embed_data in https://github.com/google/distributed_point_functions/.

+1 to this issue. I just used `tfenv` and got `No keybase install found, skipping OpenPGP signature verification`. This seems to indicate that the default fallback is doing something insecure....