Skip to content

Commit

Permalink
Separate build script for ppid-retrieval
Browse files Browse the repository at this point in the history
  • Loading branch information
raoulstrackx committed Dec 18, 2024
1 parent 9515033 commit 050249a
Show file tree
Hide file tree
Showing 4 changed files with 16 additions and 3 deletions.
6 changes: 3 additions & 3 deletions .github/workflows/build-docker-images.yml
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,6 @@ jobs:
- uses: actions/checkout@v4
- name: Build the Docker image
run: |
cd intel-sgx/ppid-retrieval-tool
docker build -t ppid-retrieval-tool:$(date +%s) .
cd intel-sgx/ppid-retrieval-tool/Docker
./build.sh
File renamed without changes.
12 changes: 12 additions & 0 deletions intel-sgx/ppid-retrieval-tool/Docker/build.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
#!/bin/bash -ex
this_dir=$(readlink -f "$(dirname "${BASH_SOURCE[0]}")")
cd ${this_dir}

docker build -t ppid_retrieval:$(cat version) -f ./Dockerfile ../

set +x
echo "Build ready, you can run the tool"
echo ""
echo " docker run --device /dev/sgx ppid_retrieval:$(cat version)"
echo ""
echo "Note: the SGX device on your host may differ"
1 change: 1 addition & 0 deletions intel-sgx/ppid-retrieval-tool/Docker/version
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
1.0.0

0 comments on commit 050249a

Please sign in to comment.