alarsyo/ltl2ba-nix
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Compare commits

base: alarsyo:master
Branches Tags
alarsyo:master
..
compare: alarsyo:ea33bb2091a34f6af8dba8e26978fecb969aa93b
Branches Tags
alarsyo:master

No commits in common. "master" and "ea33bb2091a34f6af8dba8e26978fecb969aa93b" have entirely different histories.
master ... ea33bb2091

2 changed files with 0 additions and 69 deletions
Show stats Expand all files Collapse all files

43
flake.lock
View file

@ -1,43 +0,0 @@
{
"nodes": {
"flake-utils": {
"locked": {
"lastModified": 1644229661,
"narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=",
"owner": "numtide",
"repo": "flake-utils",
"rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797",
"type": "github"
},
"original": {
"owner": "numtide",
"repo": "flake-utils",
"type": "github"
}
},
"nixpkgs": {
"locked": {
"lastModified": 1644193793,
"narHash": "sha256-ggCI5LCXwkUJQwjpkr9qDFbQMiK3JvAfeNR4Uy0ny5Q=",
"owner": "NixOS",
"repo": "nixpkgs",
"rev": "521e4d7d13b09bc0a21976b9d19abd197d4e3b1e",
"type": "github"
},
"original": {
"owner": "NixOS",
"ref": "nixos-21.11",
"repo": "nixpkgs",
"type": "github"
}
},
"root": {
"inputs": {
"flake-utils": "flake-utils",
"nixpkgs": "nixpkgs"
}
}
},
"root": "root",
"version": 7
}

26
flake.nix
View file

@ -1,26 +0,0 @@
{
inputs = {
nixpkgs.url = "github:NixOS/nixpkgs/nixos-21.11";
flake-utils.url = "github:numtide/flake-utils";
};
outputs = { self, nixpkgs, flake-utils }:
flake-utils.lib.eachDefaultSystem (system: let
pkgs = import nixpkgs {
inherit system;
};
in {
devShell = pkgs.mkShell {
inputsFrom = [
self.packages.${system}.ltl2ba
];
};
packages = {
ltl2ba = pkgs.stdenv.mkDerivation {
name = "ltl2ba";
src = ./.;
nativeBuildInputs = [ pkgs.autoreconfHook ];
};
};
});
}