nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-06-05 21:03:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

gappa: 1.6.1 -> 1.8.0

Browse Source
This commit is contained in:
Thomas Butter
2026-05-03 17:56:54 +00:00
committed by Thomas Butter
parent ff7579709b
commit 5259888e4c
1 changed files with 15 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
pkgs/by-name/ga/gappa/package.nix
View File

@@ -5,27 +5,40 @@
gmp,
mpfr,
boost,
flex,
bison,
versionCheckHook,
nix-update-script,
}:
stdenv.mkDerivation (finalAttrs: {
pname = "gappa";
version = "1.6.1";
version = "1.8.0";
src = fetchurl {
url = "https://gappa.gitlabpages.inria.fr/releases/gappa-${finalAttrs.version}.tar.gz";
hash = "sha256-1ux5ImKR8edXyvL21w3jY2o4/fATEjO2SMzS8B0o8Ok=";
hash = "sha256-dA1gOwRkW7lEo04bMldFHX0Chs8gMbd0Yl4/HhYK4qo";
};
strictDeps = true;
nativeBuildInputs = [
flex
bison
];
buildInputs = [
gmp
mpfr
boost.dev
];
# For darwin sandboxed builds
postPatch = ''
substituteInPlace remake.cpp \
--replace 'tempnam(NULL, "rmk-")' 'tempnam(".", "rmk-")'
'';
buildPhase = ''
runHook preBuild