You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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)
The text was updated successfully, but these errors were encountered:
I'm unable to compile Oblic-C files on Linux. I receive the following error:
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)
The text was updated successfully, but these errors were encountered: