diff options
author | Frederik Rietdijk <fridh@fridh.nl> | 2020-04-05 08:33:39 +0200 |
---|---|---|
committer | Frederik Rietdijk <fridh@fridh.nl> | 2020-04-05 08:33:39 +0200 |
commit | 866c5aa090d8f4c7f6e1b983531b7b8be4d354ac (patch) | |
tree | 0e4eb93b126a8d8fe60413b0fa20176d2791add6 /pkgs/applications/science/logic/cadical/default.nix | |
parent | 95419ade3e8bbe9b0bcfc7d7e6f25c23d5a0b21b (diff) | |
parent | f601ab37c2fb7e5f65989a92df383bcd6942567a (diff) | |
download | nixlib-866c5aa090d8f4c7f6e1b983531b7b8be4d354ac.tar nixlib-866c5aa090d8f4c7f6e1b983531b7b8be4d354ac.tar.gz nixlib-866c5aa090d8f4c7f6e1b983531b7b8be4d354ac.tar.bz2 nixlib-866c5aa090d8f4c7f6e1b983531b7b8be4d354ac.tar.lz nixlib-866c5aa090d8f4c7f6e1b983531b7b8be4d354ac.tar.xz nixlib-866c5aa090d8f4c7f6e1b983531b7b8be4d354ac.tar.zst nixlib-866c5aa090d8f4c7f6e1b983531b7b8be4d354ac.zip |
Merge master into staging-next
Diffstat (limited to 'pkgs/applications/science/logic/cadical/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/cadical/default.nix | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/cadical/default.nix b/pkgs/applications/science/logic/cadical/default.nix new file mode 100644 index 000000000000..5e6c0d55b7dd --- /dev/null +++ b/pkgs/applications/science/logic/cadical/default.nix @@ -0,0 +1,29 @@ +{ stdenv, fetchFromGitHub }: + +stdenv.mkDerivation rec { + pname = "cadical"; + version = "1.2.1"; + + src = fetchFromGitHub { + owner = "arminbiere"; + repo = "cadical"; + rev = "rel-${version}"; + hash = "sha256:1a66xkw42ad330fvw8i0sawrmg913m8wrq5c85lw5qandkwvxdi6"; + }; + + dontAddPrefix = true; + installPhase = '' + install -Dm0755 build/cadical "$out/bin/cadical" + install -Dm0755 build/mobical "$out/bin/mobical" + mkdir -p "$out/share/doc/${pname}-${version}/" + install -Dm0755 {LICEN?E,README*,VERSION} "$out/share/doc/${pname}-${version}/" + ''; + + meta = with stdenv.lib; { + description = "Simplified Satisfiability Solver"; + maintainers = with maintainers; [ shnarazk ]; + platforms = platforms.unix; + license = licenses.mit; + homepage = "http://fmv.jku.at/cadical"; + }; +} |