tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 stdenv,
4 fetchurl,
5 perl,
6 ocaml,
7 findlib,
8 ocamlbuild,
9}:
10
11stdenv.mkDerivation rec {
12 pname = "ocaml-cil";
13 version = "1.7.3";
14
15 src = fetchurl {
16 url = "mirror://sourceforge/cil/cil-${version}.tar.gz";
17 sha256 = "05739da0b0msx6kmdavr3y2bwi92jbh3szc35d7d8pdisa8g5dv9";
18 };
19
20 nativeBuildInputs = [
21 perl
22 ocaml
23 findlib
24 ocamlbuild
25 ];
26
27 strictDeps = true;
28
29 createFindlibDestdir = true;
30
31 preConfigure = ''
32 substituteInPlace Makefile.in --replace 'MACHDEPCC=gcc' 'MACHDEPCC=$(CC)'
33 export FORCE_PERL_PREFIX=1
34 '';
35 prefixKey = "-prefix=";
36
37 meta = {
38 homepage = "https://sourceforge.net/projects/cil/";
39 description = "Front-end for the C programming language that facilitates program analysis and transformation";
40 license = lib.licenses.bsd3;
41 maintainers = [ lib.maintainers.vbgl ];
42 broken = lib.versionAtLeast ocaml.version "4.06";
43 platforms = ocaml.meta.platforms or [ ];
44 };
45}