mirror of
https://github.com/clearlinux/graphene.git
synced 2026-09-04 04:41:37 +00:00
Dmitrii Kuvaiskii
8eee4a4742
The manifest syntax stays exactly the same, including 0 and 1 integers to denote boolean values (this is done for ease of porting and can be fixed in future commits). The only visible change is surrounding strings in the manifest with quotes (requirement of TOML). All manifests and Makefiles of our tests and example apps are ported to the new TOML syntax. Documentation is updated.
132 lines
4.1 KiB
Makefile
132 lines
4.1 KiB
Makefile
# Build the manifest for R:
|
|
#
|
|
# - make Building for Linux
|
|
# - make DEBUG=1 Building for Linux (with Graphene debug output)
|
|
# - make SGX=1 Building for SGX
|
|
# - make SGX=1 DEBUG=1 Building for SGX (with Graphene debug output)
|
|
#
|
|
# Use `make clean` to remove Graphene-generated files.
|
|
|
|
# Constants
|
|
|
|
# Installation location of R. By default, Graphene will run the system R executable.
|
|
R_HOME ?= /usr/lib/R
|
|
R_EXEC = $(R_HOME)/bin/exec/R
|
|
|
|
# Relative path to Graphene root
|
|
GRAPHENEDIR ?= ../..
|
|
SGX_SIGNER_KEY ?= $(GRAPHENEDIR)/Pal/src/host/Linux-SGX/signer/enclave-key.pem
|
|
|
|
ifeq ($(DEBUG),1)
|
|
GRAPHENEDEBUG = inline
|
|
else
|
|
GRAPHENEDEBUG = none
|
|
endif
|
|
|
|
LD_LIBRARY_PATH := $(LD_LIBRARY_PATH):$(R_HOME)/lib
|
|
export LD_LIBRARY_PATH
|
|
|
|
.PHONY: all
|
|
all: R.manifest sh.manifest rm.manifest pal_loader
|
|
ifeq ($(SGX),1)
|
|
all: R.manifest.sgx R.sig R.token sh.manifest.sgx sh.sig sh.token rm.manifest.sgx rm.sig rm.token
|
|
endif
|
|
|
|
include ../../Scripts/Makefile.configs
|
|
|
|
# R dependencies (generate from ldd):
|
|
#
|
|
# For SGX, the manifest needs to list all the libraries loaded during the
|
|
# execution, so that the signer can include the file checksums.
|
|
#
|
|
# The dependencies are generated from the ldd results of:
|
|
# - $(R_HOME)/bin/exec/R
|
|
# - $(R_HOME)/library/stats/libs/stats.so
|
|
# - $(R_HOME)/modules/lapack.so
|
|
|
|
# We need to replace Glibc dependencies with Graphene-specific Glibc. The Glibc
|
|
# binaries are already listed in the manifest template, so we can skip them
|
|
# from the ldd results
|
|
GLIBC_DEPS = linux-vdso /lib64/ld-linux-x86-64 libc libm librt libdl libpthread
|
|
|
|
# Use the ldd result of R, stats.so, and lapack.so
|
|
R_TARGETS = $(R_EXEC) $(R_HOME)/library/stats/libs/stats.so $(R_HOME)/modules/lapack.so
|
|
|
|
# Listing all the R dependencies, besides Glibc libraries
|
|
.INTERMEDIATE: R-ldd
|
|
R-ldd:
|
|
@for F in $(R_TARGETS); do ldd $$F >> $@ || exit 1; done
|
|
|
|
.INTERMEDIATE: R-deps
|
|
R-deps: R-ldd
|
|
@cat $< | awk '{if ($$2 =="=>") {split($$1,s,/\./); print s[1]}}' \
|
|
| sort | uniq | grep -v -x $(patsubst %,-e %,$(GLIBC_DEPS)) > $@
|
|
|
|
# Generating manifest rules for R dependencies
|
|
.INTERMEDIATE: R-trusted-libs
|
|
R-trusted-libs: R-deps
|
|
@R_LIBS="$(R_TARGETS)" && \
|
|
for F in `cat R-deps`; do \
|
|
P=`ldd $$R_LIBS | grep $$F | awk '{print $$3; exit}'`; \
|
|
N=`echo $$F | tr --delete '.' | tr --delete '-' | tr --delete '+'`; \
|
|
echo -n "sgx.trusted_files.$$N = \\\"file:$$P\\\"\\\\n"; \
|
|
done > $@
|
|
|
|
# R manifests:
|
|
# For each dependency, generate a rule as follows:
|
|
# sgx.trusted_files.xxxx = "file:xxxx"
|
|
|
|
R.manifest: R.manifest.template R-trusted-libs
|
|
sed -e 's|$$(GRAPHENEDIR)|'"$(GRAPHENEDIR)"'|g' \
|
|
-e 's|$$(GRAPHENEDEBUG)|'"$(GRAPHENEDEBUG)"'|g' \
|
|
-e 's|$$(R_HOME)|'"$(R_HOME)"'|g' \
|
|
-e 's|$$(R_EXEC)|'"$(R_EXEC)"'|g' \
|
|
-e 's|$$(R_TRUSTED_LIBS)|'"`cat R-trusted-libs`"'|g' \
|
|
-e 's|$$(ARCH_LIBDIR)|'"$(ARCH_LIBDIR)"'|g' \
|
|
$< > $@
|
|
|
|
%.manifest: %.manifest.template
|
|
sed -e 's|$$(GRAPHENEDIR)|'"$(GRAPHENEDIR)"'|g' \
|
|
-e 's|$$(GRAPHENEDEBUG)|'"$(GRAPHENEDEBUG)"'|g' \
|
|
$< > $@
|
|
|
|
# R manifests for SGX:
|
|
# Generating the SGX-specific manifest (R.manifest.sgx), the enclave signature,
|
|
# and the token for enclave initialization.
|
|
|
|
%.manifest.sgx: %.manifest
|
|
$(GRAPHENEDIR)/Pal/src/host/Linux-SGX/signer/pal-sgx-sign \
|
|
-libpal $(GRAPHENEDIR)/Runtime/libpal-Linux-SGX.so \
|
|
-key $(SGX_SIGNER_KEY) \
|
|
-manifest $< -output $@
|
|
|
|
# Theoretically we could write "%.sig: %.manifest.sgx" or use a "Rule with Grouped Targets"
|
|
# ("%.manifest.sgx %.sig &: %.manifest") but neither of this works (Make is broken?).
|
|
R.sig: R.manifest.sgx
|
|
sh.sig: sh.manifest.sgx
|
|
rm.sig: rm.manifest.sgx
|
|
|
|
%.token: %.sig
|
|
$(GRAPHENEDIR)/Pal/src/host/Linux-SGX/signer/pal-sgx-get-token -output $@ -sig $<
|
|
|
|
# sh and rm are used by R for file clean-up
|
|
R.manifest.sgx: sh.sig
|
|
sh.manifest.sgx: rm.sig
|
|
|
|
# Extra executables
|
|
pal_loader:
|
|
ln -s $(GRAPHENEDIR)/Runtime/pal_loader $@
|
|
|
|
.PHONY: check
|
|
check: all
|
|
./pal_loader R.manifest --slave --vanilla -f scripts/sample.r > OUTPUT 2> /dev/null
|
|
@grep -q "success" OUTPUT && echo "[ Success 1/1 ]"
|
|
@$(RM) OUTPUT
|
|
|
|
.PHONY: clean
|
|
clean:
|
|
$(RM) *.manifest *.manifest.sgx *.token *.sig pal_loader OUTPUT
|
|
|
|
.PHONY: distclean
|
|
distclean: clean
|