simbaplusplus: init at 0-unstable-2024-11-05

2025-01-17 12:48:02 +11:00
parent 77b1381ae5
commit 35c4cd404e
1 changed files with 46 additions and 0 deletions
@@ -0,0 +1,46 @@
+{
+  lib,
+  stdenv,
+  fetchFromGitHub,
+  cmake,
+  llvmPackages,
+  z3,
+}:
+
+stdenv.mkDerivation (finalAttrs: {
+  pname = "simbaplusplus";
+  version = "0-unstable-2024-11-05";
+
+  src = fetchFromGitHub {
+    owner = "pgarba";
+    repo = "SiMBA-";
+    rev = "a030a187df0b650718b2aab18ccebc1f810e18b4";
+    hash = "sha256-h2in203bwfb7ArhoBN0PoWM6DZtxI4jSGQuSTTaBJ7A=";
+  };
+
+  postPatch = ''
+    substituteInPlace CMakeLists.txt \
+      --replace-fail ' ''${LLVM_TOOLS_BINARY_DIR}/llvm-config' " ${lib.getDev llvmPackages.libllvm}/bin/llvm-config" \
+      --replace-fail 'set(Z3_INCLUDE_DIRS “/usr/include”)' ""
+  '';
+
+  nativeBuildInputs = [
+    cmake
+  ];
+
+  buildInputs = [
+    llvmPackages.libllvm
+    z3
+  ];
+
+  doCheck = true;
+
+  meta = {
+    description = "SiMBA++ is a port of MBA Solver SiMBA to C/C++";
+    homepage = "https://github.com/pgarba/SiMBA-";
+    license = lib.licenses.gpl3Only;
+    mainProgram = "SiMBA++";
+    maintainers = with lib.maintainers; [ emilytrau ];
+    platforms = lib.platforms.unix;
+  };
+})