diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2023-11-14 19:02:22 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-14 19:02:22 -0500 |
| commit | 5268a6e24b38d3746df9c351f67087e0246b312a (patch) | |
| tree | 88938794adfc3d9040e6960898c1ecdfaa843697 /pkgs/applications/science | |
| parent | 231a917e68c462463454ad882f1982a31bc1bea7 (diff) | |
| parent | 109bef7af3c691d0bcc04da638241e4572f5a029 (diff) | |
Merge pull request #267372 from cu1ch3n/update-abella
abella: 2.0.7 -> 2.0.8
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 1d0c72359cfcc..7e4cfad72ed1e 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/ |