aboutsummaryrefslogtreecommitdiff
path: root/infra/libkookie/nixpkgs/pkgs/development/libraries/science/math/lrs
diff options
context:
space:
mode:
authorMx Kookie <kookie@spacekookie.de>2020-10-31 19:35:09 +0100
committerMx Kookie <kookie@spacekookie.de>2020-10-31 19:35:09 +0100
commitc4625b175f8200f643fd6e11010932ea44c78433 (patch)
treebce3f89888c8ac3991fa5569a878a9eab6801ccc /infra/libkookie/nixpkgs/pkgs/development/libraries/science/math/lrs
parent49f735974dd103039ddc4cb576bb76555164a9e7 (diff)
parentd661aa56a8843e991261510c1bb28fdc2f6975ae (diff)
Add 'infra/libkookie/' from commit 'd661aa56a8843e991261510c1bb28fdc2f6975ae'
git-subtree-dir: infra/libkookie git-subtree-mainline: 49f735974dd103039ddc4cb576bb76555164a9e7 git-subtree-split: d661aa56a8843e991261510c1bb28fdc2f6975ae
Diffstat (limited to 'infra/libkookie/nixpkgs/pkgs/development/libraries/science/math/lrs')
-rw-r--r--infra/libkookie/nixpkgs/pkgs/development/libraries/science/math/lrs/default.nix26
1 files changed, 26 insertions, 0 deletions
diff --git a/infra/libkookie/nixpkgs/pkgs/development/libraries/science/math/lrs/default.nix b/infra/libkookie/nixpkgs/pkgs/development/libraries/science/math/lrs/default.nix
new file mode 100644
index 000000000000..b0cfbca5aa33
--- /dev/null
+++ b/infra/libkookie/nixpkgs/pkgs/development/libraries/science/math/lrs/default.nix
@@ -0,0 +1,26 @@
+{stdenv, fetchurl, gmp}:
+
+stdenv.mkDerivation rec {
+ pname = "lrs";
+ version = "7.0";
+
+ src = fetchurl {
+ url = "http://cgm.cs.mcgill.ca/~avis/C/lrslib/archive/lrslib-070.tar.gz";
+ sha256 = "1zjdmkjracz695k73c2pvipc0skpyn1wzagkhilsvcw9pqljpwg9";
+ };
+
+ buildInputs = [ gmp ];
+
+ preBuild = ''
+ export makeFlags="$makeFlags prefix=$out";
+ '';
+
+ meta = {
+ inherit version;
+ description = "Implementation of the reverse search algorithm for vertex enumeration/convex hull problems";
+ license = stdenv.lib.licenses.gpl2 ;
+ maintainers = [stdenv.lib.maintainers.raskin];
+ platforms = stdenv.lib.platforms.linux;
+ homepage = "http://cgm.cs.mcgill.ca/~avis/C/lrs.html";
+ };
+}