leo2: add darwin support
This commit is contained in:
parent
da3dacd0e6
commit
3d70562dfd
|
@ -31,6 +31,8 @@ stdenv.mkDerivation rec {
|
|||
|
||||
buildFlags = [ "opt" ];
|
||||
|
||||
env.NIX_CFLAGS_COMPILE = lib.optionalString stdenv.cc.isClang "-Wno-reserved-user-defined-literal";
|
||||
|
||||
preInstall = "mkdir -p $out/bin";
|
||||
|
||||
postInstall = ''
|
||||
|
@ -44,7 +46,7 @@ stdenv.mkDerivation rec {
|
|||
meta = with lib; {
|
||||
description = "A high-performance typed higher order prover";
|
||||
maintainers = [ maintainers.raskin ];
|
||||
platforms = platforms.linux;
|
||||
platforms = platforms.unix;
|
||||
license = licenses.bsd3;
|
||||
homepage = "http://www.leoprover.org/";
|
||||
};
|
||||
|
|
|
@ -37168,7 +37168,7 @@ with pkgs;
|
|||
mathlibtools = with python3Packages; toPythonApplication mathlibtools;
|
||||
|
||||
leo2 = callPackage ../applications/science/logic/leo2
|
||||
{ inherit (ocaml-ng.ocamlPackages_4_05) ocaml camlp4; };
|
||||
{ inherit (ocaml-ng.ocamlPackages_4_14_unsafe_string) ocaml camlp4; };
|
||||
|
||||
leo3-bin = callPackage ../applications/science/logic/leo3/binary.nix {};
|
||||
|
||||
|
|
Loading…
Reference in a new issue