Bazel is the supported build tool for Asylo. Our patch on SGX SDK is not meant to work within its Makefile build system. We provide our own BUILD file for the relevant parts of SGX SDK 2.6 in order to build Asylo on top of it.
Have a look at our
quickstart guide on asylo.dev on how to get started. Bazel will download all the dependencies for you and patch them appropriately. Our distributed container already contains Bazel.
You can run a simple hardware test this way, once you've already installed Intel's platform software for release 2.6 and installed their driver:
bazel test --config=sgx //asylo/test/misc:enclave_smoke_sgx_hw_test