obliv-c
obliv-c copied to clipboard
Unable to compile test files on Linux
I'm unable to compile Oblic-C files on Linux. I receive the following error:
$ cd test/oblivc/editdist/
$ ../../../bin/oblivcc -c editdist.c editdist.oc -I .
/usr/include/stdlib.h:565:12: error: 'reallocarray' undeclared here (not in a function)
565 | __attribute_alloc_size__ ((2, 3))
| ^~~~~~~~~~~~
I tested this on Fedora 36 and additionally in an Ubuntu Docker image by following the instructions in README.md. I'm using GCC version 11.3.0 in the Ubuntu image and 12.2.1 on Fedora, and OCaml version 4.06.0.
Compilation of Obliv-C itself works fine on both platforms, no errors thrown by Make.
(Also, I figured out how to install this on Fedora 36 :D)
Hi @samsapti have you ever solved this? I have the same issue.