public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
nixpkgs/pkgs/applications/science/logic/cubicle/default.nix

25 lines
697 B
Nix
Raw Normal View History

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-10 23:54:33 -08:00
{ lib, stdenv, fetchurl, ocamlPackages }:
cubicle: init at 1.0.2
2017-04-22 09:40:09 -07:00
stdenv.mkDerivation rec {
treewide: name -> pname (easy cases) (#66585) treewide replacement of stdenv.mkDerivation rec { name = "*-${version}"; version = "*"; to pname
2019-08-15 05:41:18 -07: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 06:21:35 -08:00
version = "1.1.2";
cubicle: init at 1.0.2
2017-04-22 09:40:09 -07: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 06:21:35 -08:00
sha256 = "10kk80jdmpdvql88sdjsh7vqzlpaphd8vip2lp47aarxjkwjlz1q";
cubicle: init at 1.0.2
2017-04-22 09:40:09 -07:00
};
cubicle: 1.0.2 -> 1.1.1
2017-10-11 00:28:32 -07:00
postPatch = ''
substituteInPlace Makefile.in --replace "\\n" ""
'';
buildInputs = with ocamlPackages; [ ocaml findlib functory ];
cubicle: init at 1.0.2
2017-04-22 09:40:09 -07: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-10 23:54:33 -08:00
meta = with lib; {
cubicle: init at 1.0.2
2017-04-22 09:40:09 -07:00
description = "An open source model checker for verifying safety properties of array-based systems";
treewide: Per RFC45, remove all unquoted URLs
2020-03-31 18:11:51 -07:00
homepage = "http://cubicle.lri.fr/";
cubicle: init at 1.0.2
2017-04-22 09:40:09 -07:00
license = licenses.asl20;
cubicle: 1.0.2 -> 1.1.1
2017-10-11 00:28:32 -07:00
platforms = platforms.unix;
Renamed maintainer lucas8 -> dwarfmaster
2020-01-20 22:39:52 -08:00
maintainers = with maintainers; [ dwarfmaster ];
cubicle: init at 1.0.2
2017-04-22 09:40:09 -07:00
};
}