alethkit
alethkit
[Leaving a note for my future self here.]
Trying to - I keep finding more issues as I try to get a full build to work! Currently trying to get a version of OCaml 4.02 to compille: implicit...
Oh, riiiiight. I presume that the fork of CIL that you use works with 4.11.1?
``` File "src/cilint.mli", line 6, characters 36-51: 6 | type cilint = Small of int | Big of Big_int.big_int ^^^^^^^^^^^^^^^ Error: Unbound module Big_int ``` It appears that `num` is...
Strongly considering a port to meson, if only for the sanity of future contributors. Will post more updates.
That makes sense long-term (so possibly later this week), but I still haven't managed to figure out how to get liballocs to build and run tests yet! turns out that...
> No, this should be handled by make making a copy of those files automatically. I think it failed somewhere else, and you are trying to resurrect a post-crash build...
Yeah ... think it's probably worth making it more reproducible/distro-agnostic!
Currently trying to set `export CC_DRIVER=/usr/bin/gcc` to get past an example not building
A segment of it is preserved (I frequently clear my console): ``` /home/aleth/liballocs-clean/contrib/toolsub/wrapper/example/constructor-priority-checker/wrapper: line 14: [rosetta]: command not found make[3]: *** [: systrap.o] Error 1 make[3]: Leaving directory '/home/aleth/liballocs-clean/build/opt' make[2]:...