| commit | 9a3bd16a066b3d8a80b150493584b41863a03d23 | [log] [tgz] |
|---|---|---|
| author | Paul Wankadia <junyer@google.com> | Sat May 16 21:31:05 2020 -0700 |
| committer | Paul Wankadia <junyer@google.com> | Sun May 17 04:36:03 2020 +0000 |
| tree | ed159990483a69d74cef0d88bbcea3540de01fb7 | |
| parent | 3c2deb65356da65ac0fcf9dd92a3c06b989ee61a [diff] |
Separate build/install for libre2.a and libre2.so. This allows packaging to build/install one or the other rather than both. Fedora already delete libre2.a and now Gentoo want to do this cleanly. Fixes #258. Change-Id: Ie1e265b6d0ed72deecf3b154107f50970731a7fc Reviewed-on: https://code-review.googlesource.com/c/re2/+/56475 Reviewed-by: Paul Wankadia <junyer@google.com>