diff options
| author | Will Dietz <w@wdtz.org> | 2017-10-17 23:39:19 -0500 |
|---|---|---|
| committer | Will Dietz <w@wdtz.org> | 2018-02-13 09:44:31 -0600 |
| commit | 9138d055bfd0064c3cd7fb7458e104d5fde9ae4a (patch) | |
| tree | daa835382a63bd373872b51c9b261b4e7a302019 /pkgs/applications | |
| parent | 81eef05f86fef3dc80149fd1b54b0b8a77fa4411 (diff) | |
| download | nixpkgs-9138d055bfd0064c3cd7fb7458e104d5fde9ae4a.tar nixpkgs-9138d055bfd0064c3cd7fb7458e104d5fde9ae4a.tar.gz nixpkgs-9138d055bfd0064c3cd7fb7458e104d5fde9ae4a.tar.bz2 nixpkgs-9138d055bfd0064c3cd7fb7458e104d5fde9ae4a.tar.lz nixpkgs-9138d055bfd0064c3cd7fb7458e104d5fde9ae4a.tar.xz nixpkgs-9138d055bfd0064c3cd7fb7458e104d5fde9ae4a.tar.zst nixpkgs-9138d055bfd0064c3cd7fb7458e104d5fde9ae4a.zip | |
boolector: fix missing stdint.h include
Diffstat (limited to 'pkgs/applications')
| -rw-r--r-- | pkgs/applications/science/logic/boolector/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/boolector/default.nix b/pkgs/applications/science/logic/boolector/default.nix index 2b40995b743..9e40d0ce5f1 100644 --- a/pkgs/applications/science/logic/boolector/default.nix +++ b/pkgs/applications/science/logic/boolector/default.nix @@ -8,6 +8,10 @@ stdenv.mkDerivation rec { sha256 = "0mdf7hwix237pvknvrpazcx6s3ininj5k7vhysqjqgxa7lxgq045"; }; + prePatch = '' + sed -i -e 's@mv lingeling\* lingeling@\0 \&\& sed -i -e "1i#include <stdint.h>" lingeling/lglib.h@' makefile + ''; + installPhase = '' mkdir $out mv boolector/bin $out |