commit | 808b717f42f56389a70b9879ee332c10b5dbb526 | [log] [tgz] |
---|---|---|
author | Yu Ding <dingelish@gmail.com> | Wed Nov 11 12:00:44 2020 -0800 |
committer | Yu Ding <dingelish@gmail.com> | Wed Nov 11 12:00:44 2020 -0800 |
tree | fc4e59dada6b98497c054b3c2d4d9a45039971d3 | |
parent | 86e9759b3c8f6363560c0f7650eb970f902ac8f5 [diff] |
docker: add libsgx-headers
diff --git a/dockerfile/04_psw.sh b/dockerfile/04_psw.sh index f565cfe..2b89a32 100644 --- a/dockerfile/04_psw.sh +++ b/dockerfile/04_psw.sh
@@ -2,6 +2,7 @@ add-apt-repository "deb https://download.01.org/intel-sgx/sgx_repo/ubuntu $CODENAME main" && \ apt-get update && \ apt-get install -y \ + libsgx-headers=$VERSION \ libsgx-ae-epid=$VERSION \ libsgx-ae-le=$VERSION \ libsgx-ae-pce=$VERSION \