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

nix: rework flake input

Browse source
This commit is contained in:
Primrose 2024-08-02 02:46:55 +02:00
parent 16cbf92ec3
commit f5755d11a3
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
11 changed files with 128 additions and 132 deletions
Download patch file Download diff file Expand all files Collapse all files

20
nix/custom/why3.nix
View file

@ -2,9 +2,11 @@
symlinkJoin,
makeWrapper,
why3,
alt-ergo,
cvc4,
z3_4_12,
fetchFromGitHub,
system,
}:
let
provers = [
@ -12,6 +14,22 @@ let
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";