diff options
author | Bradley Sepos <[email protected]> | 2017-12-27 14:03:33 -0500 |
---|---|---|
committer | Bradley Sepos <[email protected]> | 2017-12-27 21:37:06 -0500 |
commit | bcfb612388626d97c0240ccd85a99df0e02b3f7c (patch) | |
tree | 53355a310af470274ddd7687bf727bacc7d0918e /graphics/CC_BY-SA_4.0_INT | |
parent | 8ed85cd66d89a076fcf1009ddbc3d20cc36cc07e (diff) |
contrib: Update fribidi url to use GitHub tarball.
fribidi.org is gone. The official release archive we were using is gone. Only release tags on GitHub remain, and they are not direct replacements for the proper release archives we were using previously.
Some changes were necessary for compilation from source, namely:
- Removal of an ugly hack that resulted in configure being run more than once. Apparently the same fix is already upstream https://github.com/fribidi/fribidi/commit/0efbaa9052320a951823a6e776b30a580e3a2b4e
- Modification of Makefile.am to avoid building the doc subdirectory, since this will fail wherever c2man isn't available such as on Mac. We don't need these docs
- Modification of gen.tab/Makefile.in to use the host compiler when cross-compiling. This cannot be done as a normal patch since Makefile.in is generated in the bootstrap phase. This is an open issue upstream: https://github.com/fribidi/fribidi/issues/7
This is all a good lesson on the importance of maintaining urls. I'm still a bit stunned a widely used GNU project would shutter its domain and release archive.
Diffstat (limited to 'graphics/CC_BY-SA_4.0_INT')
0 files changed, 0 insertions, 0 deletions