diff options
| author | Sergio Martins <iamsergio@gmail.com> | 2018-11-14 22:32:25 +0000 |
|---|---|---|
| committer | Sergio Martins <iamsergio@gmail.com> | 2018-11-14 22:34:07 +0000 |
| commit | 2e881fae6a69bd8898b67a98340a7e5fea471fbf (patch) | |
| tree | 6bb356cca1891907e482b5f08623bf16d176c5a2 /dev-scripts | |
| parent | b1ea462fd09324ae489485be519b2e72821b3af6 (diff) | |
Add my script to build clazy in docker to make an app image
This is just the part that runs in the centos 6.8 docker container.
Will commit the part that runs on the host soon.
Diffstat (limited to 'dev-scripts')
| -rwxr-xr-x | dev-scripts/docker/make_appimage.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/dev-scripts/docker/make_appimage.sh b/dev-scripts/docker/make_appimage.sh new file mode 100755 index 00000000..9bea8053 --- /dev/null +++ b/dev-scripts/docker/make_appimage.sh @@ -0,0 +1,10 @@ +# This script shouldn't be run directly, but instead invoked by make_appimage.py +# which runs this script in a Centos 6.8 docker container to create an app image + +cp -r /clazy.AppDir /tmp/clazy_work/ +cd /clazy +git clean -fdx . +git checkout . +git pull +git checkout $1 +cmake3 -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/tmp/clazy_work/clazy.AppDir/usr . && make -j12 && make install |