diff --git a/nix/frama-clang.nix b/nix/frama-clang.nix index 455ba20b7f202cb8069516f3af6c640247ee38ae..7ec41fa0163c242431b1b6418f49f799d8d69eb0 100644 --- a/nix/frama-clang.nix +++ b/nix/frama-clang.nix @@ -4,12 +4,11 @@ , camlp-streams , gnused , llvmPackages -, gitignoreSource }: mk_plugin { plugin-name = "frama-clang-on-llvm-" + llvmPackages.llvm.version; - plugin-src = gitignoreSource ./.. ; + plugin-src = fetchGit { shallow=true ; url=./.. ; } ; additional-build-inputs = [ camlp5 camlp-streams