tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ stdenv, lib, fetchurl, ocamlPackages, mpfr, ppl }:
2
3stdenv.mkDerivation rec {
4 pname = "jasmin-compiler";
5 version = "2022.09.2";
6
7 src = fetchurl {
8 url = "https://github.com/jasmin-lang/jasmin/releases/download/v${version}/jasmin-compiler-v${version}.tar.bz2";
9 hash = "sha256-CGKaFR9Ax0O7BaW42DwYS4Air7zo5fOY2ExHkMGdtqo=";
10 };
11
12 sourceRoot = "jasmin-compiler-v${version}/compiler";
13
14 nativeBuildInputs = with ocamlPackages; [ ocaml findlib ocamlbuild menhir camlidl ];
15
16 buildInputs = [
17 mpfr
18 ppl
19 ] ++ (with ocamlPackages; [
20 apron
21 batteries
22 menhirLib
23 yojson
24 zarith
25 ]);
26
27 installPhase = ''
28 runHook preInstall
29 mkdir -p $out/bin
30 cp jasminc.native $out/bin/jasminc
31 runHook postInstall
32 '';
33
34 meta = {
35 description = "A workbench for high-assurance and high-speed cryptography";
36 homepage = "https://github.com/jasmin-lang/jasmin/";
37 license = lib.licenses.mit;
38 maintainers = [ lib.maintainers.vbgl ];
39 mainProgram = "jasminc";
40 platforms = lib.platforms.all;
41 };
42}