abella-master: fix build

pkgs/abella-master/default.nix

@@ -1,8 +1,8 @@
-{ lib, stdenv, fetchFromGitHub, rsync, ocamlPackages, nodejs }:
+{ lib, stdenv, fetchFromGitHub, rsync, ocamlPackages }:
 
 stdenv.mkDerivation (finalAttrs: {
   pname = "abella-master";
-  version = "0-unstable-2024-11-27";
+  version = "2.0.8";
 
   src = fetchFromGitHub {
     owner = "abella-prover";
@@ -13,8 +13,10 @@ stdenv.mkDerivation (finalAttrs: {
 
   strictDeps = true;
 
-  nativeBuildInputs = [ nodejs rsync ] ++ (with ocamlPackages; [ ocaml dune_3 menhir findlib ]);
-  buildInputs = with ocamlPackages; [ cmdliner yojson ];
+  nativeBuildInputs = [ rsync ] ++ (with ocamlPackages; [ ocaml dune_3 menhir findlib ]);
+  buildInputs = with ocamlPackages; [ cmdliner yojson re base64 ocurl ];
+
+  patches = [ ./no-npm.patch ];
 
   installPhase = ''
     mkdir -p $out/bin

pkgs/abella-master/no-npm.patch

@@ -0,0 +1,29 @@
+diff --git a/Makefile b/Makefile
+index 0701405..7d8a244 100644
+--- a/Makefile
++++ b/Makefile
+@@ -7,18 +7,18 @@ EXTN := $(if $(strip $(BYTECODE)),bc,exe)
+ BINS := $(patsubst %,%.$(EXTN),src/abella src/abella_doc src/abella_dep)
+
+ .PHONY: all
+-all: support/.stamp
++all: # support/.stamp
+ 	$(DUNE) build $(BINS)
+
+ .PHONY: all-release
+ all-release: # support/.stamp
+ 	$(DUNE) build --release $(BINS)
+
+-support/.stamp: $(wildcard support/ts/*.ts support/css/*.css)
+-	( cd support && \
+-	  npm install --no-save && \
+-	  npm run build && \
+-	  touch .stamp )
++# support/.stamp: $(wildcard support/ts/*.ts support/css/*.css)
++# 	( cd support && \
++# 	  npm install --no-save && \
++#	  npm run build && \
++#	  touch .stamp )
+
+ AIN := abella.install
+