| Brian Silverman | f263928 | 2018-08-04 16:46:11 -0700 | [diff] [blame] | 1 | licenses(["notice"]) # boost |
| 2 | |||||
| 3 | cc_library( | ||||
| 4 | name = "integer", | ||||
| 5 | hdrs = glob(["include/**"]), | ||||
| 6 | includes = ["include"], | ||||
| Philipp Schrader | dada107 | 2020-11-24 11:34:46 -0800 | [diff] [blame] | 7 | target_compatible_with = ["@platforms//os:linux"], |
| Brian Silverman | f263928 | 2018-08-04 16:46:11 -0700 | [diff] [blame] | 8 | visibility = ["//visibility:public"], |
| 9 | ) | ||||