pyrox.dev
jasmin-compiler: 2025.06.0 → 2025.06.1
authored by Vincent Laporte and committed by Vincent Laporte de2fd966 7865ce95
+5
-11
pkgs/by-name/ja/jasmin-compiler/package.nix
+5
-11
pkgs/by-name/ja/jasmin-compiler/package.nix
···
9
10
stdenv.mkDerivation rec {
11
pname = "jasmin-compiler";
12
-
version = "2025.06.0";
13
14
src = fetchurl {
15
url = "https://github.com/jasmin-lang/jasmin/releases/download/v${version}/jasmin-compiler-v${version}.tar.bz2";
16
-
hash = "sha256-VjWNvg/aF+omobF8b4YpRwVYM5K/b0GLoe1P/83ilk8=";
17
};
18
19
nativeBuildInputs = with ocamlPackages; [
···
47
"out"
48
];
49
50
-
installPhase = ''
51
-
runHook preInstall
52
-
pushd compiler
53
-
dune build @install
54
-
dune install --prefix=$bin --libdir=$out/lib/ocaml/${ocamlPackages.ocaml.version}/site-lib
55
-
popd
56
-
mkdir -p $lib/lib/jasmin/easycrypt
57
-
cp eclib/*.ec $lib/lib/jasmin/easycrypt
58
-
runHook postInstall
59
'';
60
61
meta = {
···
9
10
stdenv.mkDerivation rec {
11
pname = "jasmin-compiler";
12
+
version = "2025.06.1";
13
14
src = fetchurl {
15
url = "https://github.com/jasmin-lang/jasmin/releases/download/v${version}/jasmin-compiler-v${version}.tar.bz2";
16
+
hash = "sha256-6StC+mnafHMLDCbaz4QqcrT+vK9PIVeh3BizzOH4Wfo=";
17
};
18
19
nativeBuildInputs = with ocamlPackages; [
···
47
"out"
48
];
49
50
+
preInstall = ''
51
+
export PREFIX=$lib
52
+
export DUNE_OPTS="--prefix=$bin --libdir=$out/lib/ocaml/${ocamlPackages.ocaml.version}/site-lib"
53
'';
54
55
meta = {