Add files in third_party/fiat for Chromium to pick up. Chromium's licenses.py is a little finicky. Change-Id: I015a3565eb8f3cfecb357d142facc796a9c80888 Reviewed-on: https://boringssl-review.googlesource.com/24784 Reviewed-by: Adam Langley <agl@google.com>
diff --git a/third_party/fiat/BUILD.gn b/third_party/fiat/BUILD.gn new file mode 100644 index 0000000..1201e25 --- /dev/null +++ b/third_party/fiat/BUILD.gn
@@ -0,0 +1,4 @@ +# This is an dummy target so Chromium's tools/licenses.py script picks up the +# extra README.chromium file. The script expects README.chromium files to be +# associated with GN targets. +source_set("fiat_license") { }
diff --git a/third_party/fiat/README.chromium b/third_party/fiat/README.chromium new file mode 100644 index 0000000..73c5ba2 --- /dev/null +++ b/third_party/fiat/README.chromium
@@ -0,0 +1,10 @@ +Name: Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives +Short Name: fiat-crypto +URL: https://github.com/mit-plv/fiat-crypto +Version: git (see METADATA) +License: MIT +License File: LICENSE +Security Critical: yes + +Description: +See README.md and METADATA.