Currently, the archives generated by the tool for the binary package contain duplicate files. This PR removes those duplicate files.
Indeed, opam list files also outputs directory, which when passed to tar includes all the content of the directory in the archive. This results in files present twice (or more) in the archive.
I also changed the order of arguments for Result.fold_list to make it more usable with infix operators such as |> and >>|.
panglesd
commented
2 years ago
Currently, the archives generated by the tool for the binary package contain duplicate files. This PR removes those duplicate files.
Indeed,
opam list filesalso outputs directory, which when passed to tar includes all the content of the directory in the archive. This results in files present twice (or more) in the archive.I also changed the order of arguments for
Result.fold_listto make it more usable with infix operators such as|>and>>|.