pkgs/development/ocaml-modules/sail/default.nix

   1 { lib
   2 , fetchFromGitHub
   3 , buildDunePackage
   4 , base64
   5 , omd
   6 , menhir
   7 , ott
   8 , linenoise
   9 , dune-site
  10 , pprint
  11 , makeWrapper
  12 , lem
  13 , linksem
  14 , yojson
  15 }:
  16
  17 buildDunePackage rec {
  18   pname = "sail";
  19   version = "0.16";
  20
  21   src = fetchFromGitHub {
  22     owner = "rems-project";
  23     repo = "sail";
  24     rev = version;
  25     hash = "sha256-HY/rgWi0S7ZiAWZF0fVIRK6fpoJ7Xp5EQcxoPRCPJ5Y=";
  26   };
  27
  28   minimalOCamlVersion = "4.08";
  29
  30   nativeBuildInputs = [
  31     makeWrapper
  32     ott
  33     menhir
  34     lem
  35   ];
  36
  37   propagatedBuildInputs = [
  38     base64
  39     omd
  40     dune-site
  41     linenoise
  42     pprint
  43     linksem
  44     yojson
  45   ];
  46
  47   preBuild = ''
  48     rm -r aarch*  # Remove code derived from non-bsd2 arm spec
  49     rm -r snapshots  # Some of this might be derived from stuff in the aarch dir, it builds fine without it
  50   '';
  51   # `buildDunePackage` only builds the [pname] package
  52   # This doesnt work in this case, as sail includes multiple packages in the same source tree
  53   buildPhase = ''
  54     runHook preBuild
  55     dune build --release ''${enableParallelBuilding:+-j $NIX_BUILD_CORES}
  56     runHook postBuild
  57   '';
  58   checkPhase = ''
  59     runHook preCheck
  60     dune runtest ''${enableParallelBuilding:+-j $NIX_BUILD_CORES}
  61     runHook postCheck
  62   '';
  63   installPhase = ''
  64     runHook preInstall
  65     dune install --prefix $out --libdir $OCAMLFIND_DESTDIR
  66     runHook postInstall
  67   '';
  68   postInstall = ''
  69     wrapProgram $out/bin/sail --set SAIL_DIR $out/share/sail
  70   '';
  71
  72   meta = with lib; {
  73     homepage = "https://github.com/rems-project/sail";
  74     description = "Language for describing the instruction-set architecture (ISA) semantics of processors";
  75     maintainers = with maintainers; [ genericnerdyusername ];
  76     license = licenses.bsd2;
  77   };
  78 }