From a50652b7b37e8a31ae78ac373a4045d5eae717e9 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 8 Nov 2023 15:24:27 +0100
Subject: [PATCH] [nix] better API archive reproducibility
---
nix/api-doc.nix | 2 +-
nix/api-json-doc.nix | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/nix/api-doc.nix b/nix/api-doc.nix
index bb0f15e3a52..b0c7d93aea9 100644
--- a/nix/api-doc.nix
+++ b/nix/api-doc.nix
@@ -22,7 +22,7 @@ stdenv.mkDerivation rec {
dune build -j1 --error-reporting=twice @doc
cp -r _build/default/_doc/_html frama-c-api
echo ".dummy" > excluded
- tar czf frama-c-api.tar.gz -X excluded frama-c-api
+ tar czf frama-c-api.tar.gz -X excluded --owner=0 --group=0 --numeric-owner --sort=name --mtime="$(date --iso-8601 --date "today 00:00:00") 00:00Z" frama-c-api
make server-doc NO_BUILD_FRAMAC=yes
cp -r doc/server frama-c-server-api
diff --git a/nix/api-json-doc.nix b/nix/api-json-doc.nix
index 47ae4d36ace..35125f4131e 100644
--- a/nix/api-json-doc.nix
+++ b/nix/api-json-doc.nix
@@ -22,7 +22,7 @@ stdenv.mkDerivation rec {
dune build -j1 --error-reporting=twice @doc-json
cp -r _build/default/_doc/_html frama-c-api-json
echo ".dummy" > excluded
- tar czf frama-c-api-json.tar.gz -X excluded frama-c-api-json
+ tar czf frama-c-api-json.tar.gz -X excluded --owner=0 --group=0 --numeric-owner --sort=name --mtime="$(date --iso-8601 --date "today 00:00:00") 00:00Z" frama-c-api-json
'';
installPhase = ''
--
GitLab