|
Last change
on this file since 15285 was
15285,
checked in by Mark Evenson, 3 years ago
|
|
ci: rework installation of patched cl+ssl slightly
Use a remote tag for ensuring we retrieve the proper version of
cl+ssl. Add a local copy of the patch, removing the long-ago applied
usocket patch.
|
|
File size:
489 bytes
|
| Line | |
|---|
| 1 | #!/usr/bin/env bash |
|---|
| 2 | # |
|---|
| 3 | # Until <https://github.com/cl-plus-ssl/cl-plus-ssl/pull/97> is |
|---|
| 4 | # resolved, we need to use our patched version. |
|---|
| 5 | |
|---|
| 6 | root="${HOME}/quicklisp/local-projects" |
|---|
| 7 | dir="cl-plus-ssl" |
|---|
| 8 | tag="easye/stream-fd" |
|---|
| 9 | |
|---|
| 10 | mkdir -p ${root} |
|---|
| 11 | pushd ${root} |
|---|
| 12 | |
|---|
| 13 | if [[ ! -d ${dir} ]]; then |
|---|
| 14 | git clone https://github.com/armedbear/cl-plus-ssl ${dir} |
|---|
| 15 | fi |
|---|
| 16 | |
|---|
| 17 | pushd ${dir} |
|---|
| 18 | if [[ -d .hg ]]; then |
|---|
| 19 | hg update -r $tag |
|---|
| 20 | hg sum -v |
|---|
| 21 | else |
|---|
| 22 | git checkout $tag |
|---|
| 23 | git show-ref |
|---|
| 24 | git rev-parse |
|---|
| 25 | fi |
|---|
| 26 | popd |
|---|
| 27 | |
|---|
| 28 | popd |
|---|
Note: See
TracBrowser
for help on using the repository browser.
