primrose/.files
1
0
Fork 0
mirror of https://codeberg.org/leana8959/.files.git synced 2025-12-06 06:39:14 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

nix: move alt-ergo-pin to flake inputs

Browse source
This commit is contained in:
Primrose 2024-09-22 14:55:37 +02:00
parent afc2eea47a
commit 403c66c715
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
4 changed files with 32 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

10
nix/packages/default.nix
View file

@ -29,7 +29,15 @@
logisim-evolution = final.callPackage ./logisim-evolution.nix { };
necrolib = final.callPackage ./necrolib.nix { };
why3 = final.callPackage ./why3.nix { };
why3 = final.callPackage ./why3.nix {
inherit
(import inputs.alt-ergo-pin {
inherit (final) system;
config.allowUnfree = true;
})
alt-ergo
;
};
isabelle-wrapped = final.callPackage ./isabelle-wrapped.nix { };
maeel = final.callPackage ./maeel.nix { };

22
nix/packages/why3.nix
View file

@ -4,33 +4,17 @@
why3,
cvc4,
z3_4_12,
fetchFromGitHub,
system,
alt-ergo,
}:
let
provers = [
alt-ergo
cvc4
z3_4_12
];
inherit
(import
(fetchFromGitHub {
owner = "NixOS";
repo = "nixpkgs";
rev = "1b95daa381fa4a0963217a5d386433c20008208a";
hash = "sha256-vwEtkxIEQjymeTk89Ty1MGfRVSWL1/3j1wt5xB5ua88=";
})
{
inherit system;
config.allowUnfree = true;
}
)
alt-ergo
;
in
symlinkJoin {
name = "why3";
# Generate configuration in the store, and wrap why3 with the corresponding option