Skip to content

Use CLIPPER_REGISTRY, CLIPPER_TAG environment variable if existed#666

Merged
simon-mo merged 2 commits intoucbrise:developfrom
withsmilo:use_environment_variable
Apr 3, 2019
Merged

Use CLIPPER_REGISTRY, CLIPPER_TAG environment variable if existed#666
simon-mo merged 2 commits intoucbrise:developfrom
withsmilo:use_environment_variable

Conversation

@withsmilo
Copy link
Collaborator

@withsmilo withsmilo commented Apr 2, 2019

With this patch, you can easily build Clipper Docker images locally.

$ git clone --recursive https://github.com/ucbrise/clipper.git
$ cd clipper
$ export CLIPPER_REGISTRY="clipper"
$ export CLIPPER_TAG="develop"
$ ./bin/shipyard.sh
$ make -f CI_build.Makefile <YOUR_TARGET_TO_BUILD>

@withsmilo withsmilo self-assigned this Apr 2, 2019
@withsmilo withsmilo requested a review from simon-mo April 2, 2019 22:29
@withsmilo withsmilo requested a review from simon-mo April 2, 2019 22:50
@withsmilo withsmilo changed the title Use CLIPPER_REGISTRY environment variable if existed Use CLIPPER_REGISTRY, CLIPPER_TAG environment variable if existed Apr 2, 2019
@AmplabJenkins
Copy link

Test PASSed.
Refer to this link for build results (access rights to CI server needed):
https://amplab.cs.berkeley.edu/jenkins//job/Clipper-PRB/1882/
Test PASSed.

@AmplabJenkins
Copy link

Test PASSed.
Refer to this link for build results (access rights to CI server needed):
https://amplab.cs.berkeley.edu/jenkins//job/Clipper-PRB/1883/
Test PASSed.

@simon-mo simon-mo merged commit 227c8e4 into ucbrise:develop Apr 3, 2019
@withsmilo withsmilo deleted the use_environment_variable branch April 3, 2019 00:21
rkooo567 pushed a commit to rkooo567/clipper that referenced this pull request Apr 27, 2019
…brise#666)

* Use CLIPPER_REGISTRY environment variable if existed

* Add new CLIPPER_TAG
rkooo567 pushed a commit to rkooo567/clipper that referenced this pull request Apr 28, 2019
…brise#666)

* Use CLIPPER_REGISTRY environment variable if existed

* Add new CLIPPER_TAG
rkooo567 pushed a commit to rkooo567/clipper that referenced this pull request Apr 28, 2019
…brise#666)

* Use CLIPPER_REGISTRY environment variable if existed

* Add new CLIPPER_TAG
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants