667d42c00d
After final improvements to the official formatter implementation,
this commit now performs the first treewide reformat of Nix files using it.
This is part of the implementation of RFC 166.
Only "inactive" files are reformatted, meaning only files that
aren't being touched by any PR with activity in the past 2 months.
This is to avoid conflicts for PRs that might soon be merged.
Later we can do a full treewide reformat to get the rest,
which should not cause as many conflicts.
A CI check has already been running for some time to ensure that new and
already-formatted files are formatted, so the files being reformatted here
should also stay formatted.
This commit was automatically created and can be verified using
nix-build a08b3a4d19.tar.gz \
--argstr baseRev 57b193d8ddeaf4f5219d2bae1d23b081e4906e57
result/bin/apply-formatting $NIXPKGS_PATH
56 lines
1.4 KiB
Nix
56 lines
1.4 KiB
Nix
{
|
|
lib,
|
|
stdenv,
|
|
fetchFromGitHub,
|
|
aiger,
|
|
}:
|
|
|
|
stdenv.mkDerivation {
|
|
pname = "lingeling";
|
|
# This is the version used in satcomp2020
|
|
version = "pre1_708beb26";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "arminbiere";
|
|
repo = "lingeling";
|
|
rev = "708beb26a7d5b5d5e7abd88d6f552fb1946b07c1";
|
|
sha256 = "1lb2g37nd8qq5hw5g6l691nx5095336yb2zlbaw43mg56hkj8357";
|
|
};
|
|
|
|
configurePhase = ''
|
|
./configure.sh
|
|
|
|
# Rather than patch ./configure, just sneak in use of aiger here, since it
|
|
# doesn't handle real build products very well (it works on a build-time
|
|
# dir, not installed copy)... This is so we can build 'blimc'
|
|
substituteInPlace ./makefile \
|
|
--replace 'targets: liblgl.a' 'targets: liblgl.a blimc' \
|
|
--replace '$(AIGER)/aiger.o' '${aiger.lib}/lib/aiger.o' \
|
|
--replace '$(AIGER)/aiger.h' '${aiger.dev}/include/aiger.h' \
|
|
--replace '-I$(AIGER)' '-I${aiger.dev}/include'
|
|
'';
|
|
|
|
installPhase = ''
|
|
mkdir -p $out/bin $lib/lib $dev/include
|
|
|
|
cp lglib.h $dev/include
|
|
cp liblgl.a $lib/lib
|
|
|
|
cp lingeling plingeling treengeling ilingeling blimc $out/bin
|
|
'';
|
|
|
|
outputs = [
|
|
"out"
|
|
"dev"
|
|
"lib"
|
|
];
|
|
|
|
meta = with lib; {
|
|
description = "Fast SAT solver";
|
|
homepage = "http://fmv.jku.at/lingeling/";
|
|
license = licenses.mit;
|
|
platforms = platforms.unix;
|
|
maintainers = with maintainers; [ thoughtpolice ];
|
|
};
|
|
}
|