Merge pull request #236797 from fgaz/organicmaps/2023.06.04-13

organicmaps: 2023.05.08-7 -> 2023.06.04-13
This commit is contained in:
Francesco Gazzetta 2023-08-01 11:19:32 +02:00 committed by GitHub
commit e6b0a2a268
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -21,13 +21,13 @@
mkDerivation rec {
pname = "organicmaps";
version = "2023.05.08-7";
version = "2023.06.04-13";
src = fetchFromGitHub {
owner = "organicmaps";
repo = "organicmaps";
rev = "${version}-android";
sha256 = "sha256-V7qTi5NiZf+1voZSHfuAyfMeTeiYfs/CoOQ2zweKmaU=";
hash = "sha256-HoEOKN99ClR1sa8YFZcS9XomtXnTRdAXS0iQEdDrhvc=";
fetchSubmodules = true;
};
@ -37,6 +37,9 @@ mkDerivation rec {
# crude fix for https://github.com/organicmaps/organicmaps/issues/1862
echo "echo ${lib.replaceStrings ["." "-"] ["" ""] version}" > tools/unix/version.sh
# TODO use system boost instead, see https://github.com/organicmaps/organicmaps/issues/5345
patchShebangs 3party/boost/tools/build/src/engine/build.sh
'';
nativeBuildInputs = [