diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2016-01-04 15:40:10 +0100 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2016-01-04 17:17:44 +0100 |
| commit | fde89b6762de859a738264750bd184205b9d18a5 (patch) | |
| tree | 5b27c162f71bf0ea95cb4ef77d2a1a91c4541a8d | |
| parent | 192fda79e0519ac01372127114cb54d799e76492 (diff) | |
| download | nixlib-fde89b6762de859a738264750bd184205b9d18a5.tar nixlib-fde89b6762de859a738264750bd184205b9d18a5.tar.gz nixlib-fde89b6762de859a738264750bd184205b9d18a5.tar.bz2 nixlib-fde89b6762de859a738264750bd184205b9d18a5.tar.lz nixlib-fde89b6762de859a738264750bd184205b9d18a5.tar.xz nixlib-fde89b6762de859a738264750bd184205b9d18a5.tar.zst nixlib-fde89b6762de859a738264750bd184205b9d18a5.zip | |
alt-ergo: also supported on Darwin
| -rw-r--r-- | pkgs/applications/science/logic/alt-ergo/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/alt-ergo/default.nix b/pkgs/applications/science/logic/alt-ergo/default.nix index 3bbcda9de110..45e6674439e7 100644 --- a/pkgs/applications/science/logic/alt-ergo/default.nix +++ b/pkgs/applications/science/logic/alt-ergo/default.nix @@ -1,4 +1,4 @@ -{ fetchurl, stdenv, ocaml, ocamlPackages }: +{ fetchurl, stdenv, ocamlPackages }: stdenv.mkDerivation rec { name = "alt-ergo-${version}"; @@ -17,7 +17,7 @@ stdenv.mkDerivation rec { description = "High-performance theorem prover and SMT solver"; homepage = "http://alt-ergo.ocamlpro.com/"; license = stdenv.lib.licenses.cecill-c; # LGPL-2 compatible - platforms = stdenv.lib.platforms.linux; + platforms = stdenv.lib.platforms.linux ++ stdenv.lib.platforms.darwin; maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; }; } |