diff options
| author | Jan van Brügge <supermanitu@gmail.com> | 2022-01-31 13:03:32 +0100 |
|---|---|---|
| committer | Jan van Brügge <jan.van.brugge@futurice.com> | 2022-03-01 13:43:37 +0100 |
| commit | 2b71e6850398f368ebaf7e2914fd9d1d832252ca (patch) | |
| tree | 257ffb39fd60d2de46750273207aed3a99b47bde /pkgs/applications/science/logic | |
| parent | db9dab2a2cc41822c770327fa2876a75c2a938b6 (diff) | |
| download | nixpkgs-2b71e6850398f368ebaf7e2914fd9d1d832252ca.tar nixpkgs-2b71e6850398f368ebaf7e2914fd9d1d832252ca.tar.gz nixpkgs-2b71e6850398f368ebaf7e2914fd9d1d832252ca.tar.bz2 nixpkgs-2b71e6850398f368ebaf7e2914fd9d1d832252ca.tar.lz nixpkgs-2b71e6850398f368ebaf7e2914fd9d1d832252ca.tar.xz nixpkgs-2b71e6850398f368ebaf7e2914fd9d1d832252ca.tar.zst nixpkgs-2b71e6850398f368ebaf7e2914fd9d1d832252ca.zip | |
naproche: init at 0.1.0.0
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/naproche/default.nix | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/naproche/default.nix b/pkgs/applications/science/logic/naproche/default.nix new file mode 100644 index 00000000000..5e286a9b57e --- /dev/null +++ b/pkgs/applications/science/logic/naproche/default.nix @@ -0,0 +1,38 @@ +{ lib, fetchFromGitHub, haskellPackages, makeWrapper, eprover }: + +with haskellPackages; mkDerivation { + pname = "Naproche-SAD"; + version = "0.1.0.0"; + + src = fetchFromGitHub { + owner = "naproche"; + repo = "naproche"; + rev = "d39cea85ace04d5b3775fde9972a33886799bfe6"; + sha256 = "1zqrldmxkzbyg9bssrbwb00zic29904igcipaz1m9al0456yjnkf"; + }; + + isExecutable = true; + + buildTools = [ hpack makeWrapper ]; + executableHaskellDepends = [ + base array bytestring containers ghc-prim megaparsec mtl network process + split temporary text threads time transformers uuid + ]; + + prePatch = "hpack"; + + checkPhase = '' + export NAPROCHE_EPROVER=${eprover}/bin/eprover + dist/build/Naproche-SAD/Naproche-SAD examples/cantor.ftl.tex -t 60 --tex=on + ''; + + postInstall = '' + wrapProgram $out/bin/Naproche-SAD \ + --set-default NAPROCHE_EPROVER ${eprover}/bin/eprover + ''; + + homepage = "https://github.com/naproche/naproche#readme"; + description = "Write formal proofs in natural language and LaTeX"; + maintainers = with lib.maintainers; [ jvanbruegge ]; + license = lib.licenses.gpl3Only; +} |