nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 23:13:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #236152 from wegank/mozart2-boost

Browse Source 
mozart2: unpin boost169
This commit is contained in:
Weijia Wang 2023-06-06 10:55:42 +03:00 committed by GitHub
commit 8498c52943
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 14 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,11 +1,10 @@
{ lib
, fetchFromGitHub
, fetchurl
, fetchpatch
, cmake
, unzip
, makeWrapper
, boost169
, pinnedBoost ? boost169
, boost
, llvmPackages
, gmp
, emacs
@ -33,7 +32,14 @@ in stdenv.mkDerivation rec {
sha256 = "1hgh1a8hgzgr6781as4c4rc52m2wbazdlw3646s57c719g5xphjz";
};
patches = [ ./patch-limits.diff ];
patches = [
./patch-limits.diff
(fetchpatch {
name = "remove-uses-of-deprecated-boost-apis.patch";
url = "https://github.com/mozart/mozart2/commit/4256d3a9122e1cbb01400a1807bdee66088ff274.patch";
hash = "sha256-AnOrBnxoCxqis+RdCsq8EKBg//jcNHSOFYUvf7vh+Hc=";
})
];
postConfigure = ''
cp ${bootcompiler} bootcompiler/bootcompiler.jar
@ -55,7 +61,7 @@ in stdenv.mkDerivation rec {
'';
buildInputs = [
pinnedBoost
boost
gmp
emacs
jre_headless
@ -68,6 +74,9 @@ in stdenv.mkDerivation rec {
maintainers = with maintainers; [ layus h7x4 ];
license = licenses.bsd2;
homepage = "https://mozart.github.io";
platforms = platforms.all;
# Trace/BPT trap: 5
broken = stdenv.isDarwin;
};
}