Opened 13 years ago
Closed 13 years ago
#28945 closed request (fixed)
php5-redis port request
| Reported by: | woody.gilk@… | Owned by: | ryandesign (Ryan Carsten Schmidt) |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 1.9.2 |
| Keywords: | Cc: | ||
| Port: | php5-redis |
Description
Requesting PHP Redis extension.
Attachments (1)
Change History (7)
Changed 13 years ago by ryandesign (Ryan Carsten Schmidt)
comment:1 Changed 13 years ago by ryandesign (Ryan Carsten Schmidt)
| Keywords: | php redis removed |
|---|---|
| Priority: | Low → Normal |
| Summary: | phpredis → php5-redis port request |
Attached is the port I'm considering committing. I'm going to wait a few days though to see if the distfile I've specified is stable. It might not be; github might regenerate it every day. If so, we'll have to get the source from somewhere else, possible from the git repository itself.
comment:2 Changed 13 years ago by ryandesign (Ryan Carsten Schmidt)
| Owner: | changed from macports-tickets@… to ryandesign@… |
|---|---|
| Status: | new → assigned |
comment:3 Changed 13 years ago by woody.gilk@…
Portfile looks solid to me. The distfile should be stable, as the git commit reference (eg: 5a07edc) is a reference to the commit that was tagged for the release.
comment:4 Changed 13 years ago by ryandesign (Ryan Carsten Schmidt)
I understand that, but we have in the past had problems with sites like github which don't store the distfiles but generate them when requested and then cache them for the rest of the day. The next time they're regenerated, the entropy used to compress the tarball will result in a different .tar.gz file, though its contents are the same. This will not work for us, since we store checksums of a specific distfile in the portfile. So I will wait until tomorrow to see if that is the case here or not before committing the port.
comment:5 Changed 13 years ago by woody.gilk@…
Ah yes, that makes sense... I know that Github generates the non-tagged archives on the fly, but am not sure about tagged archives. Will wait for further information.
comment:6 Changed 13 years ago by ryandesign (Ryan Carsten Schmidt)
| Resolution: | → fixed |
|---|---|
| Status: | assigned → closed |
The php5-redis 2.1.2 I fetched on April 7 is the same as the one fetched now, so I'm going to hope that it stays that way and I've committed the port in r77806.
proposed portfile