add numtcs build arg to dockerfile

BUILD.md

@@ -9,6 +9,8 @@ DOCKER_BUILDKIT=1 docker build -t edb --secret id=signingkey,src=private.pem - <
 
 Add `--build-arg heapsize=x` where x is the desired enclave heap size in MB. By default, heap size is 1024 MB.
 
+Add `--build-arg numtcs=x` where x is the desired number of TCS (max threads). By default, number of TCS is 64.
+
 Add `--build-arg production=ON` to build a production enclave. By default, a debug enclave is built.
 
 Get the [era](https://github.com/edgelesssys/era) configuration:

Dockerfile

@@ -33,11 +33,13 @@ RUN cd edgelessdb && export SOURCE_DATE_EPOCH=$(git log -1 --pretty=%ct) && cd /
   && make -j`nproc` edb-enclave
 
 # sign edb
-ARG heapsize=1024 production=OFF
+ARG heapsize=1024
+ARG numtcs=64
+ARG production=OFF
 RUN --mount=type=secret,id=signingkey,dst=/edbbuild/private.pem,required=true \
   cd edbbuild \
   && . /opt/edgelessrt/share/openenclave/openenclaverc \
-  && cmake -DHEAPSIZE=$heapsize -DPRODUCTION=$production /edgelessdb \
+  && cmake -DHEAPSIZE=$heapsize -DNUMTCS=$numtcs -DPRODUCTION=$production /edgelessdb \
   && make sign-edb \
   && cat edgelessdb-sgx.json