diff options
author | Chen <i@cuichen.cc> | 2023-11-14 13:38:26 +0800 |
---|---|---|
committer | Chen <i@cuichen.cc> | 2023-11-14 13:38:26 +0800 |
commit | 109bef7af3c691d0bcc04da638241e4572f5a029 (patch) | |
tree | e39d268fb2dc2243c0f0c9fb58bc773768c5ac41 /pkgs/applications/science/logic | |
parent | 2387a37fa0c686f4541838843d07ae1104e180d7 (diff) | |
download | nixlib-109bef7af3c691d0bcc04da638241e4572f5a029.tar nixlib-109bef7af3c691d0bcc04da638241e4572f5a029.tar.gz nixlib-109bef7af3c691d0bcc04da638241e4572f5a029.tar.bz2 nixlib-109bef7af3c691d0bcc04da638241e4572f5a029.tar.lz nixlib-109bef7af3c691d0bcc04da638241e4572f5a029.tar.xz nixlib-109bef7af3c691d0bcc04da638241e4572f5a029.tar.zst nixlib-109bef7af3c691d0bcc04da638241e4572f5a029.zip |
abella: 2.0.7 -> 2.0.8
Diffstat (limited to 'pkgs/applications/science/logic')
-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 1d0c72359cfc..7e4cfad72ed1 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/ |