Commit Graph

10 Commits

Author SHA1 Message Date
Sandro Jäckel
fccf04b620 treewide: replace -DCMAKE_BUILD_TYPE in cmakeFlags with cmakeBuildType 2023-09-08 14:18:26 +00:00
Nguyễn Gia Phong
558af1d8a5
klee: 2.3 -> 3.0 2023-06-21 18:16:44 +09:00
Gaetan Lepage
608908ed7a lit: move to python-modules 2023-04-29 13:53:50 +02:00
Artturin
f9fdf2d402 treewide: move NIX_CFLAGS_COMPILE to the env attrset
with structuredAttrs lists will be bash arrays which cannot be exported
which will be a issue with some patches and some wrappers like cc-wrapper

this makes it clearer that NIX_CFLAGS_COMPILE must be a string as lists
in env cause a eval failure
2023-02-22 21:23:04 +02:00
Artturin
6f6cc4a22d treewide: use toString on list NIX_CFLAGS_COMPILE
with structuredAttrs lists will be bash arrays which cannot be exported
which will be a issue with some patches and some wrappers like cc-wrapper
2023-02-22 21:23:04 +02:00
Guillaume Girol
33afbf39f6 treewide: switch to nativeCheckInputs
checkInputs used to be added to nativeBuildInputs. Now we have
nativeCheckInputs to do that instead. Doing this treewide change allows
to keep hashes identical to before the introduction of
nativeCheckInputs.
2023-01-21 12:00:00 +00:00
Nguyễn Gia Phong
45af48e472
klee: use the same LLVM version for clang
Currently they are the same, but llvmPackages_11 is hardcoded
which is awkward to override.
2022-08-30 15:08:15 +09:00
Jonas Heinrich
fc4b3a846d
klee: 2.2 -> 2.3
* klee: 2.2 -> 2.3
2022-07-07 09:18:27 -03:00
Morgan Jones
98a951c509 klee: build with klee-uclibc
This ends up enabling more of the KLEE test suite, so apply patches to
fix those too.
2022-03-15 19:21:00 -06:00
Morgan Jones
5f8f72c10c klee: init at 2.2 2022-01-08 15:49:07 -07:00