tangled
alpha
login
or
join now
pyrox.dev
/
nixpkgs
0
fork
atom
lol
0
fork
atom
overview
issues
pulls
pipelines
symcc: unpin LLVM17
Reno Dakota
1 year ago
6ca5e99a
72bf900c
+5
-5
1 changed file
expand all
collapse all
unified
split
pkgs
by-name
sy
symcc
package.nix
+5
-5
pkgs/by-name/sy/symcc/package.nix
···
4
fetchFromGitHub,
5
cmake,
6
ninja,
7
-
llvm_17,
8
-
clang_17,
9
z3,
10
makeWrapper,
11
}:
···
48
nativeBuildInputs = [
49
cmake
50
ninja
51
-
llvm_17
52
-
clang_17
53
makeWrapper
54
];
55
56
buildInputs = [
57
-
llvm_17
58
z3
59
];
60
···
4
fetchFromGitHub,
5
cmake,
6
ninja,
7
+
llvm,
8
+
clang,
9
z3,
10
makeWrapper,
11
}:
···
48
nativeBuildInputs = [
49
cmake
50
ninja
51
+
llvm
52
+
clang
53
makeWrapper
54
];
55
56
buildInputs = [
57
+
llvm
58
z3
59
];
60