Merge pull request #176891 from malbarbo/fix-mozart2

mozart2: fix build.
This commit is contained in:
Guillaume Maudoux 2022-06-10 00:18:00 +02:00 committed by GitHub
commit abf6439a3a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 12 additions and 0 deletions

View File

@ -34,6 +34,8 @@ in stdenv.mkDerivation rec {
sha256 = "1hgh1a8hgzgr6781as4c4rc52m2wbazdlw3646s57c719g5xphjz";
};
patches = [ ./patch-limits.diff ];
postConfigure = ''
cp ${bootcompiler} bootcompiler/bootcompiler.jar
'';

View File

@ -0,0 +1,10 @@
--- mozart2-2.0.1.orig/vm/vm/main/core-forward-decl.hh 2018-09-05 03:16:51.000000000 +0200
+++ mozart2-2.0.1/vm/vm/main/core-forward-decl.hh 2021-08-03 10:31:50.281476430 +0200
@@ -36,6 +36,7 @@
#include <cstdint>
#include <ostream>
#include <functional>
+#include <limits>
#include <memory>
#include <cassert>