pkgs/by-name/al/alive2/package.nix

   1 {
   2   lib,
   3   clangStdenv,
   4   fetchFromGitHub,
   5   re2c,
   6   z3,
   7   hiredis,
   8   llvm_18,
   9   cmake,
  10   ninja,
  11 }:
  12
  13 clangStdenv.mkDerivation (finalAttrs: {
  14   pname = "alive2";
  15   version = "0-unstable-2024-09-23";
  16
  17   src = fetchFromGitHub {
  18     owner = "AliveToolkit";
  19     repo = "alive2";
  20     rev = "05a964284056b38a6dc1f807e7acad64a0308328";
  21     sha256 = "sha256-okKKUU7WLXLD9Hvsfoz+1HQWoyQ/bqRpBk5ogr7kSJA=";
  22   };
  23
  24   nativeBuildInputs = [
  25     cmake
  26   ];
  27   buildInputs = [
  28     re2c
  29     z3
  30     hiredis
  31     llvm_18
  32     ninja
  33   ];
  34
  35   postPatch = ''
  36     substituteInPlace CMakeLists.txt \
  37       --replace-fail 'find_package(Git REQUIRED)' ""
  38   '';
  39
  40   env = {
  41     ALIVE2_HOME = "$PWD";
  42     LLVM2_HOME = "${llvm_18}";
  43     LLVM2_BUILD = "$LLVM2_HOME/build";
  44   };
  45
  46   preBuild = ''
  47     mkdir -p build
  48   '';
  49
  50   installPhase = ''
  51     runHook preInstall
  52     mkdir -p $out/bin
  53     cp alive $out/bin/
  54     cp alive-jobserver $out/bin/
  55     rm -rf $out/bin/CMakeFiles $out/bin/*.o
  56     runHook postInstall
  57   '';
  58
  59   meta = {
  60     description = "Automatic verification of LLVM optimizations";
  61     homepage = "https://github.com/AliveToolkit/alive2";
  62     license = lib.licenses.mit;
  63     platforms = lib.platforms.all;
  64     maintainers = with lib.maintainers; [ shogo ];
  65     mainProgram = "alive";
  66   };
  67 })