Unverified Commit 226757c6 authored by Ulrik Strid's avatar Ulrik Strid Committed by GitHub
Browse files

alt-ergo: 2.5.4 → 2.6.0 (#344581)

parents c162f76a 6f1d170f

pkgs/applications/science/logic/alt-ergo/default.nix

+24 −4
Original line number Diff line number Diff line
@@ -2,11 +2,11 @@ 


let

  pname = "alt-ergo";

  version = "2.5.4";

  version = "2.6.0";



  src = fetchurl {

    url = "https://github.com/OCamlPro/alt-ergo/releases/download/v${version}/alt-ergo-${version}.tbz";

    hash = "sha256-AsHok5i62vqJ5hK8XRiD8hM6JQaFv3dMxZAcVYEim6w=";

    hash = "sha256-EmkxGvJSeKRmiSuoeMyIi6WfF39T3QPxKixiOwP8834=";

  };

in
@@ -14,7 +14,17 @@ let alt-ergo-lib = ocamlPackages.buildDunePackage rec { 
  pname = "alt-ergo-lib";

  inherit version src;

  buildInputs = with ocamlPackages; [ ppx_blob ];

  propagatedBuildInputs = with ocamlPackages; [ camlzip dolmen_loop dune-build-info fmt ocplib-simplex seq stdlib-shims zarith ];

  propagatedBuildInputs = with ocamlPackages; [

    camlzip

    dolmen_loop

    dune-build-info

    fmt

    ocplib-simplex

    ppx_deriving

    seq

    stdlib-shims

    zarith

  ];

}; in



let alt-ergo-parsers = ocamlPackages.buildDunePackage rec {
@@ -29,7 +39,17 @@ ocamlPackages.buildDunePackage { 
  inherit pname version src;



  nativeBuildInputs = [ ocamlPackages.menhir ] ++ lib.optionals stdenv.hostPlatform.isDarwin [ darwin.sigtool ];

  buildInputs = [ alt-ergo-parsers ] ++ (with ocamlPackages; [ cmdliner dune-site ]);

  propagatedBuildInputs = [ alt-ergo-parsers ] ++ (with ocamlPackages; [ cmdliner dune-site ppxlib ]);



  outputs = [ "bin" "out" ];



  installPhase = ''

    runHook preInstall

    dune install --prefix $bin ${pname}

    mkdir -p $out/lib/ocaml/${ocamlPackages.ocaml.version}/site-lib

    mv $bin/lib/alt-ergo $out/lib/ocaml/${ocamlPackages.ocaml.version}/site-lib/

    runHook postInstall

  '';



  meta = {

    description = "High-performance theorem prover and SMT solver";

pkgs/development/ocaml-modules/dolmen/default.nix

+4 −3
Original line number Diff line number Diff line 
{ lib, fetchurl, buildDunePackage

, menhir, menhirLib

, fmt

, hmap

, qcheck

}:



buildDunePackage rec {

  pname = "dolmen";

  version = "0.9";

  version = "0.10";



  minimalOCamlVersion = "4.08";



  src = fetchurl {

    url = "https://github.com/Gbury/dolmen/releases/download/v${version}/dolmen-${version}.tbz";

    hash = "sha256-AD21OFS6zDoz+lXtac95gXwQNppPfGvpRK8dzDZXigo=";

    hash = "sha256-xchfd+OSTzeOjYLxZu7+QTG04EG/nN7KRnQQ8zxx+mE=";

  };



  nativeBuildInputs = [ menhir ];

  propagatedBuildInputs = [ menhirLib fmt ];

  propagatedBuildInputs = [ menhirLib fmt hmap ];



  doCheck = true;

pkgs/development/ocaml-modules/dolmen/loop.nix

+5 −0
Original line number Diff line number Diff line 
{ buildDunePackage, dolmen, dolmen_type

, gen

, pp_loc

, mdx

}:



buildDunePackage {
@@ -9,6 +10,10 @@ buildDunePackage { 


  propagatedBuildInputs = [ dolmen dolmen_type gen pp_loc ];



  doCheck = true;

  nativeCheckInputs = [ mdx.bin ];

  checkInputs = [ mdx ];



  meta = dolmen.meta // {

    description = "Tool library for automated deduction tools";

  };