gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

mozart2: fix build with cmake4

Browse Source
This commit is contained in:
Rafael Ieda
2025-10-22 19:09:06 -03:00
parent b5d4fb5c91
commit 0449e34b11
1 changed files with 11 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/compilers/mozart/default.nix
+11
View File
@@ -76,6 +76,17 @@ stdenv.mkDerivation rec {
tk
];
postPatch = ''
substituteInPlace {vm,.}/CMakeLists.txt \
--replace-fail "cmake_minimum_required(VERSION 2.8)" "cmake_minimum_required(VERSION 3.10)"
substituteInPlace vm/vm/test/gtest/{googletest,.}/CMakeLists.txt \
--replace-fail "cmake_minimum_required(VERSION 2.6.4)" "cmake_minimum_required(VERSION 3.10)"
substituteInPlace bootcompiler/CMakeLists.txt \
--replace-fail "cmake_minimum_required(VERSION 2.6)" "cmake_minimum_required(VERSION 3.10)"
substituteInPlace {boosthost,opi,wish,stdlib}/CMakeLists.txt \
--replace-fail "cmake_minimum_required(VERSION 2.8.6)" "cmake_minimum_required(VERSION 3.10)"
'';
meta = with lib; {
description = "Open source implementation of Oz 3";
maintainers = with maintainers; [