Add cddlib BUILD
Change-Id: I28d8b8f29ad583168bd100f04bc350750b9321cd
diff --git a/third_party/cddlib/BUILD b/third_party/cddlib/BUILD
new file mode 100644
index 0000000..4d3f000
--- /dev/null
+++ b/third_party/cddlib/BUILD
@@ -0,0 +1,21 @@
+licenses(['notice'])
+
+cc_library(
+ name = 'cddlib',
+ visibility = ['//visibility:public'],
+ srcs = [
+ 'lib-src/cddcore.c',
+ 'lib-src/cddlp.c',
+ 'lib-src/cddmp.c',
+ 'lib-src/cddio.c',
+ 'lib-src/cddlib.c',
+ 'lib-src/cddproj.c',
+ 'lib-src/setoper.c',
+ 'lib-src/cddmp.h',
+ 'lib-src/cddtypes.h',
+ 'lib-src/setoper.h',
+ ],
+ hdrs = [
+ 'lib-src/cdd.h',
+ ],
+)