diff options
author | Kevin Quick <quick@sparq.org> | 2017-10-18 23:23:09 -0700 |
---|---|---|
committer | Kevin Quick <kquick@galois.com> | 2017-10-18 23:23:09 -0700 |
commit | 6015fdc76aa9061af5c79e23c169072de4df5495 (patch) | |
tree | 56c61bab47e3a2e51be0cf2e42efe8f8f47091e6 /pkgs/development/libraries/theft/default.nix | |
parent | 3e4b500529732c00fe0c3b33e51a8998fc6f03e6 (diff) | |
download | nixlib-6015fdc76aa9061af5c79e23c169072de4df5495.tar nixlib-6015fdc76aa9061af5c79e23c169072de4df5495.tar.gz nixlib-6015fdc76aa9061af5c79e23c169072de4df5495.tar.bz2 nixlib-6015fdc76aa9061af5c79e23c169072de4df5495.tar.lz nixlib-6015fdc76aa9061af5c79e23c169072de4df5495.tar.xz nixlib-6015fdc76aa9061af5c79e23c169072de4df5495.tar.zst nixlib-6015fdc76aa9061af5c79e23c169072de4df5495.zip |
theft: add new theft development library package
Diffstat (limited to 'pkgs/development/libraries/theft/default.nix')
-rw-r--r-- | pkgs/development/libraries/theft/default.nix | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/pkgs/development/libraries/theft/default.nix b/pkgs/development/libraries/theft/default.nix new file mode 100644 index 000000000000..00534413c7bb --- /dev/null +++ b/pkgs/development/libraries/theft/default.nix @@ -0,0 +1,33 @@ +{ stdenv, fetchFromGitHub }: + +stdenv.mkDerivation rec { + version = "0.4.3"; + name = "theft-${version}"; + + src = fetchFromGitHub { + owner = "silentbicycle"; + repo = "theft"; + rev = "v${version}"; + sha256 = "1ibh8np12lafnrsrvjbbzlyq45zq654939x0y22vdnc6s8dpbhw4"; + }; + + preConfigure = "patchShebangs ./scripts/mk_bits_lut"; + # doCheck = true; + + propagatedBuildInputs = [ ]; + + buildInputs = [ ]; + + installFlags = [ "PREFIX=$(out)" ]; + postInstall = '' + install -m644 vendor/greatest.h $out/include/ + ''; + + meta = { + description = "A C library for property-based testing."; + platforms = stdenv.lib.platforms.linux; + homepage = "http://github.com/silentbicycle/theft/"; + license = stdenv.lib.licenses.isc; + maintainers = [ stdenv.lib.maintainers.kquick ]; + }; +} |