|
@@ -32,7 +32,7 @@ sgx.trusted_files.libm = file:$(LIBCDIR)/libm.so.6
|
|
sgx.trusted_files.libz = file:/lib/x86_64-linux-gnu/libz.so.1
|
|
sgx.trusted_files.libz = file:/lib/x86_64-linux-gnu/libz.so.1
|
|
sgx.trusted_files.libpthread = file:$(LIBCDIR)/libpthread.so.0
|
|
sgx.trusted_files.libpthread = file:$(LIBCDIR)/libpthread.so.0
|
|
sgx.trusted_files.cloog = file:/usr/lib/x86_64-linux-gnu/libcloog-isl.so.4
|
|
sgx.trusted_files.cloog = file:/usr/lib/x86_64-linux-gnu/libcloog-isl.so.4
|
|
-sgx.trusted_files.isl = file:/usr/lib/x86_64-linux-gnu/libisl.so.10
|
|
|
|
|
|
+sgx.trusted_files.isl = file:/usr/lib/x86_64-linux-gnu/libisl.so
|
|
sgx.trusted_files.mpc = file:/usr/lib/x86_64-linux-gnu/libmpc.so.3
|
|
sgx.trusted_files.mpc = file:/usr/lib/x86_64-linux-gnu/libmpc.so.3
|
|
sgx.trusted_files.mpfr = file:/usr/lib/x86_64-linux-gnu/libmpfr.so.4
|
|
sgx.trusted_files.mpfr = file:/usr/lib/x86_64-linux-gnu/libmpfr.so.4
|
|
sgx.trusted_files.gmp = file:/usr/lib/x86_64-linux-gnu/libgmp.so.10
|
|
sgx.trusted_files.gmp = file:/usr/lib/x86_64-linux-gnu/libgmp.so.10
|