Merge pull request #29642 from Zimmi48/update-compcert

Update CompCert
2017-09-21 18:30:39 +01:00
parent 5f328b33ab 8fde5790b4
commit e5b97e36c5
3 changed files with 8 additions and 9 deletions
--- a/lib/licenses.nix
+++ b/lib/licenses.nix
@@ -292,9 +292,10 @@ lib.mapAttrs (n: v: v // { shortName = n; }) rec {
    fullName = "Independent JPEG Group License";
  };

-  inria = {
-    fullName  = "INRIA Non-Commercial License Agreement";
+  inria-compcert = {
+    fullName  = "INRIA Non-Commercial License Agreement for the CompCert verified compiler";
    url       = "http://compcert.inria.fr/doc/LICENSE";
+    free      = false;
  };

  ipa = spdx {