commit 7e7469589bda977d07ef0c6a9d73388ab532c55f · pyrox.dev/nixpkgs

+2 -2

pkgs/by-name/ms/msolve/package.nix

···

       3
        
         stdenv,

     

       4
        
         fetchFromGitHub,

     

       5
        
         autoreconfHook,

     

       6
       -
         flint3,

     

       7
        
         gmp,

     

       8
        
         mpfr,

     

       9
        
         llvmPackages,

     
···

       29
        
         ];

     

       30
        
       

     

       31
        
         buildInputs = [

     

       32
       -
           flint3

     

       33
        
           gmp

     

       34
        
           mpfr

     

       35
        
         ]

···

       3
        
         stdenv,

     

       4
        
         fetchFromGitHub,

     

       5
        
         autoreconfHook,

     

       6
       +
         flint,

     

       7
        
         gmp,

     

       8
        
         mpfr,

     

       9
        
         llvmPackages,

     
···

       29
        
         ];

     

       30
        
       

     

       31
        
         buildInputs = [

     

       32
       +
           flint

     

       33
        
           gmp

     

       34
        
           mpfr

     

       35
        
         ]

+2 -2

pkgs/by-name/no/normaliz/package.nix

···

       4
        
         fetchFromGitHub,

     

       5
        
         autoreconfHook,

     

       6
        
         gmpxx,

     

       7
       -
         flint3,

     

       8
        
         nauty,

     

       9
        
       }:

     

       10
        
       

     
···

       21
        
       

     

       22
        
         buildInputs = [

     

       23
        
           gmpxx

     

       24
       -
           flint3

     

       25
        
           nauty

     

       26
        
         ];

     

       27

···

       4
        
         fetchFromGitHub,

     

       5
        
         autoreconfHook,

     

       6
        
         gmpxx,

     

       7
       +
         flint,

     

       8
        
         nauty,

     

       9
        
       }:

     

       10
        
       

     
···

       21
        
       

     

       22
        
         buildInputs = [

     

       23
        
           gmpxx

     

       24
       +
           flint

     

       25
        
           nauty

     

       26
        
         ];

     

       27

+2 -2

pkgs/by-name/pp/pplite/package.nix

···

       3
        
         lib,

     

       4
        
         fetchurl,

     

       5
        
         fetchpatch,

     

       6
       -
         flint3,

     

       7
        
         gmp,

     

       8
        
       }:

     

       9
        
       

     
···

       17
        
         };

     

       18
        
       

     

       19
        
         buildInputs = [

     

       20
       -
           flint3

     

       21
        
           gmp

     

       22
        
         ];

     

       23

···

       3
        
         lib,

     

       4
        
         fetchurl,

     

       5
        
         fetchpatch,

     

       6
       +
         flint,

     

       7
        
         gmp,

     

       8
        
       }:

     

       9
        
       

     
···

       17
        
         };

     

       18
        
       

     

       19
        
         buildInputs = [

     

       20
       +
           flint

     

       21
        
           gmp

     

       22
        
         ];

     

       23

+2 -2

pkgs/by-name/s7/s7/package.nix

···

       3
        
         fetchFromGitLab,

     

       4
        
         stdenv,

     

       5
        
       

     

       6
       -
         flint3,

     

       7
        
         gmp,

     

       8
        
         libmpc,

     

       9
        
         mpfr,

     
···

       37
        
         };

     

       38
        
       

     

       39
        
         buildInputs =

     

       40
       -
           lib.optional withArb flint3

     

       41
        
           ++ lib.optionals withGMP [

     

       42
        
             gmp

     

       43
        
             mpfr

···

       3
        
         fetchFromGitLab,

     

       4
        
         stdenv,

     

       5
        
       

     

       6
       +
         flint,

     

       7
        
         gmp,

     

       8
        
         libmpc,

     

       9
        
         mpfr,

     
···

       37
        
         };

     

       38
        
       

     

       39
        
         buildInputs =

     

       40
       +
           lib.optional withArb flint

     

       41
        
           ++ lib.optionals withGMP [

     

       42
        
             gmp

     

       43
        
             mpfr

+4 -4

pkgs/by-name/sa/sage/package.nix

···

       17
        
             self: super: {

     

       18
        
               # `sagelib`, i.e. all of sage except some wrappers and runtime dependencies

     

       19
        
               sagelib = self.callPackage ./sagelib.nix {

     

       20
       -
                 inherit flint3;

     

       21
        
                 inherit sage-src env-locations singular;

     

       22
        
                 inherit (maxima) lisp-compiler;

     

       23
        
                 linbox = pkgs.linbox;

     
···

       79
        
             python3

     

       80
        
             singular

     

       81
        
             palp

     

       82
       -
             flint3

     

       83
        
             pythonEnv

     

       84
        
             maxima

     

       85
        
             ;

     
···

       142
        
             extraLibs = pythonRuntimeDeps;

     

       143
        
           }; # make the libs accessible

     

       144
        
       

     

       145
       -
         singular = pkgs.singular.override { inherit flint3; };

     

       146
        
       

     

       147
        
         maxima = pkgs.maxima-ecl.override {

     

       148
        
           lisp-compiler = pkgs.ecl.override {

     
···

       164
        
         # openblas instead of openblasCompat. Apparently other packages somehow use flints

     

       165
        
         # blas when it is available. Alternative would be to override flint to use

     

       166
        
         # openblasCompat.

     

       167
       -
         flint3 = pkgs.flint3.override { withBlas = false; };

     

       168
        
       

     

       169
        
         # Multiple palp dimensions need to be available and sage expects them all to be

     

       170
        
         # in the same folder.

···

       17
        
             self: super: {

     

       18
        
               # `sagelib`, i.e. all of sage except some wrappers and runtime dependencies

     

       19
        
               sagelib = self.callPackage ./sagelib.nix {

     

       20
       +
                 inherit flint;

     

       21
        
                 inherit sage-src env-locations singular;

     

       22
        
                 inherit (maxima) lisp-compiler;

     

       23
        
                 linbox = pkgs.linbox;

     
···

       79
        
             python3

     

       80
        
             singular

     

       81
        
             palp

     

       82
       +
             flint

     

       83
        
             pythonEnv

     

       84
        
             maxima

     

       85
        
             ;

     
···

       142
        
             extraLibs = pythonRuntimeDeps;

     

       143
        
           }; # make the libs accessible

     

       144
        
       

     

       145
       +
         singular = pkgs.singular.override { inherit flint; };

     

       146
        
       

     

       147
        
         maxima = pkgs.maxima-ecl.override {

     

       148
        
           lisp-compiler = pkgs.ecl.override {

     
···

       164
        
         # openblas instead of openblasCompat. Apparently other packages somehow use flints

     

       165
        
         # blas when it is available. Alternative would be to override flint to use

     

       166
        
         # openblasCompat.

     

       167
       +
         flint = pkgs.flint.override { withBlas = false; };

     

       168
        
       

     

       169
        
         # Multiple palp dimensions need to be available and sage expects them all to be

     

       170
        
         # in the same folder.

+3 -3

pkgs/by-name/sa/sage/sage-env.nix

···

       43
        
         rubiks,

     

       44
        
         blas,

     

       45
        
         lapack,

     

       46
       -
         flint3,

     

       47
        
         gmp,

     

       48
        
         mpfr,

     

       49
        
         zlib,

     
···

       167
        
               export LDFLAGS='${

     

       168
        
                 lib.concatStringsSep " " (

     

       169
        
                   map (pkg: "-L${pkg}/lib") [

     

       170
       -
                     flint3

     

       171
        
                     gap

     

       172
        
                     glpk

     

       173
        
                     gmp

     
···

       187
        
                     singular

     

       188
        
                     gmp.dev

     

       189
        
                     glpk

     

       190
       -
                     flint3

     

       191
        
                     gap

     

       192
        
                     mpfr.dev

     

       193
        
                   ]

···

       43
        
         rubiks,

     

       44
        
         blas,

     

       45
        
         lapack,

     

       46
       +
         flint,

     

       47
        
         gmp,

     

       48
        
         mpfr,

     

       49
        
         zlib,

     
···

       167
        
               export LDFLAGS='${

     

       168
        
                 lib.concatStringsSep " " (

     

       169
        
                   map (pkg: "-L${pkg}/lib") [

     

       170
       +
                     flint

     

       171
        
                     gap

     

       172
        
                     glpk

     

       173
        
                     gmp

     
···

       187
        
                     singular

     

       188
        
                     gmp.dev

     

       189
        
                     glpk

     

       190
       +
                     flint

     

       191
        
                     gap

     

       192
        
                     mpfr.dev

     

       193
        
                   ]

+2 -2

pkgs/by-name/sa/sage/sagelib.nix

···

       21
        
         eclib,

     

       22
        
         ecm,

     

       23
        
         fflas-ffpack,

     

       24
       -
         flint3,

     

       25
        
         gap,

     

       26
        
         giac,

     

       27
        
         givaro,

     
···

       136
        
           eclib

     

       137
        
           ecm

     

       138
        
           fflas-ffpack

     

       139
       -
           flint3

     

       140
        
           gap

     

       141
        
           giac

     

       142
        
           givaro

···

       21
        
         eclib,

     

       22
        
         ecm,

     

       23
        
         fflas-ffpack,

     

       24
       +
         flint,

     

       25
        
         gap,

     

       26
        
         giac,

     

       27
        
         givaro,

     
···

       136
        
           eclib

     

       137
        
           ecm

     

       138
        
           fflas-ffpack

     

       139
       +
           flint

     

       140
        
           gap

     

       141
        
           giac

     

       142
        
           givaro

+3 -3

pkgs/by-name/si/singular/package.nix

···

       15
        
         sharutils,

     

       16
        
         file,

     

       17
        
         getconf,

     

       18
       -
         flint3,

     

       19
        
         ntl,

     

       20
        
         mpfr,

     

       21
        
         cddlib,

     
···

       52
        
         configureFlags = [

     

       53
        
           "--enable-gfanlib"

     

       54
        
           "--with-ntl=${ntl}"

     

       55
       -
           "--with-flint=${flint3}"

     

       56
        
         ]

     

       57
        
         ++ lib.optionals enableDocs [

     

       58
        
           "--enable-doc-build"

     
···

       88
        
         buildInputs = [

     

       89
        
           # necessary

     

       90
        
           gmp

     

       91
       -
           flint3

     

       92
        
           # by upstream recommended but optional

     

       93
        
           ncurses

     

       94
        
           readline

···

       15
        
         sharutils,

     

       16
        
         file,

     

       17
        
         getconf,

     

       18
       +
         flint,

     

       19
        
         ntl,

     

       20
        
         mpfr,

     

       21
        
         cddlib,

     
···

       52
        
         configureFlags = [

     

       53
        
           "--enable-gfanlib"

     

       54
        
           "--with-ntl=${ntl}"

     

       55
       +
           "--with-flint=${flint}"

     

       56
        
         ]

     

       57
        
         ++ lib.optionals enableDocs [

     

       58
        
           "--enable-doc-build"

     
···

       88
        
         buildInputs = [

     

       89
        
           # necessary

     

       90
        
           gmp

     

       91
       +
           flint

     

       92
        
           # by upstream recommended but optional

     

       93
        
           ncurses

     

       94
        
           readline

+2 -2

pkgs/by-name/sy/symengine/package.nix

···

       4
        
         fetchFromGitHub,

     

       5
        
         cmake,

     

       6
        
         gmp,

     

       7
       -
         flint3,

     

       8
        
         mpfr,

     

       9
        
         libmpc,

     

       10
        
         withShared ? true,

     
···

       25
        
       

     

       26
        
         buildInputs = [

     

       27
        
           gmp

     

       28
       -
           flint3

     

       29
        
           mpfr

     

       30
        
           libmpc

     

       31
        
         ];

···

       4
        
         fetchFromGitHub,

     

       5
        
         cmake,

     

       6
        
         gmp,

     

       7
       +
         flint,

     

       8
        
         mpfr,

     

       9
        
         libmpc,

     

       10
        
         withShared ? true,

     
···

       25
        
       

     

       26
        
         buildInputs = [

     

       27
        
           gmp

     

       28
       +
           flint

     

       29
        
           mpfr

     

       30
        
           libmpc

     

       31
        
         ];

+2 -2

pkgs/development/ocaml-modules/apron/default.nix

···

       10
        
         findlib,

     

       11
        
         camlidl,

     

       12
        
         mlgmpidl,

     

       13
       -
         flint3,

     

       14
        
         pplite,

     

       15
        
       }:

     

       16
        
       

     
···

       34
        
           mpfr

     

       35
        
           ppl

     

       36
        
           camlidl

     

       37
       -
           flint3

     

       38
        
           pplite

     

       39
        
         ];

     

       40
        
         propagatedBuildInputs = [ mlgmpidl ];

···

       10
        
         findlib,

     

       11
        
         camlidl,

     

       12
        
         mlgmpidl,

     

       13
       +
         flint,

     

       14
        
         pplite,

     

       15
        
       }:

     

       16
        
       

     
···

       34
        
           mpfr

     

       35
        
           ppl

     

       36
        
           camlidl

     

       37
       +
           flint

     

       38
        
           pplite

     

       39
        
         ];

     

       40
        
         propagatedBuildInputs = [ mlgmpidl ];

+2 -2

pkgs/development/ocaml-modules/mopsa/default.nix

···

       5
        
         clang,

     

       6
        
         libclang,

     

       7
        
         libllvm,

     

       8
       -
         flint3,

     

       9
        
         mpfr,

     

       10
        
         pplite,

     

       11
        
         ocaml,

     
···

       39
        
         buildInputs = [

     

       40
        
           arg-complete

     

       41
        
           camlidl

     

       42
       -
           flint3

     

       43
        
           libclang

     

       44
        
           mpfr

     

       45
        
           pplite

···

       5
        
         clang,

     

       6
        
         libclang,

     

       7
        
         libllvm,

     

       8
       +
         flint,

     

       9
        
         mpfr,

     

       10
        
         pplite,

     

       11
        
         ocaml,

     
···

       39
        
         buildInputs = [

     

       40
        
           arg-complete

     

       41
        
           camlidl

     

       42
       +
           flint

     

       43
        
           libclang

     

       44
        
           mpfr

     

       45
        
           pplite

+1 -1

pkgs/development/r-modules/default.nix

···

       503
        
             pkg-config

     

       504
        
             gmp.dev

     

       505
        
             mpfr.dev

     

       506
       -
             flint3

     

       507
        
           ];

     

       508
        
           fingerPro = [ pkgs.gsl ];

     

       509
        
           Formula = [ pkgs.gmp ];

···

       503
        
             pkg-config

     

       504
        
             gmp.dev

     

       505
        
             mpfr.dev

     

       506
       +
             flint

     

       507
        
           ];

     

       508
        
           fingerPro = [ pkgs.gsl ];

     

       509
        
           Formula = [ pkgs.gmp ];