nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-02 15:41:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #44508 from timokau/cddlib-0.94j

Browse Source 
cddlib: 0.94i -> 0.94j
This commit is contained in:
Michael Raskin 2018-08-05 19:03:47 +00:00 committed by GitHub
commit 75cb04672f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 23 additions and 38 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/applications/science/math/sage/sage-src.nix
View File

@ -122,6 +122,13 @@ stdenv.mkDerivation rec {
url = "https://git.archlinux.org/svntogit/community.git/plain/trunk/sagemath-lcalc-c++11.patch?h=packages/sagemath&id=0e31ae526ab7c6b5c0bfacb3f8b1c4fd490035aa"; url = "https://git.archlinux.org/svntogit/community.git/plain/trunk/sagemath-lcalc-c++11.patch?h=packages/sagemath&id=0e31ae526ab7c6b5c0bfacb3f8b1c4fd490035aa";
sha256 = "0p5wnvbx65i7cp0bjyaqgp4rly8xgnk12pqwaq3dqby0j2bk6ijb"; sha256 = "0p5wnvbx65i7cp0bjyaqgp4rly8xgnk12pqwaq3dqby0j2bk6ijb";
}) })
# cddlib 0.94i -> 0.94j
(fetchpatch {
name = "cddlib-0.94j.patch";
url = "https://git.sagemath.org/sage.git/patch/?id=2ab1546b3e21d1d0ab3b4fcd58576848b3a2d888";
sha256 = "1c5gnasq7y9xxj762bn79bis0zi8d9bgg7jzlf64ifixsrc5cymb";
})
]; ];
patches = nixPatches ++ packageUpgradePatches ++ [ patches = nixPatches ++ packageUpgradePatches ++ [

54
pkgs/development/libraries/cddlib/default.nix
View File

@ -1,55 +1,33 @@
{ stdenv { stdenv
, fetchurl , fetchFromGitHub
, fetchpatch
, gmp , gmp
, autoreconfHook , autoreconfHook
, texlive
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "cddlib-${version}"; name = "cddlib-${version}";
version = "0.94i"; version = "0.94j";
src = let src = fetchFromGitHub {
fileVersion = stdenv.lib.replaceStrings ["."] [""] version; owner = "cddlib";
in fetchurl { repo = "cddlib";
# Might switch to github in the future, see rev = "${version}";
# https://trac.sagemath.org/ticket/21952#comment:20 sha256 = "1z03ljy3rrr0qq5gq54vynnif6fn0xhn05g90nnv0dpyc3ps8lzp";
urls = [
"http://archive.ubuntu.com/ubuntu/pool/universe/c/cddlib/cddlib_${fileVersion}.orig.tar.gz"
"ftp://ftp.math.ethz.ch/users/fukudak/cdd/cddlib-${fileVersion}.tar.gz"
];
sha256 = "00zdgiqb91vx6gd2103h3ijij0llspsxc6zz3iw2bll39fvkl4xq";
}; };
buildInputs = [gmp]; buildInputs = [gmp];
nativeBuildInputs = [ nativeBuildInputs = [
autoreconfHook autoreconfHook
texlive.combined.scheme-small # for building the documentation
]; ];
# compute reduced H and V representation of polytope # No actual checks yet (2018-05-05), but maybe one day.
# this patch is included by most distributions (Debian, Conda, ArchLinux, SageMath) # Requested here: https://github.com/cddlib/cddlib/issues/25
# proposed upstream (no answer yet): https://github.com/cddlib/cddlib/pull/3 doCheck = true;
both_reps_c = (fetchurl { meta = with stdenv.lib; {
name = "cdd_both_reps.c";
url = "https://gitweb.gentoo.org/repo/gentoo.git/plain/sci-libs/cddlib/files/cdd_both_reps.c?id=56bd759df1d0c750a065b8c845e93d5dfa6b549d";
sha256 = "0r9yc5bgiz8i72c6vsn2y2mjk5581iw94gji9v7lg16kzzgrk9x0";
});
preAutoreconf = ''
# Required by sage.geometry.polyhedron
cp ${both_reps_c} src/cdd_both_reps.c
cp ${both_reps_c} src-gmp/cdd_both_reps.c
'';
patches = [
# add the cdd_both_reps binary
(fetchpatch {
name = "add-cdd_both_reps-binary.patch";
url = "https://gitweb.gentoo.org/repo/gentoo.git/plain/sci-libs/cddlib/files/cddlib-094h-add-cdd_both_reps-binary.patch?id=78e3a61a68c916450aa4e5ceecd20041583af901";
sha256 = "162ni2fr7dpbdkz0b5nizxq7qr5k1i1d75g0smiylpzfb0hb761a";
})
];
meta = {
inherit version; inherit version;
description = ''An implementation of the Double Description Method for generating all vertices of a convex polyhedron''; description = ''An implementation of the Double Description Method for generating all vertices of a convex polyhedron'';
license = stdenv.lib.licenses.gpl2Plus ; license = licenses.gpl2Plus;
maintainers = [stdenv.lib.maintainers.raskin]; maintainers = with maintainers; [raskin timokau];
platforms = stdenv.lib.platforms.linux; platforms = platforms.linux;
homepage = https://www.inf.ethz.ch/personal/fukudak/cdd_home/index.html; homepage = https://www.inf.ethz.ch/personal/fukudak/cdd_home/index.html;
}; };
} }