|
@@ -36,12 +36,13 @@ RUN git clone https://git-crysp.uwaterloo.ca/miti/verifier.git && \
|
|
|
cd verifier/ && git checkout recreating_state_for_teeter && \
|
|
|
export SGX_SDK_TRTS_MODIFIED=/root/source/linux-sgx-trts-modified/build/linux && make && \
|
|
|
cp verifier /root/graphene/LibOS/shim/test/native && \
|
|
|
- git checkout master && git log && \
|
|
|
+ git checkout master && \
|
|
|
cp verifier.manifest.template /root/graphene/LibOS/shim/test/native
|
|
|
|
|
|
#Build the verifier
|
|
|
WORKDIR /root/graphene/LibOS/shim/test/native
|
|
|
-RUN sed -i s/ls.manifest/'ls.manifest verifier.manifest'/g Makefile
|
|
|
+#Treat the verifier as an executable whose manifest is to be generated from its manifest.template file in this folder.
|
|
|
+RUN sed -i s/ls.manifest/'ls.manifest verifier.manifest'/g Makefile
|
|
|
RUN make SGX=1
|
|
|
|
|
|
RUN apt update && apt install -y php7.0-dev tmux libxml2-dev
|