Add a licenses note file to the release bundle. (rust-lang#1047)

Author: tedinski

scripts/ci/copyright-exclude

@@ -12,4 +12,5 @@ LICENSE-APACHE
 LICENSE-MIT
 Cargo.lock
 .png
-scripts/ci/copyright-exclude
+scripts/ci/copyright-exclude
+tools/make-kani-release/license-notes.txt

tools/make-kani-release/license-notes.txt

@@ -0,0 +1,36 @@
+
+This file contains an inventory of software (and their licenses) that are included as part of the Kani Rust Verifier.
+
+kani: https://github.com/model-checking/kani
+License: Apache-2.0 OR MIT
+
+rustc: https://github.com/rust-lang/rust
+License: Apache-2.0 OR MIT (plus some BSD)
+More info: https://github.com/rust-lang/rust/blob/master/COPYRIGHT
+
+cbmc: https://github.com/diffblue/cbmc
+License: BSD-4-Clause
+More info: https://github.com/diffblue/cbmc/blob/develop/LICENSE
+Acknowledgement:
+     This product includes software developed by Daniel Kroening,
+     Edmund Clarke,
+     Computer Science Department, University of Oxford
+     Computer Science Department, Carnegie Mellon University
+
+cbmc-viewer: https://github.com/model-checking/cbmc-viewer
+License: Apache-2.0
+
+colorama: https://github.com/tartley/colorama
+License: BSD-3-Clause
+
+voluptuous: https://github.com/alecthomas/voluptuous
+License: BSD-3-Clause
+
+jinja2: https://github.com/pallets/jinja
+License: BSD-3-Clause
+
+setuptools: https://github.com/pypa/setuptools
+License: MIT
+
+MarkupSafe: https://github.com/pallets/markupsafe
+License: BSD-3-Clause

tools/make-kani-release/src/main.rs

@@ -101,6 +101,9 @@ fn bundle_kani(dir: &Path) -> Result<()> {
     // 4. Record the exact toolchain we use
     std::fs::write(dir.join("rust-toolchain-version"), env!("RUSTUP_TOOLCHAIN"))?;
 
+    // 5. Include a licensing note
+    cp(Path::new("tools/make-kani-release/license-notes.txt"), dir)?;
+
     Ok(())
 }
 /// Copy CBMC files into `dir`