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
b456edd6
Commit
b456edd6
authored
May 04, 2021
by
Virgile Prevosto
Browse files
[nix] update to new interface for plug-in derivation
parent
791aba1e
Changes
1
Hide whitespace changes
Inline
Side-by-side
nix/default.nix
View file @
b456edd6
# paramaterised derivation with dependencies injected (callPackage style)
{
pkgs
,
stdenv
,
src
?
../.
,
opam2nix
,
ocaml
_version
?
"ocamlPackages_latest.ocaml"
,
plugins
?
{
},
ocaml
?
"ocamlPackages_latest.ocaml"
,
plugins
?
{
},
plugin_extend
?
self
:
super
:
{
}
}:
...
...
@@ -13,7 +13,7 @@ let frama_clang_build =
llvm
?
pkgs
.
${
"llvm_"
+
llvm_version
},
llvm_package
?
pkgs
.
${
"llvmPackages_"
+
llvm_version
}
}
:
(
plugins
.
helpers
.
simple_plugin
{
inherit
pkgs
stdenv
src
opam2nix
ocaml
_version
plugins
plugin_extend
;
{
inherit
pkgs
stdenv
src
opam2nix
ocaml
plugins
plugin_extend
;
name
=
"frama-clang-on-llvm-"
+
llvm_version
;
deps
=
[
llvm_package
.
clang-unwrapped
llvm
pkgs
.
gnused
];
opamPackages
=
[
"camlp5=7.14"
];
...
...
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