Gleb Popov
Gleb Popov
I have pushed all changes except the `DATADIR` one. I leave this change in this open PR, as I'm still believe that it is a correct one.
This seems to be merged, closing.
Why introduce errno.h in freestanding? Aren't error codes platform-dependent?
I don't see any functions touching errno in `runtime/Freestanding`. I'm probably missing something?
Yes, putting that into klee-libc now makes more sense, thank you. On other hand, this might pose a problem with FreeBSD - the error codes we have might not match...
> For example on Windows I do not have errno.h at all errno.h on Windows is shipped with ucrt. > perhaps we could pass the defines manually or something? Well,...
The PR looks good to me overall, but I'm not a KLEE developer and can not approve.
Bumped into the same issue as well. The @CyberBotX analysis is correct with only comment that instead of hardcoding the "/usr/local" part of path it is better to call `sysctl("user.localbase")`...
You can prevent a package from updating using `pkg lock`.
You mean, you don't want to explicitly list packages you want to install, but instead do `pkg install -x FreeBSD` and let pkg filter out some of them?