diff options
Diffstat (limited to 'third_party/linenoise.BUILD')
| -rw-r--r-- | third_party/linenoise.BUILD | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/third_party/linenoise.BUILD b/third_party/linenoise.BUILD new file mode 100644 index 0000000000..9924a620f2 --- /dev/null +++ b/third_party/linenoise.BUILD @@ -0,0 +1,13 @@ +licenses(["notice"]) # 2-clause BSD + +exports_files(["LICENSE"]) + +package( + default_visibility = ["//visibility:public"], +) + +cc_library( + name = "linenoise", + srcs = ["linenoise.c"], + hdrs = ["linenoise.h"], +) |