Skip to content
Snippets Groups Projects
Commit a50652b7 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[nix] better API archive reproducibility

parent 51724496
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
nix/api-doc.nix
+ 1
− 1
View file @ a50652b7
...@@ -22,7 +22,7 @@ stdenv.mkDerivation rec { ...@@ -22,7 +22,7 @@ stdenv.mkDerivation rec {
dune build -j1 --error-reporting=twice @doc dune build -j1 --error-reporting=twice @doc
cp -r _build/default/_doc/_html frama-c-api cp -r _build/default/_doc/_html frama-c-api
echo ".dummy" > excluded 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 make server-doc NO_BUILD_FRAMAC=yes
cp -r doc/server frama-c-server-api cp -r doc/server frama-c-server-api
......
nix/api-json-doc.nix
+ 1
− 1
View file @ a50652b7
...@@ -22,7 +22,7 @@ stdenv.mkDerivation rec { ...@@ -22,7 +22,7 @@ stdenv.mkDerivation rec {
dune build -j1 --error-reporting=twice @doc-json dune build -j1 --error-reporting=twice @doc-json
cp -r _build/default/_doc/_html frama-c-api-json cp -r _build/default/_doc/_html frama-c-api-json
echo ".dummy" > excluded 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 = '' installPhase = ''
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment