Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
at devShellTools-shell 46 lines 892 B view raw
1{ 2 lib, 3 stdenv, 4 fetchFromGitHub, 5 autoreconfHook, 6 gmpxx, 7 flint3, 8 nauty, 9}: 10 11stdenv.mkDerivation (finalAttrs: { 12 pname = "normaliz"; 13 version = "3.10.5"; 14 15 src = fetchFromGitHub { 16 owner = "normaliz"; 17 repo = "normaliz"; 18 rev = "v${finalAttrs.version}"; 19 hash = "sha256-Ku5OTtRxrs9qaSE0mle17eJSE2yKZUUsflEZk4k91jM="; 20 }; 21 22 buildInputs = [ 23 gmpxx 24 flint3 25 nauty 26 ]; 27 28 outputs = [ 29 "out" 30 "lib" 31 "dev" 32 ]; 33 34 nativeBuildInputs = [ 35 autoreconfHook 36 ]; 37 38 meta = with lib; { 39 homepage = "https://www.normaliz.uni-osnabrueck.de/"; 40 description = "Open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones"; 41 maintainers = with maintainers; [ yannickulrich ]; 42 platforms = with platforms; unix ++ windows; 43 license = licenses.gpl3Plus; 44 mainProgram = "normaliz"; 45 }; 46})