summary refs log tree commit diff
path: root/pkgs/applications/science
diff options
context:
space:
mode:
authorChen <i@cuichen.cc>2023-11-14 13:38:26 +0800
committerChen <i@cuichen.cc>2023-11-14 13:38:26 +0800
commit109bef7af3c691d0bcc04da638241e4572f5a029 (patch)
treee39d268fb2dc2243c0f0c9fb58bc773768c5ac41 /pkgs/applications/science
parent2387a37fa0c686f4541838843d07ae1104e180d7 (diff)
downloadnixpkgs-109bef7af3c691d0bcc04da638241e4572f5a029.tar
nixpkgs-109bef7af3c691d0bcc04da638241e4572f5a029.tar.gz
nixpkgs-109bef7af3c691d0bcc04da638241e4572f5a029.tar.bz2
nixpkgs-109bef7af3c691d0bcc04da638241e4572f5a029.tar.lz
nixpkgs-109bef7af3c691d0bcc04da638241e4572f5a029.tar.xz
nixpkgs-109bef7af3c691d0bcc04da638241e4572f5a029.tar.zst
nixpkgs-109bef7af3c691d0bcc04da638241e4572f5a029.zip
abella: 2.0.7 -> 2.0.8
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r--pkgs/applications/science/logic/abella/default.nix9
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/