diff options
| author | Vladimír Čunát <v@cunat.cz> | 2023-11-15 07:33:10 +0100 |
|---|---|---|
| committer | Vladimír Čunát <v@cunat.cz> | 2023-11-15 07:33:10 +0100 |
| commit | c46eae0f3572fbe7af42e5d40648b7b4a1d1317b (patch) | |
| tree | 84e748e6477734c4826b4d6b34152b1958e5627a /pkgs/applications/science | |
| parent | 9297b620bb86624e6cf4b6ae54fc4ae1da98bb83 (diff) | |
| parent | e8ad54f562b4621c7c080b4a3ddbafe4735bcb86 (diff) | |
| download | nixpkgs-c46eae0f3572fbe7af42e5d40648b7b4a1d1317b.tar nixpkgs-c46eae0f3572fbe7af42e5d40648b7b4a1d1317b.tar.gz nixpkgs-c46eae0f3572fbe7af42e5d40648b7b4a1d1317b.tar.bz2 nixpkgs-c46eae0f3572fbe7af42e5d40648b7b4a1d1317b.tar.lz nixpkgs-c46eae0f3572fbe7af42e5d40648b7b4a1d1317b.tar.xz nixpkgs-c46eae0f3572fbe7af42e5d40648b7b4a1d1317b.tar.zst nixpkgs-c46eae0f3572fbe7af42e5d40648b7b4a1d1317b.zip | |
Merge branch 'master' into staging-next
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/abella/default.nix | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/abella/default.nix b/pkgs/applications/science/logic/abella/default.nix index 1d0c72359cf..7e4cfad72ed 100644 --- a/pkgs/applications/science/logic/abella/default.nix +++ b/pkgs/applications/science/logic/abella/default.nix @@ -2,20 +2,21 @@ stdenv.mkDerivation rec { pname = "abella"; - version = "2.0.7"; + version = "2.0.8"; src = fetchurl { url = "http://abella-prover.org/distributions/${pname}-${version}.tar.gz"; - sha256 = "sha256-/eOiebMFHgrurtrSHPlgZO3xmmxBOUmyAzswXZLd3Yc="; + sha256 = "sha256-80b/RUpE3KRY0Qu8eeTxAbk6mwGG6jVTPOP0qFjyj2M="; }; strictDeps = true; - nativeBuildInputs = [ rsync ] ++ (with ocamlPackages; [ ocaml ocamlbuild findlib ]); + nativeBuildInputs = [ rsync ] ++ (with ocamlPackages; [ ocaml dune_3 menhir findlib ]); + buildInputs = with ocamlPackages; [ cmdliner yojson ]; installPhase = '' mkdir -p $out/bin - rsync -av abella $out/bin/ + rsync -av _build/default/src/abella.exe $out/bin/abella mkdir -p $out/share/emacs/site-lisp/abella/ rsync -av emacs/ $out/share/emacs/site-lisp/abella/ |