From 3d05f458a623cbd11940b76baf42da322b4a85f8 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 20 Sep 2022 14:19:31 +0200
Subject: [PATCH] [ci] use fetchgit instead of gitignoresource
---
nix/frama-clang.nix | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/nix/frama-clang.nix b/nix/frama-clang.nix
index 455ba20b..7ec41fa0 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
--
GitLab