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

Merge pull request #45004 from jbaum98/flint-darwin

Browse Source 
flint: Add darwin support
This commit is contained in:
Jörg Thalheim 2018-08-14 10:21:08 +02:00 committed by GitHub
commit 96c34ed7a5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/libraries/flint/default.nix
View File

@ -39,7 +39,7 @@ stdenv.mkDerivation rec {
]; ];
# issues with ntl -- https://github.com/wbhart/flint2/issues/487 # issues with ntl -- https://github.com/wbhart/flint2/issues/487
NIX_CFLAGS_COMPILE = [ "-std=c++11" ]; NIX_CXXSTDLIB_COMPILE = [ "-std=c++11" ];
patches = [ patches = [
(fetchpatch { (fetchpatch {
@ -55,7 +55,7 @@ stdenv.mkDerivation rec {
description = ''Fast Library for Number Theory''; description = ''Fast Library for Number Theory'';
license = stdenv.lib.licenses.gpl2Plus; license = stdenv.lib.licenses.gpl2Plus;
maintainers = [stdenv.lib.maintainers.raskin]; maintainers = [stdenv.lib.maintainers.raskin];
platforms = stdenv.lib.platforms.linux; platforms = stdenv.lib.platforms.unix;
homepage = http://www.flintlib.org/; homepage = http://www.flintlib.org/;
downloadPage = "http://www.flintlib.org/downloads.html"; downloadPage = "http://www.flintlib.org/downloads.html";
updateWalker = true; updateWalker = true;

2
pkgs/development/libraries/mpir/default.nix
View File

@ -18,7 +18,7 @@ stdenv.mkDerivation rec {
description = ''A highly optimised library for bignum arithmetic forked from GMP''; description = ''A highly optimised library for bignum arithmetic forked from GMP'';
license = stdenv.lib.licenses.lgpl3Plus; license = stdenv.lib.licenses.lgpl3Plus;
maintainers = [stdenv.lib.maintainers.raskin]; maintainers = [stdenv.lib.maintainers.raskin];
platforms = stdenv.lib.platforms.linux; platforms = stdenv.lib.platforms.unix;
downloadPage = "http://mpir.org/downloads.html"; downloadPage = "http://mpir.org/downloads.html";
homepage = http://mpir.org/; homepage = http://mpir.org/;
updateWalker = true; updateWalker = true;