nixpkgs/pkgs/development/ocaml-modules/cil/default.nix

{ lib, stdenv, fetchurl, perl, ocaml, findlib, ocamlbuild }:

if lib.versionAtLeast ocaml.version "4.06"
then throw "cil is not available for OCaml ${ocaml.version}"
else

stdenv.mkDerivation rec {
  pname = "ocaml-cil";
  version = "1.7.3";

  src = fetchurl {
    url = "mirror://sourceforge/cil/cil-${version}.tar.gz";
    sha256 = "05739da0b0msx6kmdavr3y2bwi92jbh3szc35d7d8pdisa8g5dv9";
  };

  nativeBuildInputs = [ perl ocaml findlib ocamlbuild ];

  strictDeps = true;

  createFindlibDestdir = true;

  preConfigure = ''
    substituteInPlace Makefile.in --replace 'MACHDEPCC=gcc' 'MACHDEPCC=$(CC)'
    export FORCE_PERL_PREFIX=1
  '';
  prefixKey = "-prefix=";

  meta = with lib; {
    homepage = "http://kerneis.github.io/cil/";
    description = "A front-end for the C programming language that facilitates program analysis and transformation";
    license = licenses.bsd3;
    maintainers = [ maintainers.vbgl ];
    platforms = ocaml.meta.platforms or [ ];
  };
}
treewide: with stdenv.lib; in meta -> with lib; Part of: https://github.com/NixOS/nixpkgs/issues/108938 meta = with stdenv.lib; is a widely used pattern. We want to slowly remove the `stdenv.lib` indirection and encourage people to use `lib` directly. Thus let’s start with the meta field. This used a rewriting script to mostly automatically replace all occurances of this pattern, and add the `lib` argument to the package header if it doesn’t exist yet. The script in its current form is available at https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix 2021-01-11 07:54:33 +00:00			`{ lib, stdenv, fetchurl, perl, ocaml, findlib, ocamlbuild }:`
ocamlPackages.cil: disable for OCaml ≥ 4.06 2018-08-21 18:52:09 +00:00
ocamlPackages: stdenv.lib → lib This change was produced by searching for remaining occurrences of stdenv.lib and replacing them manually. Reference #108938. 2021-01-11 12:49:15 +00:00			`if lib.versionAtLeast ocaml.version "4.06"`
ocamlPackages.cil: disable for OCaml ≥ 4.06 2018-08-21 18:52:09 +00:00			`then throw "cil is not available for OCaml ${ocaml.version}"`
			`else`

pkgs/development: rename name to pname&version 2021-11-09 19:42:54 +00:00			`stdenv.mkDerivation rec {`
			`pname = "ocaml-cil";`
			`version = "1.7.3";`

ocaml-cil: update from 1.3.2 to 1.7.3 2014-11-22 22:50:31 +00:00			`src = fetchurl {`
pkgs/development: rename name to pname&version 2021-11-09 19:42:54 +00:00			`url = "mirror://sourceforge/cil/cil-${version}.tar.gz";`
ocaml-cil: update from 1.3.2 to 1.7.3 2014-11-22 22:50:31 +00:00			`sha256 = "05739da0b0msx6kmdavr3y2bwi92jbh3szc35d7d8pdisa8g5dv9";`
			`};`

ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild. This makes some closures significantly smaller and makes cross compilation easier 2022-02-22 09:59:04 +00:00			`nativeBuildInputs = [ perl ocaml findlib ocamlbuild ];`

			`strictDeps = true;`
ocaml-cil: update from 1.3.2 to 1.7.3 2014-11-22 22:50:31 +00:00
			`createFindlibDestdir = true;`

			`preConfigure = ''`
ocamlPackages.cil: fix build on Darwin 2018-02-21 17:21:11 +00:00			`substituteInPlace Makefile.in --replace 'MACHDEPCC=gcc' 'MACHDEPCC=$(CC)'`
ocaml-cil: update from 1.3.2 to 1.7.3 2014-11-22 22:50:31 +00:00			`export FORCE_PERL_PREFIX=1`
			`'';`
			`prefixKey = "-prefix=";`

treewide: with stdenv.lib; in meta -> with lib; Part of: https://github.com/NixOS/nixpkgs/issues/108938 meta = with stdenv.lib; is a widely used pattern. We want to slowly remove the `stdenv.lib` indirection and encourage people to use `lib` directly. Thus let’s start with the meta field. This used a rewriting script to mostly automatically replace all occurances of this pattern, and add the `lib` argument to the package header if it doesn’t exist yet. The script in its current form is available at https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix 2021-01-11 07:54:33 +00:00			`meta = with lib; {`
treewide: Per RFC45, remove all unquoted URLs 2020-04-01 01:11:51 +00:00			`homepage = "http://kerneis.github.io/cil/";`
ocaml-cil: update from 1.3.2 to 1.7.3 2014-11-22 22:50:31 +00:00			`description = "A front-end for the C programming language that facilitates program analysis and transformation";`
			`license = licenses.bsd3;`
			`maintainers = [ maintainers.vbgl ];`
pkgs/development: followup fmt 2021-11-09 19:53:19 +00:00			`platforms = ocaml.meta.platforms or [ ];`
ocaml-cil: update from 1.3.2 to 1.7.3 2014-11-22 22:50:31 +00:00			`};`
			`}`