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

mozart2: fix build.

Browse Source
This commit is contained in:
Marco A L Barbosa
2022-06-07 12:48:34 -03:00
committed by Florian Brandes
parent ea0815ed5c
commit 596285bd48
2 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/compilers/mozart/default.nix
View File

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

10
pkgs/development/compilers/mozart/patch-limits.diff Normal file
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>