@@ -0,0 +1,37 @@
1+{ lib
2+, stdenv
3+, fetchFromGitHub
4+, autoreconfHook
5+, glpk
6+, gmp
7+}:
8+
9+stdenv.mkDerivation rec{
10+ pname = "4ti2";
11+ version = "1.6.9";
12+
13+ src = fetchFromGitHub {
14+ owner = pname;
15+ repo = pname;
16+ rev = "Release_${builtins.replaceStrings ["."] ["_"] version}";
17+ hash = "sha256-cywneIM0sHt1iQsNfjyQDoDfdRjxpz4l3rfysi9YN20=";
18+ };
19+
20+ nativeBuildInputs = [
21+ autoreconfHook
22+ ];
23+
24+ buildInputs = [
25+ glpk
26+ gmp
27+ ];
28+
29+ installFlags = [ "install-exec" ];
30+
31+ meta = with lib;{
32+ homepage = "https://4ti2.github.io/";
33+ description = "A software package for algebraic, geometric and combinatorial problems on linear spaces";
34+ license = with licenses; [ gpl2Plus ];
35+ platforms = platforms.all;
36+ };
37+}