···4then throw "cil is not available for OCaml ${ocaml.version}"
5else
67-stdenv.mkDerivation {
8- name = "ocaml-cil-1.7.3";
009 src = fetchurl {
10- url = "mirror://sourceforge/cil/cil-1.7.3.tar.gz";
11 sha256 = "05739da0b0msx6kmdavr3y2bwi92jbh3szc35d7d8pdisa8g5dv9";
12 };
13···26 description = "A front-end for the C programming language that facilitates program analysis and transformation";
27 license = licenses.bsd3;
28 maintainers = [ maintainers.vbgl ];
29- platforms = ocaml.meta.platforms or [];
30 };
31}
···4then throw "cil is not available for OCaml ${ocaml.version}"
5else
67+stdenv.mkDerivation rec {
8+ pname = "ocaml-cil";
9+ version = "1.7.3";
10+11 src = fetchurl {
12+ url = "mirror://sourceforge/cil/cil-${version}.tar.gz";
13 sha256 = "05739da0b0msx6kmdavr3y2bwi92jbh3szc35d7d8pdisa8g5dv9";
14 };
15···28 description = "A front-end for the C programming language that facilitates program analysis and transformation";
29 license = licenses.bsd3;
30 maintainers = [ maintainers.vbgl ];
31+ platforms = ocaml.meta.platforms or [ ];
32 };
33}
···6then throw "fieldslib-109.20.03 is not available for OCaml ${ocaml.version}"
7else
89-stdenv.mkDerivation {
10- name = "ocaml-fieldslib-109.20.03";
01112 src = fetchurl {
13- url = "https://ocaml.janestreet.com/ocaml-core/109.20.00/individual/fieldslib-109.20.03.tar.gz";
14 sha256 = "1dkzk0wf26rhvji80dz1r56dp6x9zqrnp87wldd4pj56jli94vir";
15 };
16···24 description = "OCaml syntax extension to define first class values representing record fields, to get and set record fields, iterate and fold over all fields of a record and create new record values";
25 license = licenses.asl20;
26 maintainers = [ maintainers.vbgl ];
27- platforms = ocaml.meta.platforms or [];
28 };
29}
···6then throw "fieldslib-109.20.03 is not available for OCaml ${ocaml.version}"
7else
89+stdenv.mkDerivation rec {
10+ pname = "ocaml-fieldslib";
11+ version = "109.20.03";
1213 src = fetchurl {
14+ url = "https://ocaml.janestreet.com/ocaml-core/${lib.versions.majorMinor version}.00/individual/fieldslib-${version}.tar.gz";
15 sha256 = "1dkzk0wf26rhvji80dz1r56dp6x9zqrnp87wldd4pj56jli94vir";
16 };
17···25 description = "OCaml syntax extension to define first class values representing record fields, to get and set record fields, iterate and fold over all fields of a record and create new record values";
26 license = licenses.asl20;
27 maintainers = [ maintainers.vbgl ];
28+ platforms = ocaml.meta.platforms or [ ];
29 };
30}
···23# This derivation does not provide any Python module and should therefore be called via `all-packages.nix`.
4let
5- pythonEnv = python3.withPackages(ps: with ps; [ sphinx ]);
6-in stdenv.mkDerivation {
7- name = "pyside-apiextractor-0.10.10";
0089 src = fetchurl {
10- url = "https://github.com/PySide/Apiextractor/archive/0.10.10.tar.gz";
11 sha256 = "1zj8yrxy08iv1pk38djxw3faimm226w6wmi0gm32w4yczblylwz3";
12 };
13
···23# This derivation does not provide any Python module and should therefore be called via `all-packages.nix`.
4let
5+ pythonEnv = python3.withPackages (ps: with ps; [ sphinx ]);
6+in
7+stdenv.mkDerivation rec {
8+ pname = "pyside-apiextractor";
9+ version = "0.10.10";
1011 src = fetchurl {
12+ url = "https://github.com/PySide/Apiextractor/archive/${version}.tar.gz";
13 sha256 = "1zj8yrxy08iv1pk38djxw3faimm226w6wmi0gm32w4yczblylwz3";
14 };
15
+4-3
pkgs/development/tools/iaca/2.1.nix
···2with lib;
34# v2.1: last version with NHM/WSM arch support
5-stdenv.mkDerivation {
6- name = "iaca-2.1";
07 src = requireFile {
8- name = "iaca-version-2.1-lin64.zip";
9 sha256 = "11s1134ijf66wrc77ksky9mnb0lq6ml6fzmr86a6p6r5xclzay2m";
10 url = "https://software.intel.com/en-us/articles/intel-architecture-code-analyzer-download";
11 };
···2with lib;
34# v2.1: last version with NHM/WSM arch support
5+stdenv.mkDerivation rec {
6+ pname = "iaca";
7+ version = "2.1";
8 src = requireFile {
9+ name = "iaca-version-${version}-lin64.zip";
10 sha256 = "11s1134ijf66wrc77ksky9mnb0lq6ml6fzmr86a6p6r5xclzay2m";
11 url = "https://software.intel.com/en-us/articles/intel-architecture-code-analyzer-download";
12 };