diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1a1b8786302d8b0a1c0f89bad4722f09e0e80d4e..a137e6e48feb47354e49506e8eedd7d185555830 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -8,7 +8,7 @@ stages: ### DEFAULT JOB PARAMETERS default: - tags: [nix] + tags: [nix-v2] ################################################################################ ### VARIABLES 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