From 08f94b392dd7233f83b7249ed5045d3e6373afcc Mon Sep 17 00:00:00 2001
From: Philipp Wendler <uni@philippwendler.de>
Date: Thu, 22 Oct 2020 14:34:07 +0200
Subject: [PATCH] Add exceptions for directories with currently unknown
 licenses

It is an ongoing process (cf. #165) to investigate license status
and add it to each file.
---
 .reuse/dep5                     | 21 +++++++++++++++++++++
 LICENSES/LicenseRef-unknown.txt |  3 +++
 2 files changed, 24 insertions(+)
 create mode 100644 LICENSES/LicenseRef-unknown.txt

diff --git a/.reuse/dep5 b/.reuse/dep5
index 7a06b4c998e..ae2cd58b1d3 100644
--- a/.reuse/dep5
+++ b/.reuse/dep5
@@ -10,6 +10,27 @@ Files:
 Copyright: 2011-2020 The SV-Benchmarks community
 License: CC0-1.0
 
+Files:
+ clauses
+ c/bitvector
+ c/ddv-machzwd
+ c/ldv-memsafety
+ c/ldv-regression
+ c/ldv-README.txt
+ c/list-properties
+ c/locks
+ c/loops
+ c/ntdrivers
+ c/ntdrivers-simplified
+ c/pthread
+ c/pthread-ext
+ c/seq-pthread
+ c/systemc
+ java/rtems-lock-model
+ _
+Copyright: unknown
+License: LicenseRef-unknown
+
 Files:
  c/Juliet_Test
  c/array-cav19
diff --git a/LICENSES/LicenseRef-unknown.txt b/LICENSES/LicenseRef-unknown.txt
new file mode 100644
index 00000000000..cb84e7c5450
--- /dev/null
+++ b/LICENSES/LicenseRef-unknown.txt
@@ -0,0 +1,3 @@
+The license of these files are currently unknown.
+Please contribute to https://github.com/sosy-lab/sv-benchmarks/issues/165
+by providing information about licenses if you know more.