Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Stefan Gränitz
Frama Clang
Commits
19f38550
Commit
19f38550
authored
May 05, 2021
by
Virgile Prevosto
Browse files
[nix] use default Frama-C nixpkgs version even for llvm-11
parent
f73100c0
Changes
1
Hide whitespace changes
Inline
Side-by-side
nix/default.nix
View file @
19f38550
...
...
@@ -24,19 +24,9 @@ let frama_clang_build =
''
;
});
in
let
newer_nix
=
pkgs
.
fetchFromGitHub
{
owner
=
"nixos"
;
repo
=
"nixpkgs"
;
rev
=
"bb46a6eb7c6a0faf08263e0564c51910bfbd83c7"
;
sha256
=
"15w1321wbm3vpk4qmj6d9pz3y522c0q32gkccj82c3fandb9ppj6"
;
fetchSubmodules
=
true
;
};
in
let
new_pkgs
=
import
newer_nix
{};
in
(
frama_clang_build
{
llvm_version
=
"9"
;
})
.
extend
(
self
:
super
:
{
on-llvm10
=
(
frama_clang_build
{
llvm_version
=
"10"
;
});
on-llvm11
=
(
frama_clang_build
{
pkgs
=
new_pkgs
;
llvm_version
=
"11"
;});
on-llvm11
=
(
frama_clang_build
{
llvm_version
=
"11"
;
});
})
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment