nixpkgs/pkgs/applications/science/logic/cubicle/default.nix

{ lib, stdenv, fetchurl, ocamlPackages }:

stdenv.mkDerivation rec {
  pname = "cubicle";
  version = "1.1.2";
  src = fetchurl {
    url = "http://cubicle.lri.fr/cubicle-${version}.tar.gz";
    sha256 = "10kk80jdmpdvql88sdjsh7vqzlpaphd8vip2lp47aarxjkwjlz1q";
  };

  postPatch = ''
    substituteInPlace Makefile.in --replace "\\n" ""
  '';

  buildInputs = with ocamlPackages; [ ocaml findlib functory ];

  meta = with lib; {
    description = "An open source model checker for verifying safety properties of array-based systems";
    homepage = "http://cubicle.lri.fr/";
    license = licenses.asl20;
    platforms = platforms.unix;
    maintainers = with maintainers; [ dwarfmaster ];
  };
}
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 08:54:33 +01:00			`{ lib, stdenv, fetchurl, ocamlPackages }:`
cubicle: init at 1.0.2 2017-04-22 18:40:09 +02:00
			`stdenv.mkDerivation rec {`
treewide: name -> pname (easy cases) (#66585) treewide replacement of stdenv.mkDerivation rec { name = "-${version}"; version = ""; to pname 2019-08-15 14:41:18 +02:00			`pname = "cubicle";`
cubicle: 1.1.1 -> 1.1.2 Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/cubicle/versions 2018-12-16 15:21:35 +01:00			`version = "1.1.2";`
cubicle: init at 1.0.2 2017-04-22 18:40:09 +02:00			`src = fetchurl {`
			`url = "http://cubicle.lri.fr/cubicle-${version}.tar.gz";`
cubicle: 1.1.1 -> 1.1.2 Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/cubicle/versions 2018-12-16 15:21:35 +01:00			`sha256 = "10kk80jdmpdvql88sdjsh7vqzlpaphd8vip2lp47aarxjkwjlz1q";`
cubicle: init at 1.0.2 2017-04-22 18:40:09 +02:00			`};`

cubicle: 1.0.2 -> 1.1.1 2017-10-11 09:28:32 +02:00			`postPatch = ''`
			`substituteInPlace Makefile.in --replace "\\n" ""`
			`'';`

			`buildInputs = with ocamlPackages; [ ocaml findlib functory ];`
cubicle: init at 1.0.2 2017-04-22 18:40:09 +02:00
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 08:54:33 +01:00			`meta = with lib; {`
cubicle: init at 1.0.2 2017-04-22 18:40:09 +02:00			`description = "An open source model checker for verifying safety properties of array-based systems";`
treewide: Per RFC45, remove all unquoted URLs 2020-04-01 03:11:51 +02:00			`homepage = "http://cubicle.lri.fr/";`
cubicle: init at 1.0.2 2017-04-22 18:40:09 +02:00			`license = licenses.asl20;`
cubicle: 1.0.2 -> 1.1.1 2017-10-11 09:28:32 +02:00			`platforms = platforms.unix;`
Renamed maintainer lucas8 -> dwarfmaster 2020-01-21 07:39:52 +01:00			`maintainers = with maintainers; [ dwarfmaster ];`
cubicle: init at 1.0.2 2017-04-22 18:40:09 +02:00			`};`
			`}`