makefile: Add option to use prebuilt pink-libs

Phala-Network · May 29, 2023 · ac0fdb1 · ac0fdb1
1 parent 7424f30
commit ac0fdb1
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/standalone/pruntime/gramine-build/Makefile b/standalone/pruntime/gramine-build/Makefile
@@ -61,6 +61,9 @@ ${BIN_NAME}: ${BIN_FILE}
 	mkdir -p ${PINK_RUNTIME_DIST_DIR}
 	cp ../pink-runtimes/* ${PINK_RUNTIME_DIST_DIR}/
 	cp ${PINK_RUNTIME_DIST} ${PINK_RUNTIME_DIST_DIR}/
+ifeq ($(PREFER_PREBUILT_PINK_LIBS),1)
+	cp ../pink-runtimes/* ${PINK_RUNTIME_DIST_DIR}/
+endif
 
 ${BIN_NAME}.manifest: ${BIN_NAME}.manifest.template
 	gramine-manifest \

diff --git a/standalone/pruntime/pink-runtimes/.gitignore b/standalone/pruntime/pink-runtimes/.gitignore
@@ -0,0 +1 @@
+!*