movefasta/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-06-10 03:23:29 +03:00
Code Issues Projects Releases Packages Wiki Activity

prover9: fix build on GCC 14

Browse source
This commit is contained in:
Petr Zahradnik 2025-02-22 21:53:09 +01:00
parent a94dbc9337
commit 17d68c2357
1 changed files with 36 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

48
pkgs/by-name/pr/prover9/package.nix
View file

@ -2,15 +2,16 @@
lib, lib,
stdenv, stdenv,
fetchurl, fetchurl,
versionCheckHook,
}: }:
stdenv.mkDerivation { stdenv.mkDerivation {
pname = "prover9"; pname = "prover9";
version = "2009-11a"; version = "2009-11A";
src = fetchurl { src = fetchurl {
url = "https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz"; url = "https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz";
sha256 = "1l2i3d3h5z7nnbzilb6z92r0rbx0kh6yaxn2c5qhn3000xcfsay3"; hash = "sha256-wyvtWAcADAtxYcJ25Q2coK8MskjfLBr/svb8AkcbUdA=";
}; };
hardeningDisable = [ "format" ]; hardeningDisable = [ "format" ];
@ -20,31 +21,54 @@ stdenv.mkDerivation {
MV=$(type -tp mv) MV=$(type -tp mv)
CP=$(type -tp cp) CP=$(type -tp cp)
for f in Makefile */Makefile; do for f in Makefile */Makefile; do
substituteInPlace $f --replace "/bin/rm" "$RM" \ substituteInPlace $f --replace-quiet "/bin/rm" "$RM" \
--replace "/bin/mv" "$MV" \ --replace-quiet "/bin/mv" "$MV" \
--replace "/bin/cp" "$CP"; --replace-quiet "/bin/cp" "$CP";
done done
''; '';
buildFlags = [ "all" ]; buildFlags = [ "all" ];
checkPhase = "make test1"; # Fails the build on clang-16 and gcc-14.
env.NIX_CFLAGS_COMPILE = "-Wno-error=implicit-int";
installPhase = '' doCheck = true;
mkdir -p $out/bin checkPhase = ''
cp bin/* $out/bin runHook preCheck
make test1
make test2
make test3
runHook postCheck
''; '';
meta = with lib; { installPhase = ''
runHook preInstall
mkdir -p $out/bin
for f in mace4 prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr; do
install -Dm555 bin/$f $out/bin/$f;
done
install -Dm644 -t $out/share/man/man1 manpages/*.1
runHook postInstall
'';
nativeInstallCheckInputs = [
versionCheckHook
];
doInstallCheck = true;
meta = {
homepage = "https://www.cs.unm.edu/~mccune/mace4/"; homepage = "https://www.cs.unm.edu/~mccune/mace4/";
license = licenses.gpl2Only; license = lib.licenses.gpl2Only;
description = "Automated theorem prover for first-order and equational logic"; description = "Automated theorem prover for first-order and equational logic";
longDescription = '' longDescription = ''
Prover9 is a resolution/paramodulation automated theorem prover Prover9 is a resolution/paramodulation automated theorem prover
for first-order and equational logic. Prover9 is a successor of for first-order and equational logic. Prover9 is a successor of
the Otter Prover. This is the LADR command-line version. the Otter Prover. This is the LADR command-line version.
''; '';
platforms = platforms.linux; mainProgram = "prover9";
platforms = lib.platforms.linux;
maintainers = [ ]; maintainers = [ ];
}; };
} }