Robert Scott
9149d366b9
boolector: add patch fixing build on aarch64-linux
2021-11-13 19:45:51 -06:00
Guillaume Girol
6554384a70
boolector: 3.2.1 -> 3.2.2
2021-07-19 16:11:01 -07:00
Ben Siraphob
badf51221d
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
Profpatsch
4a7f99d55d
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 10:38:22 +01:00
Artur Cygan
da3c0ca0dd
boolector: fix darwin build
2020-11-29 22:31:54 +01:00
Symphorien Gibol
0a488516be
boolector: 3.0.0 -> 3.2.1
...
enable tests
optionnally enable gmp
2020-06-08 17:32:07 -05:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Robert Scott
b9185a96be
boolector: add patch for CVE-2019-7560
2019-12-12 10:37:02 -06:00
volth
46420bbaa3
treewide: name -> pname (easy cases) ( #66585 )
...
treewide replacement of
stdenv.mkDerivation rec {
name = "*-${version}";
version = "*";
to pname
2019-08-15 13:41:18 +01:00
Austin Seipp
d5e496a2bb
boolector: 2.4.1 -> 3.0.0, relicensed to MIT
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-15 20:44:05 -05:00
Will Dietz
46cbded0de
boolector: patch usage of ar and ranlib for cross
...
eep.
2018-02-13 09:44:32 -06:00
Will Dietz
9138d055bf
boolector: fix missing stdint.h include
2018-02-13 09:44:31 -06:00
Symphorien Gibol
d7103eadc8
boolector: 1.{5,6} -> 2.4.1
2017-07-18 23:50:31 +02:00
Robin Gloster
eddc0a5549
treewide: fix darwin builds by using getOutput
...
This fixes eval for pkgs referring to optional static output
2016-08-25 08:44:20 +00:00
Franz Pletz
df275f5b85
treewide: fix darwin builds by referring to stdenv's libc
2016-08-25 02:56:25 +02:00
Robin Gloster
bd44c7fd70
boolector: fix build with multiple outputs
2016-08-24 18:19:40 +00:00
Austin Seipp
5aa4495cb5
boolector: add version 1.5 and 1.6
...
There are two versions here because beginning with 1.6.0, Boolector has
a more restrictive, unfree license which disallows commercial use.
As a result, Boolector 1.5 is the default 'boolector' expression.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-07 09:17:05 -05:00
