diff options
| author | John Wiegley <johnw@newartisans.com> | 2014-07-01 17:01:11 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2014-07-01 17:01:11 -0500 |
| commit | f666bf4ddf3f5f50cad6e17907dae53d545444d0 (patch) | |
| tree | 79c0b4a853c2410b83cc986f99122511b5fcbc58 /pkgs/development/compilers/compcert | |
| parent | e06124731c1b3c1a0d828eb49f0ecbb400aec637 (diff) | |
| download | nixpkgs-f666bf4ddf3f5f50cad6e17907dae53d545444d0.tar nixpkgs-f666bf4ddf3f5f50cad6e17907dae53d545444d0.tar.gz nixpkgs-f666bf4ddf3f5f50cad6e17907dae53d545444d0.tar.bz2 nixpkgs-f666bf4ddf3f5f50cad6e17907dae53d545444d0.tar.lz nixpkgs-f666bf4ddf3f5f50cad6e17907dae53d545444d0.tar.xz nixpkgs-f666bf4ddf3f5f50cad6e17907dae53d545444d0.tar.zst nixpkgs-f666bf4ddf3f5f50cad6e17907dae53d545444d0.zip | |
compcert: Correct syntax used in default.nix
Diffstat (limited to 'pkgs/development/compilers/compcert')
| -rw-r--r-- | pkgs/development/compilers/compcert/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/compcert/default.nix b/pkgs/development/compilers/compcert/default.nix index 9aa60ada76b..0d8d8e3d6d7 100644 --- a/pkgs/development/compilers/compcert/default.nix +++ b/pkgs/development/compilers/compcert/default.nix @@ -19,8 +19,8 @@ stdenv.mkDerivation rec { description = "Formally verified C compiler"; homepage = "http://compcert.inria.fr"; license = stdenv.lib.licenses.inria; - platforms = [ stdenv.lib.platforms.linux - stdenv.lib.platforms.darwin ]; + platforms = stdenv.lib.platforms.linux ++ + stdenv.lib.platforms.darwin; maintainers = [ stdenv.lib.maintainers.thoughtpolice stdenv.lib.maintainers.jwiegley ]; }; |