diff options
Diffstat (limited to 'third_party/systemlibs/jemalloc.BUILD')
-rw-r--r-- | third_party/systemlibs/jemalloc.BUILD | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/third_party/systemlibs/jemalloc.BUILD b/third_party/systemlibs/jemalloc.BUILD deleted file mode 100644 index 6a48d582ba..0000000000 --- a/third_party/systemlibs/jemalloc.BUILD +++ /dev/null @@ -1,30 +0,0 @@ -licenses(["notice"]) # BSD - -filegroup( - name = "COPYING", - visibility = ["//visibility:public"], -) - -cc_library( - name = "jemalloc_headers", - defines = [ - "jemalloc_posix_memalign=posix_memalign", - "jemalloc_malloc=malloc", - "jemalloc_realloc=realloc", - "jemalloc_free=free", - ], - visibility = ["//visibility:public"], -) - -cc_library( - name = "jemalloc_impl", - linkopts = ["-ljemalloc"], - defines = [ - "jemalloc_posix_memalign=posix_memalign", - "jemalloc_malloc=malloc", - "jemalloc_realloc=realloc", - "jemalloc_free=free", - ], - visibility = ["//visibility:public"], - deps = [":jemalloc_headers"], -) |